module Expression
Public Instance Methods
eql?(term)
click to toggle source
# File lib/rover_prover/language/expression.rb, line 26 def eql?(term) raise NotImplementedError end
free_unification_terms()
click to toggle source
# File lib/rover_prover/language/expression.rb, line 6 def free_unification_terms raise NotImplementedError end
free_variables()
click to toggle source
# File lib/rover_prover/language/expression.rb, line 2 def free_variables raise NotImplementedError end
occurs(unification_term)
click to toggle source
# File lib/rover_prover/language/expression.rb, line 14 def occurs(unification_term) raise NotImplementedError end
replace(old, new)
click to toggle source
# File lib/rover_prover/language/expression.rb, line 10 def replace(old, new) raise NotImplementedError end
set_instantiation_time(time)
click to toggle source
# File lib/rover_prover/language/expression.rb, line 22 def set_instantiation_time(time) raise NotImplementedError end
to_s()
click to toggle source
# File lib/rover_prover/language/expression.rb, line 18 def to_s raise NotImplementedError end
unify(term)
click to toggle source
# File lib/rover_prover/language/expression.rb, line 30 def unify(term) nil end