class Variable
Public Instance Methods
eql?(var)
click to toggle source
# File lib/rover_prover/language/term/variable.rb, line 29 def eql?(var) return false unless var.is_a?(Variable) @name == var.name end
free_unification_terms()
click to toggle source
# File lib/rover_prover/language/term/variable.rb, line 8 def free_unification_terms [] end
free_variables()
click to toggle source
# File lib/rover_prover/language/term/variable.rb, line 4 def free_variables [self] end
occurs(unification_term)
click to toggle source
# File lib/rover_prover/language/term/variable.rb, line 17 def occurs(unification_term) false end
replace(old, new)
click to toggle source
# File lib/rover_prover/language/term/variable.rb, line 12 def replace(old, new) return new if eql?(old) self end
set_instantiation_time(time)
click to toggle source
# File lib/rover_prover/language/term/variable.rb, line 21 def set_instantiation_time(time) @time = time end
to_s()
click to toggle source
# File lib/rover_prover/language/term/variable.rb, line 25 def to_s @name end
unify(term)
click to toggle source
# File lib/rover_prover/language/term/variable.rb, line 34 def unify(term) return term.unify(self) if term.is_a?(UnificationTerm) return nil unless term.is_a?(Variable) return nil unless eql?(term) {} end