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