Uses of Class
eu.bandm.tools.dpll.SAT.Clause

Packages that use SAT.Clause

Package	Description
eu.bandm.tools.dpll	SAT solver according to Davis-Putnam-Logemann-Loveland.

Uses of SAT.Clause in eu.bandm.tools.dpll

Methods in eu.bandm.tools.dpll that return SAT.Clause

Modifier and Type	Method	Description
(package private) static <P> SAT.Clause<P>	SAT.Clause.or(SAT.Literal<? extends P>... lits)
(package private) static <P> SAT.Clause<P>	SAT.Clause.or(SAT.Literal<? extends P> first, SAT.Clause<P> rest)
(package private) abstract SAT.Clause<P>	SAT.Clause.propagate(SAT.Literal<? extends P> lit)

Methods in eu.bandm.tools.dpll that return types with arguments of type SAT.Clause

Modifier and Type	Method	Description
(package private) abstract Iterable<SAT.Clause<P>>	SAT.Form.units()

Methods in eu.bandm.tools.dpll with parameters of type SAT.Clause

Modifier and Type	Method	Description
(package private) static <P> SAT.Form<P>	SAT.Form.and(SAT.Clause<P>... cs)
(package private) static <P> SAT.Form<P>	SAT.Form.and(SAT.Clause<P> first, SAT.Form<P> rest)
(package private) static <P> SAT.Clause<P>	SAT.Clause.or(SAT.Literal<? extends P> first, SAT.Clause<P> rest)

Method parameters in eu.bandm.tools.dpll with type arguments of type SAT.Clause

Modifier and Type	Method	Description
(package private) static <P> SAT.Form<P>	SAT.Form.and(Collection<? extends SAT.Clause<P>> cs)