Uses of Class
org.sat4j.specs.Lbool

Packages that use Lbool

Package	Description
org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.specs	Those classes are intended for users dealing with SAT solvers as black boxes.
org.sat4j.tools	Tools to be used on top of an ISolver.

Uses of Lbool in org.sat4j.minisat.core

Methods in org.sat4j.minisat.core that return Lbool

Modifier and Type	Method and Description
Lbool	Solver.truthValue(int literal)

Uses of Lbool in org.sat4j.specs

Fields in org.sat4j.specs declared as Lbool

Modifier and Type	Field and Description
static Lbool	Lbool.FALSE
static Lbool	Lbool.TRUE
static Lbool	Lbool.UNDEFINED

Methods in org.sat4j.specs that return Lbool

Modifier and Type	Method and Description
Lbool	Lbool.not() boolean negation.
Lbool	ISolverService.truthValue(int literal) To access the truth value of a specific literal under current assignment.

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

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
void	TextOutputTracing.end(Lbool result)
void	LearnedClauseSizeTracing.end(Lbool result)
void	DotSearchTracing.end(Lbool result)
void	SearchListenerAdapter.end(Lbool result)
void	DecisionTracing.end(Lbool result)
void	SpeedTracing.end(Lbool result)
void	SearchEnumeratorListener.end(Lbool result)
void	SearchMinOneListener.end(Lbool result)
void	LBDTracing.end(Lbool result)
void	MultiTracing.end(Lbool result)
void	DecisionLevelTracing.end(Lbool result)
void	LearnedClausesSizeTracing.end(Lbool result)
void	ConflictDepthTracing.end(Lbool result)
void	ConflictLevelTracing.end(Lbool result)