org.sat4j.pb.constraints.pb

Interface IConflictFactory

public interface IConflictFactory

Method Summary

Modifier and Type	Method and Description
IConflict	createConflict(PBConstr cpb, int level, boolean noRemove, SkipStrategy skip, IPreProcess preprocess, IPostProcess postprocess, IWeakeningStrategy weakeningStrategy, AutoDivisionStrategy autoDivisionStrategy, PBSolverStats stats)

Method Detail

createConflict

IConflict createConflict(PBConstr cpb,
                         int level,
                         boolean noRemove,
                         SkipStrategy skip,
                         IPreProcess preprocess,
                         IPostProcess postprocess,
                         IWeakeningStrategy weakeningStrategy,
                         AutoDivisionStrategy autoDivisionStrategy,
                         PBSolverStats stats)