Uses of Interface
eu.bandm.tools.dpll.Proposition

Packages that use Proposition

Package	Description
eu.bandm.tools.dpll	Model and solver for propositional logic in conjunctive normal form.

Uses of Proposition in eu.bandm.tools.dpll

Classes in eu.bandm.tools.dpll that implement Proposition

Modifier and Type	Class	Description
class	Clause<P>	Disjunction of literals.
class	Formula<P>	Conjunction of clauses.
final class	Literal<P>	Positive or negative occurrence of propositional variable.