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

Packages that use SAT.Form

Package	Description
eu.bandm.tools.util	Collection of mostly unrelated, tiny, ubiquitously needed auxiliary classes for many different purposes.

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

Methods in eu.bandm.tools.util 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.util 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.