Method: ADSL::Spass::Util#replace_conjecture

Defined in:
lib/adsl/spass/util.rb

#replace_conjecture(input, conjecture) ⇒ Object 



4
5
6
7
8
9
10
 
# 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, "  list_of_formulae(conjectures).\n    formula(\#{conjecture.resolve_spass}).\n  end_of_list.\n  SPASS\nend\n")