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)