java.lang.Object
- org.xcsp.parser.callbacks.SolutionChecker

All Implemented Interfaces:

XCallbacks, XCallbacks2
```
public final class SolutionChecker
extends Object
implements XCallbacks2
```
This class allows us to check solutions and bounds obtained for XCSP3 instances.

Author:

Gilles Audemard and Christophe Lecoutre

Nested Class Summary
- Nested classes/interfaces inherited from interface org.xcsp.parser.callbacks.XCallbacks
  XCallbacks.Implem, XCallbacks.XCallbacksParameters

Field Summary

Fields
Modifier and Type	Field	Description
`List<String>`	`invalidObjs`	The list of ids of invalid objectives (for the current solution).
`List<String>`	`violatedCtrs`	The list of ids of violated constraints (for the current solution).

Constructor Summary

Constructors
Constructor Description

SolutionChecker(boolean competitionMode, String fileName, InputStream solutionStream)

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`buildCtrAllDifferent(String id, XNode<XVariables.XVarInteger>[] trees)`
`void`	`buildCtrAllDifferent(String id, XVariables.XVarInteger[] list)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrAllDifferent(String id, XVariables.XVarSymbolic[] list)`
`void`	`buildCtrAllDifferentExcept(String id, XVariables.XVarInteger[] list, int[] except)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrAllDifferentList(String id, XVariables.XVarInteger[][] lists)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrAllDifferentList(String id, XVariables.XVarInteger[][] lists, int[][] except)`
`void`	`buildCtrAllDifferentMatrix(String id, XVariables.XVarInteger[][] matrix)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrAllDifferentMatrix(String id, XVariables.XVarInteger[][] matrix, int[] except)`
`void`	`buildCtrAllEqual(String id, XNode<XVariables.XVarInteger>[] trees)`
`void`	`buildCtrAllEqual(String id, XVariables.XVarInteger[] list)`	Callback method for building a constraint `allEqual`.
`void`	`buildCtrBinPacking(String id, XVariables.XVarInteger[] list, int[] sizes, int[] capacities, boolean loads)`
`void`	`buildCtrBinPacking(String id, XVariables.XVarInteger[] list, int[] sizes, Condition condition)`
`void`	`buildCtrBinPacking(String id, XVariables.XVarInteger[] list, int[] sizes, Condition[] conditions, int startIndex)`
`void`	`buildCtrBinPacking(String id, XVariables.XVarInteger[] list, int[] sizes, XVariables.XVarInteger[] capacities, boolean loads)`
`void`	`buildCtrCardinality(String id, XVariables.XVarInteger[] list, boolean closed, int[] values, int[] occurs)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrCardinality(String id, XVariables.XVarInteger[] list, boolean closed, int[] values, int[] occursMin, int[] occursMax)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrCardinality(String id, XVariables.XVarInteger[] list, boolean closed, int[] values, XVariables.XVarInteger[] occurs)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrCardinality(String id, XVariables.XVarInteger[] list, boolean closed, XVariables.XVarInteger[] values, int[] occurs)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrCardinality(String id, XVariables.XVarInteger[] list, boolean closed, XVariables.XVarInteger[] values, int[] occursMin, int[] occursMax)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrCardinality(String id, XVariables.XVarInteger[] list, boolean closed, XVariables.XVarInteger[] values, XVariables.XVarInteger[] occurs)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrChannel(String id, XVariables.XVarInteger[] list, int startIndex)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrChannel(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger value)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrChannel(String id, XVariables.XVarInteger[] list1, int startIndex1, XVariables.XVarInteger[] list2, int startIndex2)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrCircuit(String id, XVariables.XVarInteger[] list, int startIndex)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrCircuit(String id, XVariables.XVarInteger[] list, int startIndex, int size)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrCircuit(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger size)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrClause(String id, XVariables.XVarInteger[] pos, XVariables.XVarInteger[] neg)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrCount(String id, XNode<XVariables.XVarInteger>[] trees, int[] values, Condition condition)`
`void`	`buildCtrCount(String id, XVariables.XVarInteger[] list, int[] values, Condition condition)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrCount(String id, XVariables.XVarInteger[] list, XVariables.XVarInteger[] values, Condition condition)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrCumulative(String id, XVariables.XVarInteger[] origins, int[] lengths, int[] heights, Condition condition)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrCumulative(String id, XVariables.XVarInteger[] origins, int[] lengths, XVariables.XVarInteger[] ends, int[] heights, Condition condition)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrCumulative(String id, XVariables.XVarInteger[] origins, int[] lengths, XVariables.XVarInteger[] heights, Condition condition)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrCumulative(String id, XVariables.XVarInteger[] origins, int[] lengths, XVariables.XVarInteger[] ends, XVariables.XVarInteger[] heights, Condition condition)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrCumulative(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, int[] heights, Condition condition)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrCumulative(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, XVariables.XVarInteger[] ends, int[] heights, Condition condition)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrCumulative(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, XVariables.XVarInteger[] heights, Condition condition)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrCumulative(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, XVariables.XVarInteger[] ends, XVariables.XVarInteger[] heights, Condition condition)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrElement(String id, int[][] matrix, int startRowIndex, XVariables.XVarInteger rowIndex, int startColIndex, XVariables.XVarInteger colIndex, Condition condition)`
`void`	`buildCtrElement(String id, int[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)`
`void`	`buildCtrElement(String id, XVariables.XVarInteger[][] matrix, int startRowIndex, XVariables.XVarInteger rowIndex, int startColIndex, XVariables.XVarInteger colIndex, Condition condition)`
`void`	`buildCtrElement(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)`
`void`	`buildCtrElement(String id, XVariables.XVarInteger[] list, Condition condition)`
`void`	`buildCtrExtension(String id, XVariables.XVarInteger[] list, int[][] tuples, boolean positive, Set<Types.TypeFlag> flags)`	Callback method for building a (non-unary) extensional constraint.
`void`	`buildCtrExtension(String id, XVariables.XVarInteger[] list, AbstractTuple[] tuples, boolean positive, Set<Types.TypeFlag> flags)`
`void`	`buildCtrExtension(String id, XVariables.XVarInteger x, int[] values, boolean positive, Set<Types.TypeFlag> flags)`	Callback method for building a unary extensional constraint.
`void`	`buildCtrExtension(String id, XVariables.XVarSymbolic[] list, String[][] tuples, boolean positive, Set<Types.TypeFlag> flags)`
`void`	`buildCtrExtension(String id, XVariables.XVarSymbolic x, String[] values, boolean positive, Set<Types.TypeFlag> flags)`
`void`	`buildCtrFlow(String id, XVariables.XVarInteger[] list, int[] balance, int[][] arcs)`
`void`	`buildCtrFlow(String id, XVariables.XVarInteger[] list, int[] balance, int[][] arcs, int[] weights, Condition condition)`
`void`	`buildCtrInstantiation(String id, XVariables.XVarInteger[] list, int[] values)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrIntension(String id, XVariables.XVarInteger[] scope, XNodeParent<XVariables.XVarInteger> tree)`	Callback method for building a constraint `intension` from the specified syntactic tree.
`void`	`buildCtrIntension(String id, XVariables.XVarSymbolic[] scope, XNodeParent<XVariables.XVarSymbolic> tree)`
`void`	`buildCtrKnapsack(String id, XVariables.XVarInteger[] list, int[] weights, Condition wcondition, int[] profits, Condition pcondition)`
`void`	`buildCtrLex(String id, XVariables.XVarInteger[][] lists, Types.TypeOperatorRel operator)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrLex(String id, XVariables.XVarInteger[] list, int[] limit, Types.TypeOperatorRel operator)`
`void`	`buildCtrLexMatrix(String id, XVariables.XVarInteger[][] matrix, Types.TypeOperatorRel operator)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrMaximum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)`
`void`	`buildCtrMaximum(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrMaximum(String id, XVariables.XVarInteger[] list, Condition condition)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrMaximumArg(String id, XNode<XVariables.XVarInteger>[] trees, Types.TypeRank rank, Condition condition)`
`void`	`buildCtrMaximumArg(String id, XVariables.XVarInteger[] list, Types.TypeRank rank, Condition condition)`
`void`	`buildCtrMDD(String id, XVariables.XVarInteger[] list, Transition[] transitions)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrMinimum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)`
`void`	`buildCtrMinimum(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrMinimum(String id, XVariables.XVarInteger[] list, Condition condition)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrMinimumArg(String id, XNode<XVariables.XVarInteger>[] trees, Types.TypeRank rank, Condition condition)`
`void`	`buildCtrMinimumArg(String id, XVariables.XVarInteger[] list, Types.TypeRank rank, Condition condition)`
`void`	`buildCtrNoOverlap(String id, XVariables.XVarInteger[][] origins, int[][] lengths, boolean zeroIgnored)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrNoOverlap(String id, XVariables.XVarInteger[][] origins, XVariables.XVarInteger[][] lengths, boolean zeroIgnored)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrNoOverlap(String id, XVariables.XVarInteger[] origins, int[] lengths, boolean zeroIgnored)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrNoOverlap(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, boolean zeroIgnored)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrNValues(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)`
`void`	`buildCtrNValues(String id, XVariables.XVarInteger[] list, Condition condition)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrNValuesExcept(String id, XVariables.XVarInteger[] list, int[] except, Condition condition)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrOrdered(String id, XVariables.XVarInteger[] list, int[] lengths, Types.TypeOperatorRel operator)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrOrdered(String id, XVariables.XVarInteger[] list, Types.TypeOperatorRel operator)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrOrdered(String id, XVariables.XVarInteger[] list, XVariables.XVarInteger[] lengths, Types.TypeOperatorRel operator)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrPrecedence(String id, XVariables.XVarInteger[] list)`
`void`	`buildCtrPrecedence(String id, XVariables.XVarInteger[] list, int[] values, boolean covered)`
`void`	`buildCtrRegular(String id, XVariables.XVarInteger[] list, Transition[] transitions, String startState, String[] finalStates)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrStretch(String id, XVariables.XVarInteger[] list, int[] values, int[] widthsMin, int[] widthsMax)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrStretch(String id, XVariables.XVarInteger[] list, int[] values, int[] widthsMin, int[] widthsMax, int[][] patterns)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, int[] coeffs, Condition condition)`
`void`	`buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)`
`void`	`buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, XVariables.XVarInteger[] coeffs, Condition condition)`
`void`	`buildCtrSum(String id, XVariables.XVarInteger[] list, int[] coeffs, Condition condition)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrSum(String id, XVariables.XVarInteger[] list, Condition condition)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildCtrSum(String id, XVariables.XVarInteger[] list, XVariables.XVarInteger[] coeffs, Condition condition)`	Full information about the constraint (this form) in the specifications (Chapter 4).
`void`	`buildObjToMaximize(String id, XNodeParent<XVariables.XVarInteger> tree)`
`void`	`buildObjToMaximize(String id, Types.TypeObjective type, XNode<XVariables.XVarInteger>[] trees)`
`void`	`buildObjToMaximize(String id, Types.TypeObjective type, XNode<XVariables.XVarInteger>[] trees, int[] coeffs)`
`void`	`buildObjToMaximize(String id, Types.TypeObjective type, XVariables.XVarInteger[] list)`
`void`	`buildObjToMaximize(String id, Types.TypeObjective type, XVariables.XVarInteger[] list, int[] coeffs)`
`void`	`buildObjToMaximize(String id, XVariables.XVarInteger x)`
`void`	`buildObjToMinimize(String id, XNodeParent<XVariables.XVarInteger> tree)`
`void`	`buildObjToMinimize(String id, Types.TypeObjective type, XNode<XVariables.XVarInteger>[] trees)`
`void`	`buildObjToMinimize(String id, Types.TypeObjective type, XNode<XVariables.XVarInteger>[] trees, int[] coeffs)`
`void`	`buildObjToMinimize(String id, Types.TypeObjective type, XVariables.XVarInteger[] list)`
`void`	`buildObjToMinimize(String id, Types.TypeObjective type, XVariables.XVarInteger[] list, int[] coeffs)`
`void`	`buildObjToMinimize(String id, XVariables.XVarInteger x)`	Methods to be implemented for managing objectives
`void`	`buildVarInteger(XVariables.XVarInteger x, int[] values)`	Callback method for building in the solver an integer variable whose domain is given by the specified array.
`void`	`buildVarInteger(XVariables.XVarInteger x, int minValue, int maxValue)`	Callback method for building in the solver an integer variable whose domain contains all integer values between the two specified bounds.
`void`	`buildVarSymbolic(XVariables.XVarSymbolic x, String[] values)`	Methods to be implemented on symbolic variables/constraints
`protected void`	`checkCondition(int value, Condition condition)`
`protected void`	`controlConstraint(boolean condition)`
`protected void`	`controlObjective(BigInteger computedCost)`
`void`	`endInstance()`	Method called at the end of the process of loading the XCSP3 instance.
`protected boolean`	`evaluateCondition(int value, Condition condition)`
`XCallbacks.Implem`	`implem()`	Returns the object that implements necessary data structures during the loading process.
`void`	`loadConstraints(XParser parser)`	Loads all elements that are contained in the element <constraints> of the XCSP3 instance, which have been parsed by the specified parser object.
`void`	`loadCtr(XConstraints.XCtr c)`	Loads the specified constraint.
`void`	`loadObj(XObjectives.XObj o)`	Loads the specified objective.
`void`	`loadObjectives(XParser parser)`	Loads all elements that are contained in the element of the XCSP3 instance, which have been parsed by the specified parser object.
`void`	`loadVariables(XParser parser)`	Loads all elements that are contained in the element <variables> of the XCSP3 instance, which have been parsed by the specified parser object.
`static void`	`main(String[] args)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.xcsp.parser.callbacks.XCallbacks
buildCtrFalse, buildCtrTrue, loadAnn, loadAnnotations, loadArray, loadBlock, loadConstraints, loadCtrs, loadDocument, loadGroup, loadInstance, loadInstance, loadLogic, loadSlide, loadVar, repost

- Field Detail
  - violatedCtrs
```
public List<String> violatedCtrs
```
    The list of ids of violated constraints (for the current solution).
  - invalidObjs
```
public List<String> invalidObjs
```
    The list of ids of invalid objectives (for the current solution).
- Constructor Detail
  - SolutionChecker
```
public SolutionChecker(boolean competitionMode,
                       String fileName,
                       InputStream solutionStream)
                throws Exception
```
    Throws:
    
    Exception
- Method Detail
  - main
```
public static void main(String[] args)
                 throws Exception
```
    Throws:
    
    Exception
  - implem
```
public XCallbacks.Implem implem()
```
    Description copied from interface: XCallbacks
    Returns the object that implements necessary data structures during the loading process. In your class implementing XCallbacks, you should simply write something like:
    Implem implem = new Implem(this); @Override public Implem implem() { return implem; }
    Specified by:
    
    implem in interface XCallbacks
    
    Returns:
    
    the object that implements some data structures used during the loading process
  - controlConstraint
```
protected void controlConstraint(boolean condition)
```
  - controlObjective
```
protected void controlObjective(BigInteger computedCost)
```
  - loadVariables
```
public void loadVariables(XParser parser)
```
    Description copied from interface: XCallbacks
    
    Loads all elements that are contained in the element <variables> of the XCSP3 instance, which have been parsed by the specified parser object. Except for some advanced uses, this method should not be overridden.
    
    Specified by:
    
    loadVariables in interface XCallbacks
    
    Parameters:
    
    parser - the object used to parse the element
  - loadConstraints
```
public void loadConstraints(XParser parser)
```
    Description copied from interface: XCallbacks
    
    Loads all elements that are contained in the element <constraints> of the XCSP3 instance, which have been parsed by the specified parser object. Except for some advanced uses, this method should not be overridden.
    
    Specified by:
    
    loadConstraints in interface XCallbacks
    
    Parameters:
    
    parser - the object used to parse the element
  - loadCtr
```
public void loadCtr(XConstraints.XCtr c)
```
    Description copied from interface: XCallbacks
    
    Loads the specified constraint. One callback function (for example, builCtrIntension or buildCtrAllDifferent) is called when this method is executed. Except for some advanced uses, this method should not be overridden.
    
    Specified by:
    
    loadCtr in interface XCallbacks
    
    Parameters:
    
    c - the constraint to be loaded
  - loadObjectives
```
public void loadObjectives(XParser parser)
```
    Description copied from interface: XCallbacks
    
    Loads all elements that are contained in the element of the XCSP3 instance, which have been parsed by the specified parser object. Except for some advanced uses, this method should not be overridden.
    
    Specified by:
    
    loadObjectives in interface XCallbacks
    
    Parameters:
    
    parser - the object used to parse the element
  - loadObj
```
public void loadObj(XObjectives.XObj o)
```
    Description copied from interface: XCallbacks
    
    Loads the specified objective. One callback function (for example, builObjToMinimize or buildObjToMaximize) is called when this method is executed. Except for some advanced uses, this method should not be overridden.
    
    Specified by:
    
    loadObj in interface XCallbacks
    
    Parameters:
    
    o - the objective to be loaded
  - endInstance
```
public void endInstance()
```
    Description copied from interface: XCallbacks
    
    Method called at the end of the process of loading the XCSP3 instance. Implement (or redefine) this method (if you implement XCallbacks2) in case you want some special operation to be executed (for example, for debugging).
    
    Specified by:
    
    endInstance in interface XCallbacks
    
    Specified by:
    
    endInstance in interface XCallbacks2
  - buildVarInteger
```
public void buildVarInteger(XVariables.XVarInteger x,
                            int minValue,
                            int maxValue)
```
    Description copied from interface: XCallbacks
    
    Callback method for building in the solver an integer variable whose domain contains all integer values between the two specified bounds.
    
    Specified by:
    
    buildVarInteger in interface XCallbacks
    
    Specified by:
    
    buildVarInteger in interface XCallbacks2
    
    Parameters:
    
    x - an integer variable built by the parser
    
    minValue - the minimum value of the domain of x
    
    maxValue - the maximum value of the domain of x
  - buildVarInteger
```
public void buildVarInteger(XVariables.XVarInteger x,
                            int[] values)
```
    Description copied from interface: XCallbacks
    
    Callback method for building in the solver an integer variable whose domain is given by the specified array.
    
    Specified by:
    
    buildVarInteger in interface XCallbacks
    
    Specified by:
    
    buildVarInteger in interface XCallbacks2
    
    Parameters:
    
    x - an integer variable built by the parser
    
    values - the values in the domain of x
  - buildCtrIntension
```
public void buildCtrIntension(String id,
                              XVariables.XVarInteger[] scope,
                              XNodeParent<XVariables.XVarInteger> tree)
```
    Description copied from interface: XCallbacks
    
    Callback method for building a constraint intension from the specified syntactic tree. Variables of the specified array of variables are exactly those that are present in the tree.
    
    Specified by:
    
    buildCtrIntension in interface XCallbacks
    
    Specified by:
    
    buildCtrIntension in interface XCallbacks2
    
    Parameters:
    
    id - the id of the constraint
    
    scope - the list of integer variables of the constraint
    
    tree - the root of a syntactic tree representing the predicate associated with the constraint
  - buildCtrExtension
```
public void buildCtrExtension(String id,
                              XVariables.XVarInteger x,
                              int[] values,
                              boolean positive,
                              Set<Types.TypeFlag> flags)
```
    Description copied from interface: XCallbacks
    
    Callback method for building a unary extensional constraint. Values are supports (accepted by the constraint) iff the specified Boolean is true, otherwise they are conflicts (not accepted by the constraint). The flag STARRED_TUPLES cannot appear in the specified set (because this is a unary constraint). The flag UNCLEAN_TUPLES, if present, indicates that all specified values do not necessarily belong to the (initial) domain of the specified variable. More information in the specifications (Chapter 4). Quick information available at XCSP3 website (Tab Specifications).
    
    Specified by:
    
    buildCtrExtension in interface XCallbacks
    
    Specified by:
    
    buildCtrExtension in interface XCallbacks2
    
    Parameters:
    
    id - the id of the constraint
    
    x - an integer variable
    
    values - supports or conflicts
    
    positive - values are supports iff this value is true
    
    flags - set of flags giving information about the values
  - buildCtrExtension
```
public void buildCtrExtension(String id,
                              XVariables.XVarInteger[] list,
                              int[][] tuples,
                              boolean positive,
                              Set<Types.TypeFlag> flags)
```
    Description copied from interface: XCallbacks
    
    Callback method for building a (non-unary) extensional constraint. Tuples are supports (accepted by the constraint) iff the specified Boolean is true, otherwise they are conflicts (not accepted by the constraint). The flag STARRED_TUPLES indicates if the symbol * (denoted by Constants.STAR_INT, whose value is Integer.MAX_VALUE - 1) is present in some tuple(s). The flag UNCLEAN_TUPLES, if present, indicates that all specified tuples do not necessarily belong to the (initial) domains of the specified variables. More information in the specifications (Chapter 4). Quick information available at XCSP3 website (Tab Specifications).
    
    Specified by:
    
    buildCtrExtension in interface XCallbacks
    
    Specified by:
    
    buildCtrExtension in interface XCallbacks2
    
    Parameters:
    
    id - the id of the constraint
    
    list - the scope of the constraint
    
    tuples - supports or conflicts
    
    positive - tuples are supports iff this value is true
    
    flags - set of flags giving information about the tuples
  - buildCtrExtension
```
public void buildCtrExtension(String id,
                              XVariables.XVarInteger[] list,
                              AbstractTuple[] tuples,
                              boolean positive,
                              Set<Types.TypeFlag> flags)
```
    Specified by:
    
    buildCtrExtension in interface XCallbacks
    
    Specified by:
    
    buildCtrExtension in interface XCallbacks2
  - buildCtrRegular
```
public void buildCtrRegular(String id,
                            XVariables.XVarInteger[] list,
                            Transition[] transitions,
                            String startState,
                            String[] finalStates)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrRegular in interface XCallbacks
    
    Specified by:
    
    buildCtrRegular in interface XCallbacks2
  - buildCtrMDD
```
public void buildCtrMDD(String id,
                        XVariables.XVarInteger[] list,
                        Transition[] transitions)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrMDD in interface XCallbacks
    
    Specified by:
    
    buildCtrMDD in interface XCallbacks2
  - buildCtrAllDifferent
```
public void buildCtrAllDifferent(String id,
                                 XVariables.XVarInteger[] list)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrAllDifferent in interface XCallbacks
    
    Specified by:
    
    buildCtrAllDifferent in interface XCallbacks2
  - buildCtrAllDifferentExcept
```
public void buildCtrAllDifferentExcept(String id,
                                       XVariables.XVarInteger[] list,
                                       int[] except)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrAllDifferentExcept in interface XCallbacks
    
    Specified by:
    
    buildCtrAllDifferentExcept in interface XCallbacks2
  - buildCtrAllDifferentList
```
public void buildCtrAllDifferentList(String id,
                                     XVariables.XVarInteger[][] lists)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrAllDifferentList in interface XCallbacks
    
    Specified by:
    
    buildCtrAllDifferentList in interface XCallbacks2
  - buildCtrAllDifferentList
```
public void buildCtrAllDifferentList(String id,
                                     XVariables.XVarInteger[][] lists,
                                     int[][] except)
```
    Specified by:
    
    buildCtrAllDifferentList in interface XCallbacks
    
    Specified by:
    
    buildCtrAllDifferentList in interface XCallbacks2
  - buildCtrAllDifferentMatrix
```
public void buildCtrAllDifferentMatrix(String id,
                                       XVariables.XVarInteger[][] matrix)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrAllDifferentMatrix in interface XCallbacks
    
    Specified by:
    
    buildCtrAllDifferentMatrix in interface XCallbacks2
  - buildCtrAllDifferentMatrix
```
public void buildCtrAllDifferentMatrix(String id,
                                       XVariables.XVarInteger[][] matrix,
                                       int[] except)
```
    Specified by:
    
    buildCtrAllDifferentMatrix in interface XCallbacks
    
    Specified by:
    
    buildCtrAllDifferentMatrix in interface XCallbacks2
  - buildCtrAllDifferent
```
public void buildCtrAllDifferent(String id,
                                 XNode<XVariables.XVarInteger>[] trees)
```
    Specified by:
    
    buildCtrAllDifferent in interface XCallbacks
    
    Specified by:
    
    buildCtrAllDifferent in interface XCallbacks2
  - buildCtrAllEqual
```
public void buildCtrAllEqual(String id,
                             XVariables.XVarInteger[] list)
```
    Description copied from interface: XCallbacks
    
    Callback method for building a constraint allEqual.
    
    Specified by:
    
    buildCtrAllEqual in interface XCallbacks
    
    Specified by:
    
    buildCtrAllEqual in interface XCallbacks2
    
    Parameters:
    
    id - the id of the constraint
    
    list - the list of variables of the constraint
  - buildCtrAllEqual
```
public void buildCtrAllEqual(String id,
                             XNode<XVariables.XVarInteger>[] trees)
```
    Specified by:
    
    buildCtrAllEqual in interface XCallbacks
    
    Specified by:
    
    buildCtrAllEqual in interface XCallbacks2
  - buildCtrOrdered
```
public void buildCtrOrdered(String id,
                            XVariables.XVarInteger[] list,
                            Types.TypeOperatorRel operator)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrOrdered in interface XCallbacks
    
    Specified by:
    
    buildCtrOrdered in interface XCallbacks2
  - buildCtrOrdered
```
public void buildCtrOrdered(String id,
                            XVariables.XVarInteger[] list,
                            int[] lengths,
                            Types.TypeOperatorRel operator)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrOrdered in interface XCallbacks
    
    Specified by:
    
    buildCtrOrdered in interface XCallbacks2
  - buildCtrOrdered
```
public void buildCtrOrdered(String id,
                            XVariables.XVarInteger[] list,
                            XVariables.XVarInteger[] lengths,
                            Types.TypeOperatorRel operator)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrOrdered in interface XCallbacks
    
    Specified by:
    
    buildCtrOrdered in interface XCallbacks2
  - buildCtrLex
```
public void buildCtrLex(String id,
                        XVariables.XVarInteger[] list,
                        int[] limit,
                        Types.TypeOperatorRel operator)
```
    Specified by:
    
    buildCtrLex in interface XCallbacks
    
    Specified by:
    
    buildCtrLex in interface XCallbacks2
  - buildCtrLex
```
public void buildCtrLex(String id,
                        XVariables.XVarInteger[][] lists,
                        Types.TypeOperatorRel operator)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrLex in interface XCallbacks
    
    Specified by:
    
    buildCtrLex in interface XCallbacks2
  - buildCtrLexMatrix
```
public void buildCtrLexMatrix(String id,
                              XVariables.XVarInteger[][] matrix,
                              Types.TypeOperatorRel operator)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrLexMatrix in interface XCallbacks
    
    Specified by:
    
    buildCtrLexMatrix in interface XCallbacks2
  - buildCtrPrecedence
```
public void buildCtrPrecedence(String id,
                               XVariables.XVarInteger[] list)
```
    Specified by:
    
    buildCtrPrecedence in interface XCallbacks
    
    Specified by:
    
    buildCtrPrecedence in interface XCallbacks2
  - buildCtrPrecedence
```
public void buildCtrPrecedence(String id,
                               XVariables.XVarInteger[] list,
                               int[] values,
                               boolean covered)
```
    Specified by:
    
    buildCtrPrecedence in interface XCallbacks
    
    Specified by:
    
    buildCtrPrecedence in interface XCallbacks2
  - evaluateCondition
```
protected boolean evaluateCondition(int value,
                                    Condition condition)
```
  - checkCondition
```
protected void checkCondition(int value,
                              Condition condition)
```
  - buildCtrSum
```
public void buildCtrSum(String id,
                        XVariables.XVarInteger[] list,
                        Condition condition)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrSum in interface XCallbacks
    
    Specified by:
    
    buildCtrSum in interface XCallbacks2
  - buildCtrSum
```
public void buildCtrSum(String id,
                        XVariables.XVarInteger[] list,
                        int[] coeffs,
                        Condition condition)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrSum in interface XCallbacks
    
    Specified by:
    
    buildCtrSum in interface XCallbacks2
  - buildCtrSum
```
public void buildCtrSum(String id,
                        XVariables.XVarInteger[] list,
                        XVariables.XVarInteger[] coeffs,
                        Condition condition)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrSum in interface XCallbacks
    
    Specified by:
    
    buildCtrSum in interface XCallbacks2
  - buildCtrSum
```
public void buildCtrSum(String id,
                        XNode<XVariables.XVarInteger>[] trees,
                        Condition condition)
```
    Specified by:
    
    buildCtrSum in interface XCallbacks
    
    Specified by:
    
    buildCtrSum in interface XCallbacks2
  - buildCtrSum
```
public void buildCtrSum(String id,
                        XNode<XVariables.XVarInteger>[] trees,
                        int[] coeffs,
                        Condition condition)
```
    Specified by:
    
    buildCtrSum in interface XCallbacks
    
    Specified by:
    
    buildCtrSum in interface XCallbacks2
  - buildCtrSum
```
public void buildCtrSum(String id,
                        XNode<XVariables.XVarInteger>[] trees,
                        XVariables.XVarInteger[] coeffs,
                        Condition condition)
```
    Specified by:
    
    buildCtrSum in interface XCallbacks
    
    Specified by:
    
    buildCtrSum in interface XCallbacks2
  - buildCtrCount
```
public void buildCtrCount(String id,
                          XVariables.XVarInteger[] list,
                          int[] values,
                          Condition condition)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrCount in interface XCallbacks
    
    Specified by:
    
    buildCtrCount in interface XCallbacks2
  - buildCtrCount
```
public void buildCtrCount(String id,
                          XNode<XVariables.XVarInteger>[] trees,
                          int[] values,
                          Condition condition)
```
    Specified by:
    
    buildCtrCount in interface XCallbacks
    
    Specified by:
    
    buildCtrCount in interface XCallbacks2
  - buildCtrCount
```
public void buildCtrCount(String id,
                          XVariables.XVarInteger[] list,
                          XVariables.XVarInteger[] values,
                          Condition condition)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrCount in interface XCallbacks
    
    Specified by:
    
    buildCtrCount in interface XCallbacks2
  - buildCtrNValuesExcept
```
public void buildCtrNValuesExcept(String id,
                                  XVariables.XVarInteger[] list,
                                  int[] except,
                                  Condition condition)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrNValuesExcept in interface XCallbacks
    
    Specified by:
    
    buildCtrNValuesExcept in interface XCallbacks2
  - buildCtrNValues
```
public void buildCtrNValues(String id,
                            XVariables.XVarInteger[] list,
                            Condition condition)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrNValues in interface XCallbacks
    
    Specified by:
    
    buildCtrNValues in interface XCallbacks2
  - buildCtrNValues
```
public void buildCtrNValues(String id,
                            XNode<XVariables.XVarInteger>[] trees,
                            Condition condition)
```
    Specified by:
    
    buildCtrNValues in interface XCallbacks
    
    Specified by:
    
    buildCtrNValues in interface XCallbacks2
  - buildCtrCardinality
```
public void buildCtrCardinality(String id,
                                XVariables.XVarInteger[] list,
                                boolean closed,
                                int[] values,
                                int[] occurs)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrCardinality in interface XCallbacks
    
    Specified by:
    
    buildCtrCardinality in interface XCallbacks2
  - buildCtrCardinality
```
public void buildCtrCardinality(String id,
                                XVariables.XVarInteger[] list,
                                boolean closed,
                                int[] values,
                                XVariables.XVarInteger[] occurs)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrCardinality in interface XCallbacks
    
    Specified by:
    
    buildCtrCardinality in interface XCallbacks2
  - buildCtrCardinality
```
public void buildCtrCardinality(String id,
                                XVariables.XVarInteger[] list,
                                boolean closed,
                                XVariables.XVarInteger[] values,
                                XVariables.XVarInteger[] occurs)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrCardinality in interface XCallbacks
    
    Specified by:
    
    buildCtrCardinality in interface XCallbacks2
  - buildCtrCardinality
```
public void buildCtrCardinality(String id,
                                XVariables.XVarInteger[] list,
                                boolean closed,
                                XVariables.XVarInteger[] values,
                                int[] occurs)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrCardinality in interface XCallbacks
    
    Specified by:
    
    buildCtrCardinality in interface XCallbacks2
  - buildCtrCardinality
```
public void buildCtrCardinality(String id,
                                XVariables.XVarInteger[] list,
                                boolean closed,
                                int[] values,
                                int[] occursMin,
                                int[] occursMax)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrCardinality in interface XCallbacks
    
    Specified by:
    
    buildCtrCardinality in interface XCallbacks2
  - buildCtrCardinality
```
public void buildCtrCardinality(String id,
                                XVariables.XVarInteger[] list,
                                boolean closed,
                                XVariables.XVarInteger[] values,
                                int[] occursMin,
                                int[] occursMax)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrCardinality in interface XCallbacks
    
    Specified by:
    
    buildCtrCardinality in interface XCallbacks2
  - buildCtrMaximum
```
public void buildCtrMaximum(String id,
                            XVariables.XVarInteger[] list,
                            Condition condition)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrMaximum in interface XCallbacks
    
    Specified by:
    
    buildCtrMaximum in interface XCallbacks2
  - buildCtrMaximum
```
public void buildCtrMaximum(String id,
                            XNode<XVariables.XVarInteger>[] trees,
                            Condition condition)
```
    Specified by:
    
    buildCtrMaximum in interface XCallbacks
    
    Specified by:
    
    buildCtrMaximum in interface XCallbacks2
  - buildCtrMinimum
```
public void buildCtrMinimum(String id,
                            XVariables.XVarInteger[] list,
                            Condition condition)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrMinimum in interface XCallbacks
    
    Specified by:
    
    buildCtrMinimum in interface XCallbacks2
  - buildCtrMinimum
```
public void buildCtrMinimum(String id,
                            XNode<XVariables.XVarInteger>[] trees,
                            Condition condition)
```
    Specified by:
    
    buildCtrMinimum in interface XCallbacks
    
    Specified by:
    
    buildCtrMinimum in interface XCallbacks2
  - buildCtrMaximum
```
public void buildCtrMaximum(String id,
                            XVariables.XVarInteger[] list,
                            int startIndex,
                            XVariables.XVarInteger index,
                            Types.TypeRank rank,
                            Condition condition)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrMaximum in interface XCallbacks
    
    Specified by:
    
    buildCtrMaximum in interface XCallbacks2
  - buildCtrMinimum
```
public void buildCtrMinimum(String id,
                            XVariables.XVarInteger[] list,
                            int startIndex,
                            XVariables.XVarInteger index,
                            Types.TypeRank rank,
                            Condition condition)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrMinimum in interface XCallbacks
    
    Specified by:
    
    buildCtrMinimum in interface XCallbacks2
  - buildCtrMaximumArg
```
public void buildCtrMaximumArg(String id,
                               XVariables.XVarInteger[] list,
                               Types.TypeRank rank,
                               Condition condition)
```
    Specified by:
    
    buildCtrMaximumArg in interface XCallbacks
    
    Specified by:
    
    buildCtrMaximumArg in interface XCallbacks2
  - buildCtrMaximumArg
```
public void buildCtrMaximumArg(String id,
                               XNode<XVariables.XVarInteger>[] trees,
                               Types.TypeRank rank,
                               Condition condition)
```
    Specified by:
    
    buildCtrMaximumArg in interface XCallbacks
    
    Specified by:
    
    buildCtrMaximumArg in interface XCallbacks2
  - buildCtrMinimumArg
```
public void buildCtrMinimumArg(String id,
                               XVariables.XVarInteger[] list,
                               Types.TypeRank rank,
                               Condition condition)
```
    Specified by:
    
    buildCtrMinimumArg in interface XCallbacks
    
    Specified by:
    
    buildCtrMinimumArg in interface XCallbacks2
  - buildCtrMinimumArg
```
public void buildCtrMinimumArg(String id,
                               XNode<XVariables.XVarInteger>[] trees,
                               Types.TypeRank rank,
                               Condition condition)
```
    Specified by:
    
    buildCtrMinimumArg in interface XCallbacks
    
    Specified by:
    
    buildCtrMinimumArg in interface XCallbacks2
  - buildCtrChannel
```
public void buildCtrChannel(String id,
                            XVariables.XVarInteger[] list,
                            int startIndex)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrChannel in interface XCallbacks
    
    Specified by:
    
    buildCtrChannel in interface XCallbacks2
  - buildCtrChannel
```
public void buildCtrChannel(String id,
                            XVariables.XVarInteger[] list1,
                            int startIndex1,
                            XVariables.XVarInteger[] list2,
                            int startIndex2)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrChannel in interface XCallbacks
    
    Specified by:
    
    buildCtrChannel in interface XCallbacks2
  - buildCtrChannel
```
public void buildCtrChannel(String id,
                            XVariables.XVarInteger[] list,
                            int startIndex,
                            XVariables.XVarInteger value)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrChannel in interface XCallbacks
    
    Specified by:
    
    buildCtrChannel in interface XCallbacks2
  - buildCtrElement
```
public void buildCtrElement(String id,
                            XVariables.XVarInteger[] list,
                            Condition condition)
```
    Specified by:
    
    buildCtrElement in interface XCallbacks
    
    Specified by:
    
    buildCtrElement in interface XCallbacks2
  - buildCtrElement
```
public void buildCtrElement(String id,
                            XVariables.XVarInteger[] list,
                            int startIndex,
                            XVariables.XVarInteger index,
                            Types.TypeRank rank,
                            Condition condition)
```
    Specified by:
    
    buildCtrElement in interface XCallbacks
    
    Specified by:
    
    buildCtrElement in interface XCallbacks2
  - buildCtrElement
```
public void buildCtrElement(String id,
                            int[] list,
                            int startIndex,
                            XVariables.XVarInteger index,
                            Types.TypeRank rank,
                            Condition condition)
```
    Specified by:
    
    buildCtrElement in interface XCallbacks
    
    Specified by:
    
    buildCtrElement in interface XCallbacks2
  - buildCtrElement
```
public void buildCtrElement(String id,
                            int[][] matrix,
                            int startRowIndex,
                            XVariables.XVarInteger rowIndex,
                            int startColIndex,
                            XVariables.XVarInteger colIndex,
                            Condition condition)
```
    Specified by:
    
    buildCtrElement in interface XCallbacks
    
    Specified by:
    
    buildCtrElement in interface XCallbacks2
  - buildCtrElement
```
public void buildCtrElement(String id,
                            XVariables.XVarInteger[][] matrix,
                            int startRowIndex,
                            XVariables.XVarInteger rowIndex,
                            int startColIndex,
                            XVariables.XVarInteger colIndex,
                            Condition condition)
```
    Specified by:
    
    buildCtrElement in interface XCallbacks
    
    Specified by:
    
    buildCtrElement in interface XCallbacks2
  - buildCtrStretch
```
public void buildCtrStretch(String id,
                            XVariables.XVarInteger[] list,
                            int[] values,
                            int[] widthsMin,
                            int[] widthsMax)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrStretch in interface XCallbacks
    
    Specified by:
    
    buildCtrStretch in interface XCallbacks2
  - buildCtrStretch
```
public void buildCtrStretch(String id,
                            XVariables.XVarInteger[] list,
                            int[] values,
                            int[] widthsMin,
                            int[] widthsMax,
                            int[][] patterns)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrStretch in interface XCallbacks
    
    Specified by:
    
    buildCtrStretch in interface XCallbacks2
  - buildCtrNoOverlap
```
public void buildCtrNoOverlap(String id,
                              XVariables.XVarInteger[] origins,
                              int[] lengths,
                              boolean zeroIgnored)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrNoOverlap in interface XCallbacks
    
    Specified by:
    
    buildCtrNoOverlap in interface XCallbacks2
  - buildCtrNoOverlap
```
public void buildCtrNoOverlap(String id,
                              XVariables.XVarInteger[] origins,
                              XVariables.XVarInteger[] lengths,
                              boolean zeroIgnored)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrNoOverlap in interface XCallbacks
    
    Specified by:
    
    buildCtrNoOverlap in interface XCallbacks2
  - buildCtrNoOverlap
```
public void buildCtrNoOverlap(String id,
                              XVariables.XVarInteger[][] origins,
                              int[][] lengths,
                              boolean zeroIgnored)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrNoOverlap in interface XCallbacks
    
    Specified by:
    
    buildCtrNoOverlap in interface XCallbacks2
  - buildCtrNoOverlap
```
public void buildCtrNoOverlap(String id,
                              XVariables.XVarInteger[][] origins,
                              XVariables.XVarInteger[][] lengths,
                              boolean zeroIgnored)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrNoOverlap in interface XCallbacks
    
    Specified by:
    
    buildCtrNoOverlap in interface XCallbacks2
  - buildCtrCumulative
```
public void buildCtrCumulative(String id,
                               XVariables.XVarInteger[] origins,
                               int[] lengths,
                               int[] heights,
                               Condition condition)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrCumulative in interface XCallbacks
    
    Specified by:
    
    buildCtrCumulative in interface XCallbacks2
  - buildCtrCumulative
```
public void buildCtrCumulative(String id,
                               XVariables.XVarInteger[] origins,
                               int[] lengths,
                               XVariables.XVarInteger[] heights,
                               Condition condition)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrCumulative in interface XCallbacks
    
    Specified by:
    
    buildCtrCumulative in interface XCallbacks2
  - buildCtrCumulative
```
public void buildCtrCumulative(String id,
                               XVariables.XVarInteger[] origins,
                               XVariables.XVarInteger[] lengths,
                               int[] heights,
                               Condition condition)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrCumulative in interface XCallbacks
    
    Specified by:
    
    buildCtrCumulative in interface XCallbacks2
  - buildCtrCumulative
```
public void buildCtrCumulative(String id,
                               XVariables.XVarInteger[] origins,
                               XVariables.XVarInteger[] lengths,
                               XVariables.XVarInteger[] heights,
                               Condition condition)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrCumulative in interface XCallbacks
    
    Specified by:
    
    buildCtrCumulative in interface XCallbacks2
  - buildCtrCumulative
```
public void buildCtrCumulative(String id,
                               XVariables.XVarInteger[] origins,
                               int[] lengths,
                               XVariables.XVarInteger[] ends,
                               int[] heights,
                               Condition condition)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrCumulative in interface XCallbacks
    
    Specified by:
    
    buildCtrCumulative in interface XCallbacks2
  - buildCtrCumulative
```
public void buildCtrCumulative(String id,
                               XVariables.XVarInteger[] origins,
                               int[] lengths,
                               XVariables.XVarInteger[] ends,
                               XVariables.XVarInteger[] heights,
                               Condition condition)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrCumulative in interface XCallbacks
    
    Specified by:
    
    buildCtrCumulative in interface XCallbacks2
  - buildCtrCumulative
```
public void buildCtrCumulative(String id,
                               XVariables.XVarInteger[] origins,
                               XVariables.XVarInteger[] lengths,
                               XVariables.XVarInteger[] ends,
                               int[] heights,
                               Condition condition)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrCumulative in interface XCallbacks
    
    Specified by:
    
    buildCtrCumulative in interface XCallbacks2
  - buildCtrCumulative
```
public void buildCtrCumulative(String id,
                               XVariables.XVarInteger[] origins,
                               XVariables.XVarInteger[] lengths,
                               XVariables.XVarInteger[] ends,
                               XVariables.XVarInteger[] heights,
                               Condition condition)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrCumulative in interface XCallbacks
    
    Specified by:
    
    buildCtrCumulative in interface XCallbacks2
  - buildCtrBinPacking
```
public void buildCtrBinPacking(String id,
                               XVariables.XVarInteger[] list,
                               int[] sizes,
                               Condition condition)
```
    Specified by:
    
    buildCtrBinPacking in interface XCallbacks
    
    Specified by:
    
    buildCtrBinPacking in interface XCallbacks2
  - buildCtrBinPacking
```
public void buildCtrBinPacking(String id,
                               XVariables.XVarInteger[] list,
                               int[] sizes,
                               int[] capacities,
                               boolean loads)
```
    Specified by:
    
    buildCtrBinPacking in interface XCallbacks
    
    Specified by:
    
    buildCtrBinPacking in interface XCallbacks2
  - buildCtrBinPacking
```
public void buildCtrBinPacking(String id,
                               XVariables.XVarInteger[] list,
                               int[] sizes,
                               XVariables.XVarInteger[] capacities,
                               boolean loads)
```
    Specified by:
    
    buildCtrBinPacking in interface XCallbacks
    
    Specified by:
    
    buildCtrBinPacking in interface XCallbacks2
  - buildCtrBinPacking
```
public void buildCtrBinPacking(String id,
                               XVariables.XVarInteger[] list,
                               int[] sizes,
                               Condition[] conditions,
                               int startIndex)
```
    Specified by:
    
    buildCtrBinPacking in interface XCallbacks
    
    Specified by:
    
    buildCtrBinPacking in interface XCallbacks2
  - buildCtrKnapsack
```
public void buildCtrKnapsack(String id,
                             XVariables.XVarInteger[] list,
                             int[] weights,
                             Condition wcondition,
                             int[] profits,
                             Condition pcondition)
```
    Specified by:
    
    buildCtrKnapsack in interface XCallbacks
    
    Specified by:
    
    buildCtrKnapsack in interface XCallbacks2
  - buildCtrFlow
```
public void buildCtrFlow(String id,
                         XVariables.XVarInteger[] list,
                         int[] balance,
                         int[][] arcs)
```
    Specified by:
    
    buildCtrFlow in interface XCallbacks
    
    Specified by:
    
    buildCtrFlow in interface XCallbacks2
  - buildCtrFlow
```
public void buildCtrFlow(String id,
                         XVariables.XVarInteger[] list,
                         int[] balance,
                         int[][] arcs,
                         int[] weights,
                         Condition condition)
```
    Specified by:
    
    buildCtrFlow in interface XCallbacks
    
    Specified by:
    
    buildCtrFlow in interface XCallbacks2
  - buildCtrInstantiation
```
public void buildCtrInstantiation(String id,
                                  XVariables.XVarInteger[] list,
                                  int[] values)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrInstantiation in interface XCallbacks
    
    Specified by:
    
    buildCtrInstantiation in interface XCallbacks2
  - buildCtrClause
```
public void buildCtrClause(String id,
                           XVariables.XVarInteger[] pos,
                           XVariables.XVarInteger[] neg)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrClause in interface XCallbacks
    
    Specified by:
    
    buildCtrClause in interface XCallbacks2
  - buildCtrCircuit
```
public void buildCtrCircuit(String id,
                            XVariables.XVarInteger[] list,
                            int startIndex)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrCircuit in interface XCallbacks
    
    Specified by:
    
    buildCtrCircuit in interface XCallbacks2
  - buildCtrCircuit
```
public void buildCtrCircuit(String id,
                            XVariables.XVarInteger[] list,
                            int startIndex,
                            int size)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrCircuit in interface XCallbacks
    
    Specified by:
    
    buildCtrCircuit in interface XCallbacks2
  - buildCtrCircuit
```
public void buildCtrCircuit(String id,
                            XVariables.XVarInteger[] list,
                            int startIndex,
                            XVariables.XVarInteger size)
```
    Description copied from interface: XCallbacks
    
    Full information about the constraint (this form) in the specifications (Chapter 4).
    Quick information available on the XCSP3 website (Tab Specifications) .
    Select the constraint after opening the left navigation bar below heading XCSP3-core.
    
    Specified by:
    
    buildCtrCircuit in interface XCallbacks
    
    Specified by:
    
    buildCtrCircuit in interface XCallbacks2
  - buildObjToMinimize
```
public void buildObjToMinimize(String id,
                               XVariables.XVarInteger x)
```
    Description copied from interface: XCallbacks2
    
    Methods to be implemented for managing objectives
    
    Specified by:
    
    buildObjToMinimize in interface XCallbacks
    
    Specified by:
    
    buildObjToMinimize in interface XCallbacks2
  - buildObjToMaximize
```
public void buildObjToMaximize(String id,
                               XVariables.XVarInteger x)
```
    Specified by:
    
    buildObjToMaximize in interface XCallbacks
    
    Specified by:
    
    buildObjToMaximize in interface XCallbacks2
  - buildObjToMinimize
```
public void buildObjToMinimize(String id,
                               XNodeParent<XVariables.XVarInteger> tree)
```
    Specified by:
    
    buildObjToMinimize in interface XCallbacks
    
    Specified by:
    
    buildObjToMinimize in interface XCallbacks2
  - buildObjToMaximize
```
public void buildObjToMaximize(String id,
                               XNodeParent<XVariables.XVarInteger> tree)
```
    Specified by:
    
    buildObjToMaximize in interface XCallbacks
    
    Specified by:
    
    buildObjToMaximize in interface XCallbacks2
  - buildObjToMinimize
```
public void buildObjToMinimize(String id,
                               Types.TypeObjective type,
                               XVariables.XVarInteger[] list)
```
    Specified by:
    
    buildObjToMinimize in interface XCallbacks
    
    Specified by:
    
    buildObjToMinimize in interface XCallbacks2
  - buildObjToMaximize
```
public void buildObjToMaximize(String id,
                               Types.TypeObjective type,
                               XVariables.XVarInteger[] list)
```
    Specified by:
    
    buildObjToMaximize in interface XCallbacks
    
    Specified by:
    
    buildObjToMaximize in interface XCallbacks2
  - buildObjToMinimize
```
public void buildObjToMinimize(String id,
                               Types.TypeObjective type,
                               XVariables.XVarInteger[] list,
                               int[] coeffs)
```
    Specified by:
    
    buildObjToMinimize in interface XCallbacks
    
    Specified by:
    
    buildObjToMinimize in interface XCallbacks2
  - buildObjToMaximize
```
public void buildObjToMaximize(String id,
                               Types.TypeObjective type,
                               XVariables.XVarInteger[] list,
                               int[] coeffs)
```
    Specified by:
    
    buildObjToMaximize in interface XCallbacks
    
    Specified by:
    
    buildObjToMaximize in interface XCallbacks2
  - buildObjToMinimize
```
public void buildObjToMinimize(String id,
                               Types.TypeObjective type,
                               XNode<XVariables.XVarInteger>[] trees)
```
    Specified by:
    
    buildObjToMinimize in interface XCallbacks
    
    Specified by:
    
    buildObjToMinimize in interface XCallbacks2
  - buildObjToMaximize
```
public void buildObjToMaximize(String id,
                               Types.TypeObjective type,
                               XNode<XVariables.XVarInteger>[] trees)
```
    Specified by:
    
    buildObjToMaximize in interface XCallbacks
    
    Specified by:
    
    buildObjToMaximize in interface XCallbacks2
  - buildObjToMinimize
```
public void buildObjToMinimize(String id,
                               Types.TypeObjective type,
                               XNode<XVariables.XVarInteger>[] trees,
                               int[] coeffs)
```
    Specified by:
    
    buildObjToMinimize in interface XCallbacks
    
    Specified by:
    
    buildObjToMinimize in interface XCallbacks2
  - buildObjToMaximize
```
public void buildObjToMaximize(String id,
                               Types.TypeObjective type,
                               XNode<XVariables.XVarInteger>[] trees,
                               int[] coeffs)
```
    Specified by:
    
    buildObjToMaximize in interface XCallbacks
    
    Specified by:
    
    buildObjToMaximize in interface XCallbacks2
  - buildVarSymbolic
```
public void buildVarSymbolic(XVariables.XVarSymbolic x,
                             String[] values)
```
    Description copied from interface: XCallbacks2
    
    Methods to be implemented on symbolic variables/constraints
    
    Specified by:
    
    buildVarSymbolic in interface XCallbacks
    
    Specified by:
    
    buildVarSymbolic in interface XCallbacks2
  - buildCtrIntension
```
public void buildCtrIntension(String id,
                              XVariables.XVarSymbolic[] scope,
                              XNodeParent<XVariables.XVarSymbolic> tree)
```
    Specified by:
    
    buildCtrIntension in interface XCallbacks
    
    Specified by:
    
    buildCtrIntension in interface XCallbacks2
  - buildCtrExtension
```
public void buildCtrExtension(String id,
                              XVariables.XVarSymbolic x,
                              String[] values,
                              boolean positive,
                              Set<Types.TypeFlag> flags)
```
    Specified by:
    
    buildCtrExtension in interface XCallbacks
    
    Specified by:
    
    buildCtrExtension in interface XCallbacks2
  - buildCtrExtension
```
public void buildCtrExtension(String id,
                              XVariables.XVarSymbolic[] list,
                              String[][] tuples,
                              boolean positive,
                              Set<Types.TypeFlag> flags)
```
    Specified by:
    
    buildCtrExtension in interface XCallbacks
    
    Specified by:
    
    buildCtrExtension in interface XCallbacks2
  - buildCtrAllDifferent
```
public void buildCtrAllDifferent(String id,
                                 XVariables.XVarSymbolic[] list)
```
    Specified by:
    
    buildCtrAllDifferent in interface XCallbacks
    
    Specified by:
    
    buildCtrAllDifferent in interface XCallbacks2

Class SolutionChecker

Nested Class Summary

Nested classes/interfaces inherited from interface org.xcsp.parser.callbacks.XCallbacks

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Methods inherited from interface org.xcsp.parser.callbacks.XCallbacks

Methods inherited from interface org.xcsp.parser.callbacks.XCallbacks2

Field Detail

violatedCtrs

invalidObjs

Constructor Detail

SolutionChecker

Method Detail

main

implem

controlConstraint

controlObjective

loadVariables

loadConstraints

loadCtr

loadObjectives

loadObj

endInstance

buildVarInteger

buildVarInteger

buildCtrIntension

buildCtrExtension

buildCtrExtension

buildCtrExtension

buildCtrRegular

buildCtrMDD

buildCtrAllDifferent

buildCtrAllDifferentExcept

buildCtrAllDifferentList

buildCtrAllDifferentList

buildCtrAllDifferentMatrix

buildCtrAllDifferentMatrix

buildCtrAllDifferent

buildCtrAllEqual

buildCtrAllEqual

buildCtrOrdered

buildCtrOrdered

buildCtrOrdered

buildCtrLex

buildCtrLex

buildCtrLexMatrix

buildCtrPrecedence

buildCtrPrecedence

evaluateCondition

checkCondition

buildCtrSum

buildCtrSum

buildCtrSum

buildCtrSum

buildCtrSum

buildCtrSum

buildCtrCount

buildCtrCount

buildCtrCount

buildCtrNValuesExcept

buildCtrNValues

buildCtrNValues

buildCtrCardinality

buildCtrCardinality

buildCtrCardinality

buildCtrCardinality

buildCtrCardinality

buildCtrCardinality

buildCtrMaximum

buildCtrMaximum

buildCtrMinimum

buildCtrMinimum

buildCtrMaximum

buildCtrMinimum

buildCtrMaximumArg

buildCtrMaximumArg

buildCtrMinimumArg

buildCtrMinimumArg