module AtomicFormula - dpll_solver-0.0.1 Documentation

==(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?