class DpllSolver::Formulas::Variable
Attributes
name[RW]
to_s[RW]
Public Class Methods
new(name)
click to toggle source
# File lib/dpll_solver/formulas/variable.rb, line 7 def initialize(name) @name = name end
Public Instance Methods
==(other)
click to toggle source
# File lib/dpll_solver/formulas/variable.rb, line 11 def ==(other) other.class == self.class && other.to_s == self.to_s end
Also aliased as: eql?
variable?()
click to toggle source
# File lib/dpll_solver/formulas/variable.rb, line 16 def variable? true end
verum?()
click to toggle source
# File lib/dpll_solver/formulas/variable.rb, line 19 def verum? false end
Also aliased as: falsum?