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

All Implemented Interfaces:

XCallbacks, XCallbacks2
```
public class CompetitionValidator
extends Object
implements XCallbacks2
```
This class is used to test if XCSP3 instances are valid according to the scope of the current (2018) XCSP3 competition of constraint solvers.

Author:

Christophe Lecoutre

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

Constructor Summary

Constructors
Constructor	Description
`CompetitionValidator(Boolean miniTrack, boolean exceptionsVisible, String name)`	Builds an object used for checking the validity of one (or several) XCSP3 instances with respect to the scope of the current competition.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`beginSlide(XConstraints.XSlide s)`	Method called at the beginning of the process of loading the specified meta-constraint slide.
`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`	`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`	`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`	`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`	`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`	`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.
`XCallbacks.Implem`	`implem()`	Returns the object that implements necessary data structures during the loading process.
`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)`
`Object`	`unimplementedCase(Object... objects)`	Methods to be implemented on integer variables/constraints

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, loadConstraints, loadCtr, loadCtrs, loadDocument, loadGroup, loadInstance, loadInstance, loadLogic, loadObj, loadObjectives, loadSlide, loadVar, repost

Methods inherited from interface org.xcsp.parser.callbacks.XCallbacks2
beginAnnotations, beginArray, beginBlock, beginConstraints, beginGroup, beginInstance, beginLogic, beginObjectives, beginVariables, buildAnnotationDecision, buildAnnotationValHeuristicStatic, buildCtrAllDifferent, buildCtrAmong, buildCtrAmong, buildCtrAtLeast, buildCtrAtMost, buildCtrClause, buildCtrExactly, buildCtrExactly, buildCtrExtension, buildCtrExtension, buildCtrIntension, buildCtrLogic, buildCtrLogic, buildCtrLogic, buildCtrLogic, buildCtrNoOverlap, buildCtrNotAllEqual, buildCtrPrimitive, buildCtrPrimitive, buildCtrPrimitive, buildCtrPrimitive, buildCtrPrimitive, buildCtrPrimitive, buildCtrPrimitive, buildCtrPrimitive, buildCtrStretch, buildCtrStretch, buildVarSymbolic, endAnnotations, endArray, endBlock, endConstraints, endGroup, endInstance, endLogic, endObjectives, endSlide, endVariables

- Constructor Detail
  - CompetitionValidator
```
public CompetitionValidator(Boolean miniTrack,
                            boolean exceptionsVisible,
                            String name)
                     throws Exception
```
    Builds an object used for checking the validity of one (or several) XCSP3 instances with respect to the scope of the current competition.
    
    Parameters:
    
    miniTrack - Indicates how the tests are performed: if true, only for the mini-track, if false, only for the main track, if null for both tracks.
    
    name - the name of a file or directory
    
    Throws:
    
    Exception - exception thrown if a problem is encountered
- 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
  - unimplementedCase
```
public Object unimplementedCase(Object... objects)
```
    Description copied from interface: XCallbacks2
    
    Methods to be implemented on integer variables/constraints
    
    Specified by:
    
    unimplementedCase in interface XCallbacks
    
    Specified by:
    
    unimplementedCase in interface XCallbacks2
    
    Parameters:
    
    objects - objects to be displayed (with toString())
    
    Returns:
    
    a fake object because the exception will quit first.
  - 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
  - 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
  - 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
  - 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
  - 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
  - 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,
                            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,
                                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,
                                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,
                                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,
                                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,
                                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,
                            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
  - 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,
                            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
  - buildCtrMinimum
```
public void buildCtrMinimum(String id,
                            XNode<XVariables.XVarInteger>[] trees,
                            Condition condition)
```
    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
  - 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
  - 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
  - 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
  - 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
  - beginSlide
```
public void beginSlide(XConstraints.XSlide s)
```
    Description copied from interface: XCallbacks
    
    Method called at the beginning of the process of loading the specified meta-constraint slide. 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:
    
    beginSlide in interface XCallbacks
    
    Specified by:
    
    beginSlide in interface XCallbacks2
    
    Parameters:
    
    s - a meta-constraint slide to be loaded
  - 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

Class CompetitionValidator

Nested Class Summary

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

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

Constructor Detail

CompetitionValidator

Method Detail

main

implem

unimplementedCase

buildVarInteger

buildVarInteger

loadVariables

buildCtrIntension

buildCtrExtension

buildCtrExtension

buildCtrExtension

buildCtrRegular

buildCtrMDD

buildCtrAllDifferent

buildCtrAllDifferentExcept

buildCtrAllDifferentList

buildCtrAllDifferentList

buildCtrAllDifferentMatrix

buildCtrAllDifferentMatrix

buildCtrAllDifferent

buildCtrAllEqual

buildCtrAllEqual

buildCtrOrdered

buildCtrOrdered

buildCtrOrdered

buildCtrLex

buildCtrLex

buildCtrLexMatrix

buildCtrPrecedence

buildCtrPrecedence

buildCtrSum

buildCtrSum

buildCtrSum

buildCtrSum

buildCtrSum

buildCtrSum

buildCtrCount

buildCtrCount

buildCtrCount

buildCtrNValues

buildCtrNValuesExcept

buildCtrNValues

buildCtrCardinality

buildCtrCardinality

buildCtrCardinality

buildCtrCardinality

buildCtrCardinality

buildCtrCardinality

buildCtrMaximum

buildCtrMaximum

buildCtrMaximum

buildCtrMinimum

buildCtrMinimum

buildCtrMinimum

buildCtrMaximumArg

buildCtrMaximumArg

buildCtrMinimumArg

buildCtrMinimumArg

buildCtrElement

buildCtrElement

buildCtrElement

buildCtrElement

buildCtrElement

buildCtrChannel

buildCtrChannel

buildCtrChannel

buildCtrNoOverlap

buildCtrNoOverlap

buildCtrNoOverlap

buildCtrNoOverlap