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

Packages that use SAT.Form

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

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

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

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.Form<P>	SAT.Form.and(SAT.Literal<? extends P> first, SAT.Form<P> rest)
(package private) static <P> SAT.Form<P>	SAT.Form.and(Collection<? extends SAT.Clause<P>> cs)
(package private) abstract SAT.Form<P>	SAT.Form.propagate(SAT.Literal<? extends P> lit)
protected SAT.Form<P>	SAT.solve(SAT.Form<P> form)	Solve a formula.

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

Modifier and Type	Method	Description
(package private) static <P> SAT.Form<P>	SAT.Form.and(SAT.Clause<P> first, SAT.Form<P> rest)
(package private) static <P> SAT.Form<P>	SAT.Form.and(SAT.Literal<? extends P> first, SAT.Form<P> rest)
protected SAT.Literal<? extends P>	SAT.choose(SAT.Form<P> form)	Choose a literal to resolve from a formula.
protected SAT.Form<P>	SAT.solve(SAT.Form<P> form)	Solve a formula.