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

Packages that use IPreProcess

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

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

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

Modifier and Type	Class and Description
class	NoPreProcess
class	PreProcessReduceConflict

Fields in org.sat4j.pb.constraints.pb declared as IPreProcess

Modifier and Type	Field and Description
protected IPreProcess	ConflictMap.preProcess

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

Modifier and Type	Method and Description
static IPreProcess	NoPreProcess.instance()
static IPreProcess	PreProcessReduceConflict.instanceWithFalsified()
static IPreProcess	PreProcessReduceConflict.instanceWithoutFalsified()

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

Modifier and Type	Method and Description
static IConflict	ConflictMapWeakenToClash.createConflict(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IPreProcess preprocess, IPostProcess postProcessing, IWeakeningStrategy weakeningStrategy, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats)
static IConflict	ConflictMapMinimizeWeakening.createConflict(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IPreProcess preprocess, IPostProcess postProcessing, IWeakeningStrategy weakeningStrategy, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats)
static IConflict	ConflictMapRounding.createConflict(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IPreProcess preprocess, IPostProcess postProcessing, IWeakeningStrategy weakeningStrategy, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats)
static IConflict	ConflictMapReduceToClause.createConflict(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IPreProcess preprocess, IPostProcess postprocess, IWeakeningStrategy weakeningStrategy, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats)
static IConflict	ConflictMapReduceToCard.createConflict(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IPreProcess preprocess, IPostProcess postprocess, IWeakeningStrategy weakeningStrategy, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats)
IConflict	IConflictFactory.createConflict(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IPreProcess preprocess, IPostProcess postprocess, IWeakeningStrategy weakeningStrategy, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats)
static IConflict	ConflictMap.createConflict(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IPreProcess preProcessing, IPostProcess postProcessing, IWeakeningStrategy weakeningStrategy, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats) constructs the data structure needed to perform cutting planes
static IConflict	ConflictMapWeakenReason.createConflict(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IPreProcess preprocess, IPostProcess postProcessing, IWeakeningStrategy weakeningStrategy, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats)
static IConflict	ConflictMapReduceByGCD.createConflict(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IPreProcess preprocess, IPostProcess postprocess, IWeakeningStrategy weakeningStrategy, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats)
static IConflict	ConflictMapReduceByPowersOf2.createConflict(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IPreProcess preprocess, IPostProcess postprocess, IWeakeningStrategy weakeningStrategy, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats)
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 IPreProcess

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)
ConflictMapMinimizeWeakening(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IPreProcess preprocess, IPostProcess postProcessing, IWeakeningStrategy weakeningStrategy, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats)
ConflictMapReduceByGCD(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IPreProcess preprocess, IPostProcess postProcessing, IWeakeningStrategy weakeningStrategy, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats)
ConflictMapReduceByPowersOf2(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IWeakeningStrategy weakeningStrategy, IPreProcess preprocess, IPostProcess postProcessing, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats)
ConflictMapReduceToCard(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IPreProcess preprocess, IPostProcess postprocess, IWeakeningStrategy weakeningStrategy, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats)
ConflictMapReduceToClause(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IPreProcess preprocess, IPostProcess postprocess, IWeakeningStrategy weakeningStrategy, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats)
ConflictMapRounding(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IPreProcess preprocess, IPostProcess postProcessing, IWeakeningStrategy weakeningStrategy, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats)
ConflictMapWeakenReason(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IPreProcess preprocess, IPostProcess postProcessing, IWeakeningStrategy weakeningStrategy, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats)
ConflictMapWeakenToClash(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IPreProcess preprocess, IPostProcess postProcessing, IWeakeningStrategy weakeningStrategy, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats)

Uses of IPreProcess in org.sat4j.pb.core

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

Modifier and Type	Method and Description
void	PBSolverCP.setPreprocess(IPreProcess preprocess)