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

Packages that use IConflict

Package	Description
org.sat4j.pb.constraints.pb
org.sat4j.pb.core

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

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

Modifier and Type	Class and Description
class	ConflictMap
class	ConflictMapCardinality
class	ConflictMapClause
class	ConflictMapSwitchToClause

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

Modifier and Type	Method and Description
static IConflict	ConflictMap.createConflict(PBConstr cpb, int level) constructs the data structure needed to perform cutting planes
static IConflict	ConflictMapClause.createConflict(PBConstr cpb, int level)
static IConflict	ConflictMapSwitchToClause.createConflict(PBConstr cpb, int level)

Uses of IConflict in org.sat4j.pb.core

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

Modifier and Type	Method and Description
protected void	PBSolverCP.updateNumberOfReducedLearnedConstraints(IConflict confl)
protected void	PBSolverCautious.updateNumberOfReducedLearnedConstraints(IConflict confl)
protected void	PBSolverCP.updateNumberOfReductions(IConflict confl)
protected void	PBSolverCautious.updateNumberOfReductions(IConflict confl)