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

Packages that use Handle
org.sat4j.minisat.constraints.pb Implementations of pseudo boolean contraints. 
org.sat4j.minisat.core Implementation of the MiniSAT solver skeleton. 
 

Uses of Handle in org.sat4j.minisat.constraints.pb
 

Methods in org.sat4j.minisat.constraints.pb with parameters of type Handle
 int PBSolver.analyze(Constr myconfl, Handle<Constr> outLearntRef)
           
 

Uses of Handle in org.sat4j.minisat.core
 

Methods in org.sat4j.minisat.core with parameters of type Handle
 int Solver.analyze(Constr confl, Handle<Constr> outLearntRef)
           
 



Copyright © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.