Uses of Class
org.sat4j.specs.Lbool

Packages that use Lbool

org.sat4j.pb.tools
org.sat4j.specs	Those classes are intented for users dealing with SAT solvers as blackboxes.
org.sat4j.tools	Tools to be used on top of an ISolver.

Uses of Lbool in org.sat4j.pb.tools

Methods in org.sat4j.pb.tools with parameters of type Lbool

void	ConflictTracing.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.

Uses of Lbool in org.sat4j.tools

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

void	TextOutputTracing.end(Lbool result)
void	LearnedClauseSizeTracing.end(Lbool result)
void	DotSearchTracing.end(Lbool result)
void	DecisionTracing.end(Lbool result)
void	DecisionLevelTracing.end(Lbool result)
void	ConflictLevelTracing.end(Lbool result)