Package org.xcsp.parser.loaders
Class ConstraintRecognizer
- java.lang.Object
-
- org.xcsp.parser.loaders.ConstraintRecognizer
-
public class ConstraintRecognizer extends Object
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
specificCountCases(String id, XVariables.XVarInteger[] list, Long[] values, Types.TypeConditionOperatorRel op, Condition condition)
boolean
specificIntensionCases(String id, XNodeParent<XVariables.XVarInteger> tree, int arity)
Returnstrue
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)
-
-
-
Method Detail
-
specificIntensionCases
public boolean specificIntensionCases(String id, XNodeParent<XVariables.XVarInteger> tree, int arity)
Returnstrue
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 idtree
- the constraint predicatearity
- the constraint arity- Returns:
true
if a specific constraint corresponds to the specified predicate
-
specificCountCases
public boolean specificCountCases(String id, XVariables.XVarInteger[] list, Long[] values, Types.TypeConditionOperatorRel op, Condition condition)
-
specificNvaluesCases
public boolean specificNvaluesCases(String id, XVariables.XVarInteger[] list, Condition condition)
-
-