module ADSL::Spass::SpassTranslator
Public Instance Methods
replace_conjecture(input, conjecture)
click to toggle source
# File lib/adsl/spass/spass_translator.rb, line 8 def replace_conjecture(input, conjecture) input.gsub(/list_of_formulae\s*\(\s*conjectures\s*\)\s*\..*?end_of_list\./m, <<-SPASS) list_of_formulae(conjectures). formula(#{conjecture.resolve_spass}). end_of_list. SPASS end