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 booleanallConstraintsEnabled()voidclearAssignmentConstraint()voiddisableAllConstraints()voiddisableConstraint(int id)voiddisableConstraints(int... ids)voidenableAllConstraints()voidenableConstraint(int id)voidenableConstraints(int... ids)booleanhasNegatedConstraint()booleanisAssignmentConstraintSet()booleanisSatisfiable()voidreset()voidresetNegationOfConstraint()intsetAssignmentConstraint(int[] parameters, int[] values)voidsetNegationOfConstraint(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()
-
-