Uses of Interface
org.sat4j.pb.constraints.pb.IConflict

Packages that use IConflict

org.sat4j.pb.constraints.pb	Implementations of pseudo boolean contraints.
org.sat4j.pb.core

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

Classes in org.sat4j.pb.constraints.pb that implement IConflict

class	ConflictMap
class	ConflictMapCardinality
class	ConflictMapClause
class	ConflictMapMerging
class	ConflictMapSwitchToClause

Methods in org.sat4j.pb.constraints.pb that return IConflict

static IConflict	ConflictMapMerging.createConflict(PBConstr cpb, int level)
static IConflict	ConflictMap.createConflict(PBConstr cpb, int level) constructs the data structure needed to perform cutting planes
static IConflict	ConflictMapSwitchToClause.createConflict(PBConstr cpb, int level)
static IConflict	ConflictMapClause.createConflict(PBConstr cpb, int level)

Uses of IConflict in org.sat4j.pb.core

Methods in org.sat4j.pb.core with parameters of type IConflict

protected void	PBSolverCP.updateNumberOfReducedLearnedConstraints(IConflict confl)
protected void	PBSolverCautious.updateNumberOfReducedLearnedConstraints(IConflict confl)
protected void	PBSolverCP.updateNumberOfReductions(IConflict confl)
protected void	PBSolverCautious.updateNumberOfReductions(IConflict confl)