Uses of Class
org.sat4j.pb.constraints.pb.DivisionStrategy

Packages that use DivisionStrategy

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

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

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

Modifier and Type	Method and Description
static DivisionStrategy	DivisionStrategy.valueOf(String name) Returns the enum constant of this type with the specified name.
static DivisionStrategy[]	DivisionStrategy.values() Returns an array containing the constants of this enum type, in the order they are declared.

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

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 DivisionStrategy

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)