module ADSL::Spass::Util
Public Instance Methods
replace_conjecture(input, conjecture)
click to toggle source
# File lib/adsl/spass/util.rb, line 4 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