Package org.xcsp.parser.callbacks

Interface XCallbacks2

All Superinterfaces:

XCallbacks

All Known Implementing Classes:

CompetitionValidator, FeatureDisplayer, SolutionChecker

public interface XCallbacks2
extends XCallbacks

Author:

Christophe Lecoutre

Nested Class Summary

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

XCallbacks.Implem, XCallbacks.XCallbacksParameters

Method Summary

Modifier and Type	Method	Description
default void	beginAnnotations(List<ParsingEntry.AEntry> aEntries)
default void	beginArray(XVariables.XArray a)	Method called at the beginning of the process of loading the specified array of variables.
default void	beginBlock(XConstraints.XBlock b)	Method called at the beginning of the process of loading the specified block.
default void	beginConstraints(List<ParsingEntry.CEntry> cEntries)	Method called at the beginning of the process of loading the constraints of the XCSP3 instance.
default void	beginGroup(XConstraints.XGroup g)	Method called at the beginning of the process of loading the specified group of constraints.
default void	beginInstance(Types.TypeFramework type)	Methods called at Specific Moments
default void	beginLogic(XConstraints.XLogic l)	Method called at the beginning of the process of loading the specified logic-based meta-constraint <and>, <or>, <iff>, <not>, <ifThen> or <ifThenElse>.
default void	beginObjectives(List<ParsingEntry.OEntry> oEntries, Types.TypeCombination type)	Method called at the beginning of the process of loading the objectives (if any) of the XCSP3 instance.
default void	beginSlide(XConstraints.XSlide s)	Method called at the beginning of the process of loading the specified meta-constraint slide.
default void	beginVariables(List<ParsingEntry.VEntry> vEntries)	Method called at the beginning of the process of loading the variables of the XCSP3 instance.
default void	buildAnnotationDecision(XVariables.XVarInteger[] list)	Methods to be implemented on Annotations
default void	buildAnnotationValHeuristicStatic(XVariables.XVarInteger[] list, int[] order)
default void	buildCtrAllDifferent(String id, XNode<XVariables.XVarInteger>[] trees)
default void	buildCtrAllDifferent(String id, XVariables.XVarInteger[] list)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrAllDifferent(String id, XVariables.XVarSymbolic[] list)
default void	buildCtrAllDifferentExcept(String id, XVariables.XVarInteger[] list, int[] except)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrAllDifferentList(String id, XVariables.XVarInteger[][] lists)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrAllDifferentList(String id, XVariables.XVarInteger[][] lists, int[][] except)
default void	buildCtrAllDifferentMatrix(String id, XVariables.XVarInteger[][] matrix)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrAllDifferentMatrix(String id, XVariables.XVarInteger[][] matrix, int[] except)
default void	buildCtrAllEqual(String id, XNode<XVariables.XVarInteger>[] trees)
default void	buildCtrAllEqual(String id, XVariables.XVarInteger[] list)	Callback method for building a constraint allEqual.
default void	buildCtrAmong(String id, XVariables.XVarInteger[] list, int[] values, int k)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrAmong(String id, XVariables.XVarInteger[] list, int[] values, XVariables.XVarInteger k)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrAtLeast(String id, XVariables.XVarInteger[] list, int value, int k)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrAtMost(String id, XVariables.XVarInteger[] list, int value, int k)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrBinPacking(String id, XVariables.XVarInteger[] list, int[] sizes, int[] capacities, boolean loads)
default void	buildCtrBinPacking(String id, XVariables.XVarInteger[] list, int[] sizes, Condition condition)
default void	buildCtrBinPacking(String id, XVariables.XVarInteger[] list, int[] sizes, Condition[] conditions, int startIndex)
default void	buildCtrBinPacking(String id, XVariables.XVarInteger[] list, int[] sizes, XVariables.XVarInteger[] capacities, boolean loads)
default 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).
default 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).
default 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).
default 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).
default 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).
default 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).
default void	buildCtrChannel(String id, XVariables.XVarInteger[] list, int startIndex)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrChannel(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger value)	Full information about the constraint (this form) in the specifications (Chapter 4).
default 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).
default void	buildCtrCircuit(String id, XVariables.XVarInteger[] list, int startIndex)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrCircuit(String id, XVariables.XVarInteger[] list, int startIndex, int size)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrCircuit(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger size)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrClause(String id, XVariables.XVarInteger[] pos, XVariables.XVarInteger[] neg)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrCount(String id, XNode<XVariables.XVarInteger>[] trees, int[] values, Condition condition)
default void	buildCtrCount(String id, XVariables.XVarInteger[] list, int[] values, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrCount(String id, XVariables.XVarInteger[] list, XVariables.XVarInteger[] values, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
default 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).
default 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).
default 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).
default 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).
default 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).
default 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).
default 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).
default 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).
default void	buildCtrElement(String id, int[][] matrix, int startRowIndex, XVariables.XVarInteger rowIndex, int startColIndex, XVariables.XVarInteger colIndex, Condition condition)
default void	buildCtrElement(String id, int[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)
default void	buildCtrElement(String id, XVariables.XVarInteger[][] matrix, int startRowIndex, XVariables.XVarInteger rowIndex, int startColIndex, XVariables.XVarInteger colIndex, Condition condition)
default void	buildCtrElement(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)
default void	buildCtrElement(String id, XVariables.XVarInteger[] list, Condition condition)
default void	buildCtrExactly(String id, XVariables.XVarInteger[] list, int value, int k)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrExactly(String id, XVariables.XVarInteger[] list, int value, XVariables.XVarInteger k)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrExtension(String id, XVariables.XVarInteger[] list, int[][] tuples, boolean positive, Set<Types.TypeFlag> flags)	Callback method for building a (non-unary) extensional constraint.
default void	buildCtrExtension(String id, XVariables.XVarInteger[] list, AbstractTuple[] tuples, boolean positive, Set<Types.TypeFlag> flags)
default void	buildCtrExtension(String id, XVariables.XVarInteger x, int[] values, boolean positive, Set<Types.TypeFlag> flags)	Callback method for building a unary extensional constraint.
default void	buildCtrExtension(String id, XVariables.XVarSymbolic[] list, String[][] tuples, boolean positive, Set<Types.TypeFlag> flags)
default void	buildCtrExtension(String id, XVariables.XVarSymbolic x, String[] values, boolean positive, Set<Types.TypeFlag> flags)
default void	buildCtrFlow(String id, XVariables.XVarInteger[] list, int[] balance, int[][] arcs)
default void	buildCtrFlow(String id, XVariables.XVarInteger[] list, int[] balance, int[][] arcs, int[] weights, Condition condition)
default void	buildCtrInstantiation(String id, XVariables.XVarInteger[] list, int[] values)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrIntension(String id, XVariables.XVarInteger[] scope, XNodeParent<XVariables.XVarInteger> tree)	Callback method for building a constraint intension from the specified syntactic tree.
default void	buildCtrIntension(String id, XVariables.XVarSymbolic[] scope, XNodeParent<XVariables.XVarSymbolic> syntaxTreeRoot)
default void	buildCtrKnapsack(String id, XVariables.XVarInteger[] list, int[] weights, Condition wcondition, int[] profits, Condition pcondition)
default void	buildCtrLex(String id, XVariables.XVarInteger[][] lists, Types.TypeOperatorRel operator)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrLex(String id, XVariables.XVarInteger[] list, int[] limit, Types.TypeOperatorRel operator)
default void	buildCtrLexMatrix(String id, XVariables.XVarInteger[][] matrix, Types.TypeOperatorRel operator)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrLogic(String id, Types.TypeLogicalOperator op, XVariables.XVarInteger[] vars)	Callback method for building a logic constraint with one of the following forms: * and(x1,x2,...,xr) or(x1,x2,...,xr) xor(x1,x2,...,xr) iff(x1,x2,...,xr) imp(x1,x2) with x1,x2,..., xr being 0/1 variables
default void	buildCtrLogic(String id, XVariables.XVarInteger x, Types.TypeEqNeOperator op, Types.TypeLogicalOperator lop, XVariables.XVarInteger[] vars)	Callback method for building a logic constraint with one of the following forms: * x = and(x1,x2,...,xr) x = or(x1,x2,...,xr) x = xor(x1,x2,...,xr) x = iff(x1,x2,...,xr) x = imp(x1,x2) x ≠ and(x1,x2,...,xr) x ≠ or(x1,x2,...,xr) x ≠ xor(x1,x2,...,xr) x ≠ iff(x1,x2,...,xr) x ≠ imp(x1,x2) with x1,x2,..., xr being 0/1 variables
default void	buildCtrLogic(String id, XVariables.XVarInteger x, XVariables.XVarInteger y, Types.TypeConditionOperatorRel op, int k)	Callback method for building a "logic" constraint with the following form: x = (y ⊙ k) with x a 0/1 variable, y an integer variable, k a constant (integer) and ⊙ a relational operator in {<,≤,≥,>,=,≠}
default void	buildCtrLogic(String id, XVariables.XVarInteger x, XVariables.XVarInteger y, Types.TypeConditionOperatorRel op, XVariables.XVarInteger z)	Callback method for building a "logic" constraint with the following form: x = (y ⊙ z) with x a 0/1 variable, y and z two integer variables, and ⊙ a relational operator in {<,≤,≥,>,=,≠}
default void	buildCtrMaximum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
default 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).
default void	buildCtrMaximum(String id, XVariables.XVarInteger[] list, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrMaximumArg(String id, XNode<XVariables.XVarInteger>[] trees, Types.TypeRank rank, Condition condition)
default void	buildCtrMaximumArg(String id, XVariables.XVarInteger[] list, Types.TypeRank rank, Condition condition)
default void	buildCtrMDD(String id, XVariables.XVarInteger[] list, Transition[] transitions)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrMinimum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
default 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).
default void	buildCtrMinimum(String id, XVariables.XVarInteger[] list, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrMinimumArg(String id, XNode<XVariables.XVarInteger>[] trees, Types.TypeRank rank, Condition condition)
default void	buildCtrMinimumArg(String id, XVariables.XVarInteger[] list, Types.TypeRank rank, Condition condition)
default void	buildCtrNoOverlap(String id, XVariables.XVarInteger[][] origins, int[][] lengths, boolean zeroIgnored)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrNoOverlap(String id, XVariables.XVarInteger[][] origins, XVariables.XVarInteger[][] lengths, boolean zeroIgnored)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrNoOverlap(String id, XVariables.XVarInteger[] origins, int[] lengths, boolean zeroIgnored)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrNoOverlap(String id, XVariables.XVarInteger[] origins, XVariables.XVarInteger[] lengths, boolean zeroIgnored)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrNoOverlap(String id, XVariables.XVarInteger[] xs, XVariables.XVarInteger[] ys, XVariables.XVarInteger[] lx, int[] ly, boolean zeroIgnored)
default void	buildCtrNotAllEqual(String id, XVariables.XVarInteger[] list)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrNValues(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
default void	buildCtrNValues(String id, XVariables.XVarInteger[] list, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrNValuesExcept(String id, XVariables.XVarInteger[] list, int[] except, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrOrdered(String id, XVariables.XVarInteger[] list, int[] lengths, Types.TypeOperatorRel operator)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrOrdered(String id, XVariables.XVarInteger[] list, Types.TypeOperatorRel operator)	Full information about the constraint (this form) in the specifications (Chapter 4).
default 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).
default void	buildCtrPrecedence(String id, XVariables.XVarInteger[] list)
default void	buildCtrPrecedence(String id, XVariables.XVarInteger[] list, int[] values, boolean covered)
default void	buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeArithmeticOperator aop, int p, Types.TypeConditionOperatorRel op, int k)	Callback method for building an unary primitive constraint with one of the following forms: (x + p) ⊙ k (x - p) ⊙ k (x * p) ⊙ k (x / p) ⊙ k (x % p) ⊙ k (x ^ p) ⊙ k |x - p| ⊙ k with x being an integer variable, p and k constants (integers) and ⊙ a relational operator in {<,≤,≥,>,=,≠}
default void	buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeArithmeticOperator aop, int p, Types.TypeConditionOperatorRel op, XVariables.XVarInteger y)	Callback method for building a binary primitive constraint with one of the following forms: (x + p) ⊙ y (x - p) ⊙ y (x * p) ⊙ y (x / p) ⊙ y (x % p) ⊙ y (x ^ p) ⊙ y |x - p| ⊙ y with x and y being two integer variables, p a constant (integer) and ⊙ a relational operator in {<,≤,≥,>,=,≠}
default void	buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeArithmeticOperator aop, XVariables.XVarInteger y, Types.TypeConditionOperatorRel op, int k)	Callback method for building a binary primitive constraint with one of the following forms: (x + y) ⊙ k (x - y) ⊙ k (x * y) ⊙ k (x / y) ⊙ k (x % y) ⊙ k (x ^ y) ⊙ k |x - y| ⊙ k with x and y being two integer variables, k a constant (integer) and ⊙ a relational operator in {<,≤,≥,>,=,≠}
default void	buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeArithmeticOperator aop, XVariables.XVarInteger y, Types.TypeConditionOperatorRel op, XVariables.XVarInteger z)	Callback method for building a ternary primitive constraint with one of the following forms: (x + y) ⊙ z (x - y) ⊙ z (x * y) ⊙ z (x / y) ⊙ z (x % y) ⊙ z (x ^ y) ⊙ z |x - y| ⊙ z with x, y and z being three integer variables, and ⊙ a relational operator in {<,≤,≥,>,=,≠}
default void	buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeConditionOperatorRel op, int k)	Callback method for building an unary primitive constraint with one of the following forms: x < k x ≤ k x ≥ k x > k x = k x ≠ k with x being an integer variable and k a constant (integer).
default void	buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeConditionOperatorSet op, int[] t)	Callback method for building an unary primitive constraint with one of the following forms: x ∈ t x ∉ t with x being an integer variable and t a set of constants (integers) represented by an array.
default void	buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeConditionOperatorSet op, int min, int max)	Callback method for building an unary primitive constraint with one of the following forms: x ∈ min..max x ∉ min..max with x being an integer variable and min and max two constants (integers) denoting the bounds of an integer interval.
default void	buildCtrPrimitive(String id, XVariables.XVarInteger x, Types.TypeUnaryArithmeticOperator aop, XVariables.XVarInteger y)	Callback method for building a binary primitive constraint with one of the following forms: x = |y| x = -y x = y*y with x, and y being two integer variables.
default 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).
default 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).
default 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).
default void	buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, int[] coeffs, Condition condition)
default void	buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
default void	buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, XVariables.XVarInteger[] coeffs, Condition condition)
default void	buildCtrSum(String id, XVariables.XVarInteger[] list, int[] coeffs, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrSum(String id, XVariables.XVarInteger[] list, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildCtrSum(String id, XVariables.XVarInteger[] list, XVariables.XVarInteger[] coeffs, Condition condition)	Full information about the constraint (this form) in the specifications (Chapter 4).
default void	buildObjToMaximize(String id, XNodeParent<XVariables.XVarInteger> tree)
default void	buildObjToMaximize(String id, Types.TypeObjective type, XNode<XVariables.XVarInteger>[] trees)
default void	buildObjToMaximize(String id, Types.TypeObjective type, XNode<XVariables.XVarInteger>[] trees, int[] coeffs)
default void	buildObjToMaximize(String id, Types.TypeObjective type, XVariables.XVarInteger[] list)
default void	buildObjToMaximize(String id, Types.TypeObjective type, XVariables.XVarInteger[] list, int[] coeffs)
default void	buildObjToMaximize(String id, XVariables.XVarInteger x)
default void	buildObjToMinimize(String id, XNodeParent<XVariables.XVarInteger> tree)
default void	buildObjToMinimize(String id, Types.TypeObjective type, XNode<XVariables.XVarInteger>[] trees)
default void	buildObjToMinimize(String id, Types.TypeObjective type, XNode<XVariables.XVarInteger>[] trees, int[] coeffs)
default void	buildObjToMinimize(String id, Types.TypeObjective type, XVariables.XVarInteger[] list)
default void	buildObjToMinimize(String id, Types.TypeObjective type, XVariables.XVarInteger[] list, int[] coeffs)
default void	buildObjToMinimize(String id, XVariables.XVarInteger x)	Methods to be implemented for managing objectives
default 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.
default 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.
default void	buildVarSymbolic(XVariables.XVarSymbolic x, String[] values)	Methods to be implemented on symbolic variables/constraints
default void	endAnnotations()
default void	endArray(XVariables.XArray a)	Method called at the end of the process of loading the specified array of variables.
default void	endBlock(XConstraints.XBlock b)	Method called at the end of the process of loading the specified block.
default void	endConstraints()	Method called at the end of the process of loading the constraints of the XCSP3 instance.
default void	endGroup(XConstraints.XGroup g)	Method called at the end of the process of loading the specified group of constraints.
default void	endInstance()	Method called at the end of the process of loading the XCSP3 instance.
default void	endLogic(XConstraints.XLogic l)	Method called at the end of the process of loading the specified logic-based meta-constraint <and>, <or>, <iff>, <not>, <ifThen> or <ifThenElse>.
default void	endObjectives()	Method called at the end of the process of loading the objectives (if any) of the XCSP3 instance.
default void	endSlide(XConstraints.XSlide s)	Method called at the end of the process of loading the specified meta-constraint slide.
default void	endVariables()	Method called at the end of the process of loading the variables of the XCSP3 instance.
default Object	unimplementedCase(Object... objects)	Methods to be implemented on integer variables/constraints

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

buildCtrFalse, buildCtrTrue, implem, loadAnn, loadAnnotations, loadArray, loadBlock, loadConstraints, loadConstraints, loadCtr, loadCtrs, loadDocument, loadGroup, loadInstance, loadInstance, loadLogic, loadObj, loadObjectives, loadSlide, loadVar, loadVariables, repost

Method Detail

beginInstance

default void beginInstance(Types.TypeFramework type)

Methods called at Specific Moments

Specified by:

beginInstance in interface XCallbacks

Parameters:

type - the framework of the XCSP3 instance

endInstance

default 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

beginVariables

default void beginVariables(List<ParsingEntry.VEntry> vEntries)

Description copied from interface: XCallbacks

Method called at the beginning of the process of loading the variables of 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:

beginVariables in interface XCallbacks

Parameters:

vEntries - the list of objects found in

endVariables

default void endVariables()

Description copied from interface: XCallbacks

Method called at the end of the process of loading the variables of 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:

endVariables in interface XCallbacks

beginArray

default void beginArray(XVariables.XArray a)

Description copied from interface: XCallbacks

Method called at the beginning of the process of loading the specified array of variables. 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:

beginArray in interface XCallbacks

Parameters:

a - an object representing an array of variables

endArray

default void endArray(XVariables.XArray a)

Description copied from interface: XCallbacks

Method called at the end of the process of loading the specified array of variables. 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:

endArray in interface XCallbacks

Parameters:

a - an object representing an array of variables

beginConstraints

default void beginConstraints(List<ParsingEntry.CEntry> cEntries)

Description copied from interface: XCallbacks

Method called at the beginning of the process of loading the constraints of 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:

beginConstraints in interface XCallbacks

Parameters:

cEntries - the list of objects found in

endConstraints

default void endConstraints()

Description copied from interface: XCallbacks

Method called at the end of the process of loading the constraints of 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:

endConstraints in interface XCallbacks

beginBlock

default void beginBlock(XConstraints.XBlock b)

Description copied from interface: XCallbacks

Method called at the beginning of the process of loading the specified block. 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:

beginBlock in interface XCallbacks

Parameters:

b - a block to be loaded

endBlock

default void endBlock(XConstraints.XBlock b)

Description copied from interface: XCallbacks

Method called at the end of the process of loading the specified block. 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:

endBlock in interface XCallbacks

Parameters:

b - a block

beginGroup

default void beginGroup(XConstraints.XGroup g)

Description copied from interface: XCallbacks

Method called at the beginning of the process of loading the specified group of constraints. 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:

beginGroup in interface XCallbacks

Parameters:

g - a group to be loaded

endGroup

default void endGroup(XConstraints.XGroup g)

Description copied from interface: XCallbacks

Method called at the end of the process of loading the specified group of constraints. 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:

endGroup in interface XCallbacks

Parameters:

g - a group

beginSlide

default 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

Parameters:

s - a meta-constraint slide to be loaded

endSlide

default void endSlide(XConstraints.XSlide s)

Description copied from interface: XCallbacks

Method called at the end 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:

endSlide in interface XCallbacks

Parameters:

s - a meta-constraint slide

beginLogic

default void beginLogic(XConstraints.XLogic l)

Description copied from interface: XCallbacks

Method called at the beginning of the process of loading the specified logic-based meta-constraint <and>, <or>, <iff>, <not>, <ifThen> or <ifThenElse>. Implement (or redefine) this method (if you implement XCallbacks2).

Specified by:

beginLogic in interface XCallbacks

Parameters:

l - a logic-based meta-constraint to be loaded

endLogic

default void endLogic(XConstraints.XLogic l)

Description copied from interface: XCallbacks

Method called at the end of the process of loading the specified logic-based meta-constraint <and>, <or>, <iff>, <not>, <ifThen> or <ifThenElse>. 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:

endLogic in interface XCallbacks

Parameters:

l - a logic-based meta-constraint

beginObjectives

default void beginObjectives(List<ParsingEntry.OEntry> oEntries,
                             Types.TypeCombination type)

Description copied from interface: XCallbacks

Method called at the beginning of the process of loading the objectives (if any) of 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:

beginObjectives in interface XCallbacks

Parameters:

oEntries - the list of objects found in

type - the type indicating how to manage multi-optimization; this parameter is irrelevant in case of mono-optimization

endObjectives

default void endObjectives()

Description copied from interface: XCallbacks

Method called at the end of the process of loading the objectives (if any) of 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:

endObjectives in interface XCallbacks

beginAnnotations

default void beginAnnotations(List<ParsingEntry.AEntry> aEntries)

Specified by:

beginAnnotations in interface XCallbacks

endAnnotations

default void endAnnotations()

Specified by:

endAnnotations in interface XCallbacks

unimplementedCase

default Object unimplementedCase(Object... objects)

Methods to be implemented on integer variables/constraints

Specified by:

unimplementedCase in interface XCallbacks

Parameters:

objects - objects to be displayed (with toString())

Returns:

a fake object because the exception will quit first.

buildVarInteger

default 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

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

default 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

Parameters:

x - an integer variable built by the parser

values - the values in the domain of x

buildCtrIntension

default 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

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

buildCtrPrimitive

default void buildCtrPrimitive(String id,
                               XVariables.XVarInteger x,
                               Types.TypeConditionOperatorRel op,
                               int k)

Description copied from interface: XCallbacks

Callback method for building an unary primitive constraint with one of the following forms:

• x < k
• x ≤ k
• x ≥ k
• x > k
• x = k
• x ≠ k

with x being an integer variable and k a constant (integer).

Specified by:

buildCtrPrimitive in interface XCallbacks

Parameters:

id - the id of the constraint

x - an integer variable

op - a relational operator

k - a constant (integer)

buildCtrPrimitive

default void buildCtrPrimitive(String id,
                               XVariables.XVarInteger x,
                               Types.TypeConditionOperatorSet op,
                               int[] t)

Description copied from interface: XCallbacks

Callback method for building an unary primitive constraint with one of the following forms:

• x ∈ t
• x ∉ t

with x being an integer variable and t a set of constants (integers) represented by an array.

Specified by:

buildCtrPrimitive in interface XCallbacks

Parameters:

id - the id of the constraint

x - an integer variable

op - a set operator

t - a set (array) of constants (integers)

buildCtrPrimitive

default void buildCtrPrimitive(String id,
                               XVariables.XVarInteger x,
                               Types.TypeConditionOperatorSet op,
                               int min,
                               int max)

Description copied from interface: XCallbacks

Callback method for building an unary primitive constraint with one of the following forms:

• x ∈ min..max
• x ∉ min..max

with x being an integer variable and min and max two constants (integers) denoting the bounds of an integer interval.

Specified by:

buildCtrPrimitive in interface XCallbacks

Parameters:

id - the id of the constraint

x - an integer variable

op - a set operator

min - the minimum value of the interval

max - the maximum value of the interval

buildCtrPrimitive

default void buildCtrPrimitive(String id,
                               XVariables.XVarInteger x,
                               Types.TypeArithmeticOperator aop,
                               int p,
                               Types.TypeConditionOperatorRel op,
                               int k)

Description copied from interface: XCallbacks

Callback method for building an unary primitive constraint with one of the following forms:

• (x + p) ⊙ k
• (x - p) ⊙ k
• (x * p) ⊙ k
• (x / p) ⊙ k
• (x % p) ⊙ k
• (x ^ p) ⊙ k
• |x - p| ⊙ k

with x being an integer variable, p and k constants (integers) and ⊙ a relational operator in {<,≤,≥,>,=,≠}

Specified by:

buildCtrPrimitive in interface XCallbacks

Parameters:

id - the id of the constraint

x - an integer variable

aop - an arithmetic operator

p - a constant (integer)

op - a relational operator

k - a constant (integer)

buildCtrPrimitive

default void buildCtrPrimitive(String id,
                               XVariables.XVarInteger x,
                               Types.TypeUnaryArithmeticOperator aop,
                               XVariables.XVarInteger y)

Description copied from interface: XCallbacks

Callback method for building a binary primitive constraint with one of the following forms:

• x = |y|
• x = -y
• x = y*y

with x, and y being two integer variables.

Specified by:

buildCtrPrimitive in interface XCallbacks

Parameters:

id - the id of the constraint

x - an integer variable

aop - a unary arithmetic operator

y - an integer variable

buildCtrPrimitive

default void buildCtrPrimitive(String id,
                               XVariables.XVarInteger x,
                               Types.TypeArithmeticOperator aop,
                               XVariables.XVarInteger y,
                               Types.TypeConditionOperatorRel op,
                               int k)

Description copied from interface: XCallbacks

Callback method for building a binary primitive constraint with one of the following forms:

• (x + y) ⊙ k
• (x - y) ⊙ k
• (x * y) ⊙ k
• (x / y) ⊙ k
• (x % y) ⊙ k
• (x ^ y) ⊙ k
• |x - y| ⊙ k

with x and y being two integer variables, k a constant (integer) and ⊙ a relational operator in {<,≤,≥,>,=,≠}

Specified by:

buildCtrPrimitive in interface XCallbacks

Parameters:

id - the id of the constraint

x - an integer variable

aop - an arithmetic operator

y - an integer variable

op - a relational operator

k - a constant (integer)

buildCtrPrimitive

default void buildCtrPrimitive(String id,
                               XVariables.XVarInteger x,
                               Types.TypeArithmeticOperator aop,
                               int p,
                               Types.TypeConditionOperatorRel op,
                               XVariables.XVarInteger y)

Description copied from interface: XCallbacks

Callback method for building a binary primitive constraint with one of the following forms:

• (x + p) ⊙ y
• (x - p) ⊙ y
• (x * p) ⊙ y
• (x / p) ⊙ y
• (x % p) ⊙ y
• (x ^ p) ⊙ y
• |x - p| ⊙ y

with x and y being two integer variables, p a constant (integer) and ⊙ a relational operator in {<,≤,≥,>,=,≠}

Specified by:

buildCtrPrimitive in interface XCallbacks

Parameters:

id - the id of the constraint

x - an integer variable

aop - an arithmetic operator

p - a constant (integer)

op - a relational operator

y - an integer variable

buildCtrPrimitive

default void buildCtrPrimitive(String id,
                               XVariables.XVarInteger x,
                               Types.TypeArithmeticOperator aop,
                               XVariables.XVarInteger y,
                               Types.TypeConditionOperatorRel op,
                               XVariables.XVarInteger z)

Description copied from interface: XCallbacks

Callback method for building a ternary primitive constraint with one of the following forms:

• (x + y) ⊙ z
• (x - y) ⊙ z
• (x * y) ⊙ z
• (x / y) ⊙ z
• (x % y) ⊙ z
• (x ^ y) ⊙ z
• |x - y| ⊙ z

with x, y and z being three integer variables, and ⊙ a relational operator in {<,≤,≥,>,=,≠}

Specified by:

buildCtrPrimitive in interface XCallbacks

Parameters:

id - the id of the constraint

x - an integer variable

aop - an arithmetic operator

y - an integer variable

op - a relational operator

z - an integer variable

buildCtrLogic

default void buildCtrLogic(String id,
                           Types.TypeLogicalOperator op,
                           XVariables.XVarInteger[] vars)

Description copied from interface: XCallbacks

Callback method for building a logic constraint with one of the following forms: *

• and(x1,x2,...,xr)
• or(x1,x2,...,xr)
• xor(x1,x2,...,xr)
• iff(x1,x2,...,xr)
• imp(x1,x2)

with x1,x2,..., xr being 0/1 variables

Specified by:

buildCtrLogic in interface XCallbacks

Parameters:

id - the id of the constraint

op - a logical operator

vars - a set (array) of 0/1 variables

buildCtrLogic

default void buildCtrLogic(String id,
                           XVariables.XVarInteger x,
                           Types.TypeEqNeOperator op,
                           Types.TypeLogicalOperator lop,
                           XVariables.XVarInteger[] vars)

Description copied from interface: XCallbacks

Callback method for building a logic constraint with one of the following forms: *

• x = and(x1,x2,...,xr)
• x = or(x1,x2,...,xr)
• x = xor(x1,x2,...,xr)
• x = iff(x1,x2,...,xr)
• x = imp(x1,x2)
• x ≠ and(x1,x2,...,xr)
• x ≠ or(x1,x2,...,xr)
• x ≠ xor(x1,x2,...,xr)
• x ≠ iff(x1,x2,...,xr)
• x ≠ imp(x1,x2)

with x1,x2,..., xr being 0/1 variables

Specified by:

buildCtrLogic in interface XCallbacks

Parameters:

id - the id of the constraint

x - a 0/1 variable

op - either the operator EQ or the operator NE

lop - a logical operator

vars - a set (array) of 0/1 variables

buildCtrLogic

default void buildCtrLogic(String id,
                           XVariables.XVarInteger x,
                           XVariables.XVarInteger y,
                           Types.TypeConditionOperatorRel op,
                           int k)

Description copied from interface: XCallbacks

Callback method for building a "logic" constraint with the following form:

• x = (y ⊙ k)

with x a 0/1 variable, y an integer variable, k a constant (integer) and ⊙ a relational operator in {<,≤,≥,>,=,≠}

Specified by:

buildCtrLogic in interface XCallbacks

Parameters:

id - the id of the constraint

x - a 0/1 variable

y - an integer variable

op - a relational operator

k - a constant (integer)

buildCtrLogic

default void buildCtrLogic(String id,
                           XVariables.XVarInteger x,
                           XVariables.XVarInteger y,
                           Types.TypeConditionOperatorRel op,
                           XVariables.XVarInteger z)

Description copied from interface: XCallbacks

Callback method for building a "logic" constraint with the following form:

• x = (y ⊙ z)

with x a 0/1 variable, y and z two integer variables, and ⊙ a relational operator in {<,≤,≥,>,=,≠}

Specified by:

buildCtrLogic in interface XCallbacks

Parameters:

id - the id of the constraint

x - a 0/1 variable

y - an integer variable

op - a relational operator

z - an integer variable

buildCtrExtension

default 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

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

default 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

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

default void buildCtrExtension(String id,
                               XVariables.XVarInteger[] list,
                               AbstractTuple[] tuples,
                               boolean positive,
                               Set<Types.TypeFlag> flags)

Specified by:

buildCtrExtension in interface XCallbacks

buildCtrRegular

default 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

buildCtrMDD

default 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

buildCtrAllDifferent

default 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

buildCtrAllDifferentExcept

default 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

buildCtrAllDifferentList

default 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

buildCtrAllDifferentList

default void buildCtrAllDifferentList(String id,
                                      XVariables.XVarInteger[][] lists,
                                      int[][] except)

Specified by:

buildCtrAllDifferentList in interface XCallbacks

buildCtrAllDifferentMatrix

default 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

buildCtrAllDifferentMatrix

default void buildCtrAllDifferentMatrix(String id,
                                        XVariables.XVarInteger[][] matrix,
                                        int[] except)

Specified by:

buildCtrAllDifferentMatrix in interface XCallbacks

buildCtrAllDifferent

default void buildCtrAllDifferent(String id,
                                  XNode<XVariables.XVarInteger>[] trees)

Specified by:

buildCtrAllDifferent in interface XCallbacks

buildCtrAllEqual

default 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

Parameters:

id - the id of the constraint

list - the list of variables of the constraint

buildCtrAllEqual

default void buildCtrAllEqual(String id,
                              XNode<XVariables.XVarInteger>[] trees)

Specified by:

buildCtrAllEqual in interface XCallbacks

buildCtrOrdered

default 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

buildCtrOrdered

default 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

buildCtrOrdered

default 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

buildCtrLex

default void buildCtrLex(String id,
                         XVariables.XVarInteger[] list,
                         int[] limit,
                         Types.TypeOperatorRel operator)

Specified by:

buildCtrLex in interface XCallbacks

buildCtrLex

default 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

buildCtrLexMatrix

default 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

buildCtrPrecedence

default void buildCtrPrecedence(String id,
                                XVariables.XVarInteger[] list)

Specified by:

buildCtrPrecedence in interface XCallbacks

buildCtrPrecedence

default void buildCtrPrecedence(String id,
                                XVariables.XVarInteger[] list,
                                int[] values,
                                boolean covered)

Specified by:

buildCtrPrecedence in interface XCallbacks

buildCtrSum

default 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

buildCtrSum

default 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

buildCtrSum

default 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

buildCtrSum

default void buildCtrSum(String id,
                         XNode<XVariables.XVarInteger>[] trees,
                         Condition condition)

Specified by:

buildCtrSum in interface XCallbacks

buildCtrSum

default void buildCtrSum(String id,
                         XNode<XVariables.XVarInteger>[] trees,
                         int[] coeffs,
                         Condition condition)

Specified by:

buildCtrSum in interface XCallbacks

buildCtrSum

default void buildCtrSum(String id,
                         XNode<XVariables.XVarInteger>[] trees,
                         XVariables.XVarInteger[] coeffs,
                         Condition condition)

Specified by:

buildCtrSum in interface XCallbacks

buildCtrCount

default 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

buildCtrCount

default void buildCtrCount(String id,
                           XNode<XVariables.XVarInteger>[] trees,
                           int[] values,
                           Condition condition)

Specified by:

buildCtrCount in interface XCallbacks

buildCtrCount

default 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

buildCtrAtLeast

default void buildCtrAtLeast(String id,
                             XVariables.XVarInteger[] list,
                             int value,
                             int k)

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:

buildCtrAtLeast in interface XCallbacks

buildCtrAtMost

default void buildCtrAtMost(String id,
                            XVariables.XVarInteger[] list,
                            int value,
                            int k)

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:

buildCtrAtMost in interface XCallbacks

buildCtrExactly

default void buildCtrExactly(String id,
                             XVariables.XVarInteger[] list,
                             int value,
                             int k)

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:

buildCtrExactly in interface XCallbacks

buildCtrExactly

default void buildCtrExactly(String id,
                             XVariables.XVarInteger[] list,
                             int value,
                             XVariables.XVarInteger k)

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:

buildCtrExactly in interface XCallbacks

buildCtrAmong

default void buildCtrAmong(String id,
                           XVariables.XVarInteger[] list,
                           int[] values,
                           int k)

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:

buildCtrAmong in interface XCallbacks

buildCtrAmong

default void buildCtrAmong(String id,
                           XVariables.XVarInteger[] list,
                           int[] values,
                           XVariables.XVarInteger k)

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:

buildCtrAmong in interface XCallbacks

buildCtrNValues

default 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

buildCtrNValuesExcept

default 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

buildCtrNValues

default void buildCtrNValues(String id,
                             XNode<XVariables.XVarInteger>[] trees,
                             Condition condition)

Specified by:

buildCtrNValues in interface XCallbacks

buildCtrNotAllEqual

default void buildCtrNotAllEqual(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:

buildCtrNotAllEqual in interface XCallbacks

buildCtrCardinality

default 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

buildCtrCardinality

default 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

buildCtrCardinality

default 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

buildCtrCardinality

default 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

buildCtrCardinality

default 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

buildCtrCardinality

default 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

buildCtrMaximum

default 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

buildCtrMaximum

default 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

buildCtrMaximum

default void buildCtrMaximum(String id,
                             XNode<XVariables.XVarInteger>[] trees,
                             Condition condition)

Specified by:

buildCtrMaximum in interface XCallbacks

buildCtrMinimum

default 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

buildCtrMinimum

default 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

buildCtrMinimum

default void buildCtrMinimum(String id,
                             XNode<XVariables.XVarInteger>[] trees,
                             Condition condition)

Specified by:

buildCtrMinimum in interface XCallbacks

buildCtrMaximumArg

default void buildCtrMaximumArg(String id,
                                XVariables.XVarInteger[] list,
                                Types.TypeRank rank,
                                Condition condition)

Specified by:

buildCtrMaximumArg in interface XCallbacks

buildCtrMaximumArg

default void buildCtrMaximumArg(String id,
                                XNode<XVariables.XVarInteger>[] trees,
                                Types.TypeRank rank,
                                Condition condition)

Specified by:

buildCtrMaximumArg in interface XCallbacks

buildCtrMinimumArg

default void buildCtrMinimumArg(String id,
                                XVariables.XVarInteger[] list,
                                Types.TypeRank rank,
                                Condition condition)

Specified by:

buildCtrMinimumArg in interface XCallbacks

buildCtrMinimumArg

default void buildCtrMinimumArg(String id,
                                XNode<XVariables.XVarInteger>[] trees,
                                Types.TypeRank rank,
                                Condition condition)

Specified by:

buildCtrMinimumArg in interface XCallbacks

buildCtrElement

default void buildCtrElement(String id,
                             XVariables.XVarInteger[] list,
                             Condition condition)

Specified by:

buildCtrElement in interface XCallbacks

buildCtrElement

default void buildCtrElement(String id,
                             XVariables.XVarInteger[] list,
                             int startIndex,
                             XVariables.XVarInteger index,
                             Types.TypeRank rank,
                             Condition condition)

Specified by:

buildCtrElement in interface XCallbacks

buildCtrElement

default void buildCtrElement(String id,
                             int[] list,
                             int startIndex,
                             XVariables.XVarInteger index,
                             Types.TypeRank rank,
                             Condition condition)

Specified by:

buildCtrElement in interface XCallbacks

buildCtrElement

default void buildCtrElement(String id,
                             int[][] matrix,
                             int startRowIndex,
                             XVariables.XVarInteger rowIndex,
                             int startColIndex,
                             XVariables.XVarInteger colIndex,
                             Condition condition)

Specified by:

buildCtrElement in interface XCallbacks

buildCtrElement

default 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

buildCtrChannel

default 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

buildCtrChannel

default 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

buildCtrChannel

default 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

buildCtrStretch

default 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

buildCtrStretch

default 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

buildCtrNoOverlap

default 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

buildCtrNoOverlap

default 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

buildCtrNoOverlap

default 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

buildCtrNoOverlap

default 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

buildCtrNoOverlap

default void buildCtrNoOverlap(String id,
                               XVariables.XVarInteger[] xs,
                               XVariables.XVarInteger[] ys,
                               XVariables.XVarInteger[] lx,
                               int[] ly,
                               boolean zeroIgnored)

Specified by:

buildCtrNoOverlap in interface XCallbacks

buildCtrCumulative

default 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

buildCtrCumulative

default 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

buildCtrCumulative

default 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

buildCtrCumulative

default 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

buildCtrCumulative

default 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

buildCtrCumulative

default 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

buildCtrCumulative

default 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

buildCtrCumulative

default 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

buildCtrBinPacking

default void buildCtrBinPacking(String id,
                                XVariables.XVarInteger[] list,
                                int[] sizes,
                                Condition condition)

Specified by:

buildCtrBinPacking in interface XCallbacks

buildCtrBinPacking

default void buildCtrBinPacking(String id,
                                XVariables.XVarInteger[] list,
                                int[] sizes,
                                int[] capacities,
                                boolean loads)

Specified by:

buildCtrBinPacking in interface XCallbacks

buildCtrBinPacking

default void buildCtrBinPacking(String id,
                                XVariables.XVarInteger[] list,
                                int[] sizes,
                                XVariables.XVarInteger[] capacities,
                                boolean loads)

Specified by:

buildCtrBinPacking in interface XCallbacks

buildCtrBinPacking

default void buildCtrBinPacking(String id,
                                XVariables.XVarInteger[] list,
                                int[] sizes,
                                Condition[] conditions,
                                int startIndex)

Specified by:

buildCtrBinPacking in interface XCallbacks

buildCtrKnapsack

default void buildCtrKnapsack(String id,
                              XVariables.XVarInteger[] list,
                              int[] weights,
                              Condition wcondition,
                              int[] profits,
                              Condition pcondition)

Specified by:

buildCtrKnapsack in interface XCallbacks

buildCtrFlow

default void buildCtrFlow(String id,
                          XVariables.XVarInteger[] list,
                          int[] balance,
                          int[][] arcs)

Specified by:

buildCtrFlow in interface XCallbacks

buildCtrFlow

default void buildCtrFlow(String id,
                          XVariables.XVarInteger[] list,
                          int[] balance,
                          int[][] arcs,
                          int[] weights,
                          Condition condition)

Specified by:

buildCtrFlow in interface XCallbacks

buildCtrInstantiation

default 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

buildCtrClause

default 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

buildCtrCircuit

default 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

buildCtrCircuit

default 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

buildCtrCircuit

default 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

buildObjToMinimize

default void buildObjToMinimize(String id,
                                XVariables.XVarInteger x)

Methods to be implemented for managing objectives

Specified by:

buildObjToMinimize in interface XCallbacks

buildObjToMaximize

default void buildObjToMaximize(String id,
                                XVariables.XVarInteger x)

Specified by:

buildObjToMaximize in interface XCallbacks

buildObjToMinimize

default void buildObjToMinimize(String id,
                                XNodeParent<XVariables.XVarInteger> tree)

Specified by:

buildObjToMinimize in interface XCallbacks

buildObjToMaximize

default void buildObjToMaximize(String id,
                                XNodeParent<XVariables.XVarInteger> tree)

Specified by:

buildObjToMaximize in interface XCallbacks

buildObjToMinimize

default void buildObjToMinimize(String id,
                                Types.TypeObjective type,
                                XVariables.XVarInteger[] list)

Specified by:

buildObjToMinimize in interface XCallbacks

buildObjToMaximize

default void buildObjToMaximize(String id,
                                Types.TypeObjective type,
                                XVariables.XVarInteger[] list)

Specified by:

buildObjToMaximize in interface XCallbacks

buildObjToMinimize

default void buildObjToMinimize(String id,
                                Types.TypeObjective type,
                                XVariables.XVarInteger[] list,
                                int[] coeffs)

Specified by:

buildObjToMinimize in interface XCallbacks

buildObjToMaximize

default void buildObjToMaximize(String id,
                                Types.TypeObjective type,
                                XVariables.XVarInteger[] list,
                                int[] coeffs)

Specified by:

buildObjToMaximize in interface XCallbacks

buildObjToMinimize

default void buildObjToMinimize(String id,
                                Types.TypeObjective type,
                                XNode<XVariables.XVarInteger>[] trees)

Specified by:

buildObjToMinimize in interface XCallbacks

buildObjToMaximize

default void buildObjToMaximize(String id,
                                Types.TypeObjective type,
                                XNode<XVariables.XVarInteger>[] trees)

Specified by:

buildObjToMaximize in interface XCallbacks

buildObjToMinimize

default void buildObjToMinimize(String id,
                                Types.TypeObjective type,
                                XNode<XVariables.XVarInteger>[] trees,
                                int[] coeffs)

Specified by:

buildObjToMinimize in interface XCallbacks

buildObjToMaximize

default void buildObjToMaximize(String id,
                                Types.TypeObjective type,
                                XNode<XVariables.XVarInteger>[] trees,
                                int[] coeffs)

Specified by:

buildObjToMaximize in interface XCallbacks

buildVarSymbolic

default void buildVarSymbolic(XVariables.XVarSymbolic x,
                              String[] values)

Methods to be implemented on symbolic variables/constraints

Specified by:

buildVarSymbolic in interface XCallbacks

buildCtrIntension

default void buildCtrIntension(String id,
                               XVariables.XVarSymbolic[] scope,
                               XNodeParent<XVariables.XVarSymbolic> syntaxTreeRoot)

Specified by:

buildCtrIntension in interface XCallbacks

buildCtrExtension

default void buildCtrExtension(String id,
                               XVariables.XVarSymbolic x,
                               String[] values,
                               boolean positive,
                               Set<Types.TypeFlag> flags)

Specified by:

buildCtrExtension in interface XCallbacks

buildCtrExtension

default void buildCtrExtension(String id,
                               XVariables.XVarSymbolic[] list,
                               String[][] tuples,
                               boolean positive,
                               Set<Types.TypeFlag> flags)

Specified by:

buildCtrExtension in interface XCallbacks

buildCtrAllDifferent

default void buildCtrAllDifferent(String id,
                                  XVariables.XVarSymbolic[] list)

Specified by:

buildCtrAllDifferent in interface XCallbacks

buildAnnotationDecision

default void buildAnnotationDecision(XVariables.XVarInteger[] list)

Methods to be implemented on Annotations

Specified by:

buildAnnotationDecision in interface XCallbacks

buildAnnotationValHeuristicStatic

default void buildAnnotationValHeuristicStatic(XVariables.XVarInteger[] list,
                                               int[] order)

Specified by:

buildAnnotationValHeuristicStatic in interface XCallbacks