Module: ADSL::Spass::Util

Included in:
Bin, Test::Unit::TestCase
Defined in:
lib/adsl/spass/util.rb

Instance Method Summary collapse

Instance Method Details

#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, <<-SPASS)
  list_of_formulae(conjectures).
    formula(#{conjecture.resolve_spass}).
  end_of_list.
  SPASS
end