Class Constraint

    • Method Detail

      • onlyEnforceIf

        public void onlyEnforceIf​(Literal lit)
        Adds a literal to the constraint.
      • onlyEnforceIf

        public void onlyEnforceIf​(Literal[] lits)
        Adds a list of literals to the constraint.
      • getIndex

        public int getIndex()
        Returns the index of the constraint in the model.