Uses of Class
org.sat4j.minisat.core.Lbool

Packages that use Lbool

org.sat4j.minisat.constraints.cnf	Implementations of clausal contraints.
org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.

Uses of Lbool in org.sat4j.minisat.constraints.cnf

Fields in org.sat4j.minisat.constraints.cnf declared as Lbool

Lbool[]

Lits.truthValue

Uses of Lbool in org.sat4j.minisat.core

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

Lbool	Lbool.not() N�gation bool�enne
static Lbool	Lbool.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static Lbool[]	Lbool.values() Returns an array containing the constants of this enum type, in the order they're declared.

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

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