Package org.xcsp.parser.loaders

Class ConstraintRecognizer

java.lang.Object

org.xcsp.parser.loaders.ConstraintRecognizer

public class ConstraintRecognizer
extends Object

Method Summary

Modifier and Type	Method	Description
boolean	specificCountCases(String id, XVariables.XVarInteger[] list, int[] values, Types.TypeConditionOperatorRel op, Condition condition)
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.
boolean	specificNvaluesCases(String id, XVariables.XVarInteger[] list, Condition condition)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

specificCountCases

public boolean specificCountCases(String id,
                                  XVariables.XVarInteger[] list,
                                  int[] values,
                                  Types.TypeConditionOperatorRel op,
                                  Condition condition)

specificNvaluesCases

public boolean specificNvaluesCases(String id,
                                    XVariables.XVarInteger[] list,
                                    Condition condition)