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
and?()
Alias for: not?
atomic_formula?() click to toggle source
# File lib/dpll_solver/atomic_formula.rb, line 7
def atomic_formula?
  true
end
Also aliased as: literal?, min_term?, clause?, nnf?, cnf?, dnf?
clause?()
Alias for: atomic_formula?
cnf()
Alias for: simplify
cnf?()
Alias for: atomic_formula?
dnf()
Alias for: simplify
dnf?()
Alias for: atomic_formula?
literal?()
Alias for: atomic_formula?
min_term?()
Alias for: atomic_formula?
nnf()
Alias for: simplify
nnf?()
Alias for: atomic_formula?
not?() click to toggle source
# File lib/dpll_solver/atomic_formula.rb, line 26
def not?
  false
end
Also aliased as: and?, or?, variable?
or?()
Alias for: not?
simplify() click to toggle source
# File lib/dpll_solver/atomic_formula.rb, line 18
def simplify
  self
end
Also aliased as: nnf, cnf, dnf
variable?()
Alias for: not?