module AtomicFormula
Public Instance Methods
==(other)
click to toggle source
syntactic equivalenz
# File lib/dpll_solver/atomic_formula.rb, line 3 def ==(other) other.class == self.class end
atomic_formula?()
click to toggle source
# File lib/dpll_solver/atomic_formula.rb, line 7 def atomic_formula? true end
not?()
click to toggle source
# File lib/dpll_solver/atomic_formula.rb, line 26 def not? false end
simplify()
click to toggle source
# File lib/dpll_solver/atomic_formula.rb, line 18 def simplify self end