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 and Description
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 and Description
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.