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?
eql?(other)
Alias for: ==
falsum?()
Alias for: verum?
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?