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

Packages that use SAT.Literal

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

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

Methods in eu.bandm.tools.util that return SAT.Literal

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.
abstract SAT.Literal<? extends P>	SAT.Clause.getUnit() Extract unit literal.
SAT.Literal<P>	SAT.Literal.negate() Return the negation of this literal.

Methods in eu.bandm.tools.util that return types with arguments of type SAT.Literal

Modifier and Type	Method and Description
abstract Iterable<SAT.Literal<? extends P>>	SAT.Form.literals() View literals occurring in this formula.
Set<SAT.Literal<? extends P>>	SAT.solve(Collection<? extends Collection<? extends SAT.Literal<? extends P>>> cnf) Solve a formula.

Method parameters in eu.bandm.tools.util with type arguments of type SAT.Literal

Modifier and Type	Method and Description
Set<SAT.Literal<? extends P>>	SAT.solve(Collection<? extends Collection<? extends SAT.Literal<? extends P>>> cnf) Solve a formula.