Class ConstraintRecognizer


  • public class ConstraintRecognizer
    extends Object
    • Method Detail

      • specificIntensionCases

        public boolean specificIntensionCases​(String id,
                                              XNodeParent<XVariables.XVarInteger> tree,
                                              int arity)
        Returns true if a specific constraint, such as a primitive, logic, sum or extremum (minimum, maximum) constraint matches the specified predicate. In that case, this specific constraint is posted. Note that a successful matching can be discarded when overriding callback functions by simply reposting the original constraint.
        Parameters:
        id - the constraint id
        tree - the constraint predicate
        arity - the constraint arity
        Returns:
        true if a specific constraint corresponds to the specified predicate