Uses of Class

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)