Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

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
 

Fields in org.sat4j.minisat.core declared as Lbool
static Lbool Lbool.FALSE
           
static Lbool Lbool.TRUE
           
static Lbool Lbool.UNDEFINED
           
 

Methods in org.sat4j.minisat.core that return Lbool
 Lbool Lbool.not()
          boolean negation.
 

Methods in org.sat4j.minisat.core with parameters of type Lbool
 void DotSearchListener.end(Lbool result)
           
 void SearchListener.end(Lbool result)
          End the search.
 void TextOutputListener.end(Lbool result)
           
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES