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

Packages that use IReduceConflictStrategy

Package	Description
org.sat4j.pb.constraints.pb	Implementations of pseudo boolean constraints.

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

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

Modifier and Type	Class and Description
class	NoReduceConflict
class	ReduceConflict

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

Modifier and Type	Method and Description
static IReduceConflictStrategy	NoReduceConflict.instance()
static IReduceConflictStrategy	ReduceConflict.instance()

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

Modifier and Type	Method and Description
static IConflict	ConflictMapDivideByPivot.createConflict(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IPreProcess preprocess, IPostProcess postProcessing, IWeakeningStrategy weakeningStrategy, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats, DivisionStrategy divisionStrategy, IReduceConflictStrategy reduceConflict, boolean divideReason)

Constructors in org.sat4j.pb.constraints.pb with parameters of type IReduceConflictStrategy

Constructor and Description
ConflictMapDivideByPivot(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IPreProcess preprocess, IPostProcess postProcessing, IWeakeningStrategy weakeningStrategy, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats, DivisionStrategy divisionStrategy, IReduceConflictStrategy reduceConflict, boolean divideReason)