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