Class ChocoModel


  • public class ChocoModel
    extends Object
    • 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()