Class ChocoModel
- java.lang.Object
-
- de.rwth.swc.coffee4j.algorithmic.conflict.choco.ChocoModel
-
public class ChocoModel extends Object
-
-
Constructor Summary
Constructors Constructor Description ChocoModel(int[] parameterSizes, List<Constraint> constraints)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
allConstraintsEnabled()
void
clearAssignmentConstraint()
void
disableAllConstraints()
void
disableConstraint(int id)
void
disableConstraints(int... ids)
void
enableAllConstraints()
void
enableConstraint(int id)
void
enableConstraints(int... ids)
boolean
hasNegatedConstraint()
boolean
isAssignmentConstraintSet()
boolean
isSatisfiable()
void
reset()
void
resetNegationOfConstraint()
int
setAssignmentConstraint(int[] parameters, int[] values)
void
setNegationOfConstraint(int id)
-
-
-
Constructor Detail
-
ChocoModel
public ChocoModel(int[] parameterSizes, List<Constraint> constraints)
-
-
Method Detail
-
isSatisfiable
public boolean isSatisfiable()
-
reset
public void reset()
-
setAssignmentConstraint
public int setAssignmentConstraint(int[] parameters, int[] values)
-
isAssignmentConstraintSet
public boolean isAssignmentConstraintSet()
-
clearAssignmentConstraint
public void clearAssignmentConstraint()
-
setNegationOfConstraint
public void setNegationOfConstraint(int id)
-
hasNegatedConstraint
public boolean hasNegatedConstraint()
-
resetNegationOfConstraint
public void resetNegationOfConstraint()
-
enableConstraint
public void enableConstraint(int id)
-
disableConstraint
public void disableConstraint(int id)
-
enableConstraints
public void enableConstraints(int... ids)
-
disableConstraints
public void disableConstraints(int... ids)
-
enableAllConstraints
public void enableAllConstraints()
-
disableAllConstraints
public void disableAllConstraints()
-
allConstraintsEnabled
public boolean allConstraintsEnabled()
-
-