Uses of Interface
org.sat4j.minisat.core.VarActivityListener

Packages that use VarActivityListener

org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.minisat.learning	Various learning strategies.
org.sat4j.pb.constraints.pb	Implementations of pseudo boolean contraints.

Uses of VarActivityListener in org.sat4j.minisat.core

Methods in org.sat4j.minisat.core with parameters of type VarActivityListener

void	LearningStrategy.setVarActivityListener(VarActivityListener s)

Uses of VarActivityListener in org.sat4j.minisat.learning

Methods in org.sat4j.minisat.learning with parameters of type VarActivityListener

void	LimitedLearning.setVarActivityListener(VarActivityListener s)

Uses of VarActivityListener in org.sat4j.pb.constraints.pb

Methods in org.sat4j.pb.constraints.pb with parameters of type VarActivityListener

BigInteger	MapPb.cuttingPlane(PBConstr cpb, BigInteger degreeCons, BigInteger[] reducedCoefs, BigInteger coefMult, VarActivityListener val)
BigInteger	IDataStructurePB.cuttingPlane(PBConstr cpb, BigInteger degreeCons, BigInteger[] reducedCoefs, BigInteger coefMult, VarActivityListener val)
BigInteger	MapPb.cuttingPlane(PBConstr cpb, BigInteger deg, BigInteger[] reducedCoefs, VarActivityListener val)
BigInteger	IDataStructurePB.cuttingPlane(PBConstr cpb, BigInteger deg, BigInteger[] reducedCoefs, VarActivityListener val)
BigInteger	ConflictMap.resolve(PBConstr cpb, int litImplied, VarActivityListener val) computes a cutting plane with a pseudo-boolean constraint. this method updates the current instance (of ConflictMap).
BigInteger	IConflict.resolve(PBConstr cpb, int litImplied, VarActivityListener val) Effectue une resolution avec une contrainte PB.