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

Packages that use SkipStrategy

Package	Description
org.sat4j.pb.constraints.pb	Implementations of pseudo boolean constraints.
org.sat4j.pb.core	Implementations of pseudo boolean solvers
org.sat4j.pb.tools	Implementation of different tools for pseudo boolean solvers

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

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

Modifier and Type	Method and Description
static SkipStrategy	SkipStrategy.valueOf(String name) Returns the enum constant of this type with the specified name.
static SkipStrategy[]	SkipStrategy.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 SkipStrategy

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 SkipStrategy

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)
ConflictMapSwitchToClause(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, 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 SkipStrategy in org.sat4j.pb.core

Methods in org.sat4j.pb.core that return SkipStrategy

Modifier and Type	Method and Description
SkipStrategy	PBSolverCP.isSkipAllow()

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

Modifier and Type	Method and Description
void	PBSolverCP.setSkipAllow(SkipStrategy skipAllow)

Constructors in org.sat4j.pb.core with parameters of type SkipStrategy

Constructor and Description
PBSolverCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, boolean noRemove, SkipStrategy skipAllow)
PBSolverCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, boolean noRemove, SkipStrategy skipAllow)
PBSolverCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPCardLearning(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPCardLearning(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPCardLearning(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPClauseLearning(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPClauseLearning(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPClauseLearning(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPLong(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPLong(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPLong(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPLongDivideBy2(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPLongDivideBy2(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPLongDivideBy2(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPLongDivideByGCD(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPLongDivideByGCD(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPLongDivideByGCD(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPLongReduceToCard(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPLongReduceToCard(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPLongReduceToCard(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPLongRounding(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPLongRounding(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPLongRounding(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPReduceByGCD(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPReduceByGCD(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPReduceByGCD(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPReduceByPowersOf2(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPReduceByPowersOf2(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, boolean noRemove, SkipStrategy skipAllow)
PBSolverCPReduceByPowersOf2(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter, boolean noRemove, SkipStrategy skipAllow)

Uses of SkipStrategy in org.sat4j.pb.tools

Constructors in org.sat4j.pb.tools with parameters of type SkipStrategy

Constructor and Description
InprocCardConstrLearningSolver(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, boolean noRemove, SkipStrategy skipAllow)
InprocCardConstrLearningSolver(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, boolean noRemove, SkipStrategy skipAllow)
InprocCardConstrLearningSolver(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter, boolean noRemove, SkipStrategy skipAllow)