Uses of Class
org.sat4j.specs.Lbool

Packages that use Lbool

org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.specs	Those classes are intented for users dealing with SAT solvers as blackboxes.

Uses of Lbool in org.sat4j.minisat.core

Methods in org.sat4j.minisat.core with parameters of type Lbool

void	DotSearchListener.end(Lbool result)
void	TextOutputListener.end(Lbool result)

Uses of Lbool in org.sat4j.specs

Fields in org.sat4j.specs declared as Lbool

static Lbool	Lbool.FALSE
static Lbool	Lbool.TRUE
static Lbool	Lbool.UNDEFINED

Methods in org.sat4j.specs that return Lbool

Lbool

Lbool.not() boolean negation.

Methods in org.sat4j.specs with parameters of type Lbool

void	SearchListener.end(Lbool result) End the search.