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

Packages that use SAT.Clause

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

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

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