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

Packages that use Lbool

org.sat4j.minisat.core

Implementation of the MiniSAT solver skeleton.

Uses of Lbool in org.sat4j.minisat.core

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

Lbool	Lbool.not() boolean negation.
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 are 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.