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
All Methods Instance Methods Default Methods Modifier and Type Method Description default void
beginAnnotations(Map<String,Object> 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 Momentsdefault 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 Annotationsdefault 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 constraintallEqual
.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 constraintintension
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
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 variablesdefault 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 variablesdefault 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 objectivesdefault 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/constraintsdefault 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, 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 interfaceXCallbacks
- 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 interfaceXCallbacks
-
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 interfaceXCallbacks
- 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 interfaceXCallbacks
-
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 interfaceXCallbacks
- 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 interfaceXCallbacks
- 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 interfaceXCallbacks
- 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 interfaceXCallbacks
-
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 interfaceXCallbacks
- 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 interfaceXCallbacks
- 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 interfaceXCallbacks
- 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 interfaceXCallbacks
- 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 interfaceXCallbacks
- 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 interfaceXCallbacks
- 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 interfaceXCallbacks
- 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 interfaceXCallbacks
- 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 interfaceXCallbacks
- Parameters:
oEntries
- the list of objects found intype
- 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 interfaceXCallbacks
-
beginAnnotations
default void beginAnnotations(Map<String,Object> aEntries)
- Specified by:
beginAnnotations
in interfaceXCallbacks
-
endAnnotations
default void endAnnotations()
- Specified by:
endAnnotations
in interfaceXCallbacks
-
unimplementedCase
default Object unimplementedCase(Object... objects)
Methods to be implemented on integer variables/constraints- Specified by:
unimplementedCase
in interfaceXCallbacks
- 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 interfaceXCallbacks
- Parameters:
x
- an integer variable built by the parserminValue
- the minimum value of the domain of xmaxValue
- 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 interfaceXCallbacks
- Parameters:
x
- an integer variable built by the parservalues
- 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 constraintintension
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 interfaceXCallbacks
- Parameters:
id
- the id of the constraintscope
- the list of integer variables of the constrainttree
- 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
- Specified by:
buildCtrPrimitive
in interfaceXCallbacks
- Parameters:
id
- the id of the constraintx
- an integer variableop
- a relational operatork
- 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
- Specified by:
buildCtrPrimitive
in interfaceXCallbacks
- Parameters:
id
- the id of the constraintx
- an integer variableop
- a set operatort
- 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
- Specified by:
buildCtrPrimitive
in interfaceXCallbacks
- Parameters:
id
- the id of the constraintx
- an integer variableop
- a set operatormin
- the minimum value of the intervalmax
- 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
- Specified by:
buildCtrPrimitive
in interfaceXCallbacks
- Parameters:
id
- the id of the constraintx
- an integer variableaop
- an arithmetic operatorp
- a constant (integer)op
- a relational operatork
- 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
- Specified by:
buildCtrPrimitive
in interfaceXCallbacks
- Parameters:
id
- the id of the constraintx
- an integer variableaop
- a unary arithmetic operatory
- 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
- Specified by:
buildCtrPrimitive
in interfaceXCallbacks
- Parameters:
id
- the id of the constraintx
- an integer variableaop
- an arithmetic operatory
- an integer variableop
- a relational operatork
- 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
- Specified by:
buildCtrPrimitive
in interfaceXCallbacks
- Parameters:
id
- the id of the constraintx
- an integer variableaop
- an arithmetic operatorp
- a constant (integer)op
- a relational operatory
- 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
- Specified by:
buildCtrPrimitive
in interfaceXCallbacks
- Parameters:
id
- the id of the constraintx
- an integer variableaop
- an arithmetic operatory
- an integer variableop
- a relational operatorz
- 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)
- Specified by:
buildCtrLogic
in interfaceXCallbacks
- Parameters:
id
- the id of the constraintop
- a logical operatorvars
- 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)
- Specified by:
buildCtrLogic
in interfaceXCallbacks
- Parameters:
id
- the id of the constraintx
- a 0/1 variableop
- either the operator EQ or the operator NElop
- a logical operatorvars
- 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)
- Specified by:
buildCtrLogic
in interfaceXCallbacks
- Parameters:
id
- the id of the constraintx
- a 0/1 variabley
- an integer variableop
- a relational operatork
- 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)
- Specified by:
buildCtrLogic
in interfaceXCallbacks
- Parameters:
id
- the id of the constraintx
- a 0/1 variabley
- an integer variableop
- a relational operatorz
- 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 interfaceXCallbacks
- Parameters:
id
- the id of the constraintx
- an integer variablevalues
- supports or conflictspositive
- values are supports iff this value is trueflags
- 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 interfaceXCallbacks
- Parameters:
id
- the id of the constraintlist
- the scope of the constrainttuples
- supports or conflictspositive
- tuples are supports iff this value is trueflags
- 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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
buildCtrAllDifferentList
default void buildCtrAllDifferentList(String id, XVariables.XVarInteger[][] lists, int[][] except)
- Specified by:
buildCtrAllDifferentList
in interfaceXCallbacks
-
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 interfaceXCallbacks
-
buildCtrAllDifferentMatrix
default void buildCtrAllDifferentMatrix(String id, XVariables.XVarInteger[][] matrix, int[] except)
- Specified by:
buildCtrAllDifferentMatrix
in interfaceXCallbacks
-
buildCtrAllDifferent
default void buildCtrAllDifferent(String id, XNode<XVariables.XVarInteger>[] trees)
- Specified by:
buildCtrAllDifferent
in interfaceXCallbacks
-
buildCtrAllEqual
default void buildCtrAllEqual(String id, XVariables.XVarInteger[] list)
Description copied from interface:XCallbacks
Callback method for building a constraintallEqual
.- Specified by:
buildCtrAllEqual
in interfaceXCallbacks
- Parameters:
id
- the id of the constraintlist
- the list of variables of the constraint
-
buildCtrAllEqual
default void buildCtrAllEqual(String id, XNode<XVariables.XVarInteger>[] trees)
- Specified by:
buildCtrAllEqual
in interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
buildCtrPrecedence
default void buildCtrPrecedence(String id, XVariables.XVarInteger[] list)
- Specified by:
buildCtrPrecedence
in interfaceXCallbacks
-
buildCtrPrecedence
default void buildCtrPrecedence(String id, XVariables.XVarInteger[] list, int[] values, boolean covered)
- Specified by:
buildCtrPrecedence
in interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
buildCtrSum
default void buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
- Specified by:
buildCtrSum
in interfaceXCallbacks
-
buildCtrSum
default void buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, int[] coeffs, Condition condition)
- Specified by:
buildCtrSum
in interfaceXCallbacks
-
buildCtrSum
default void buildCtrSum(String id, XNode<XVariables.XVarInteger>[] trees, XVariables.XVarInteger[] coeffs, Condition condition)
- Specified by:
buildCtrSum
in interfaceXCallbacks
-
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 interfaceXCallbacks
-
buildCtrCount
default void buildCtrCount(String id, XNode<XVariables.XVarInteger>[] trees, int[] values, Condition condition)
- Specified by:
buildCtrCount
in interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
buildCtrNValues
default void buildCtrNValues(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
- Specified by:
buildCtrNValues
in interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
buildCtrMaximum
default void buildCtrMaximum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
- Specified by:
buildCtrMaximum
in interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
buildCtrMinimum
default void buildCtrMinimum(String id, XNode<XVariables.XVarInteger>[] trees, Condition condition)
- Specified by:
buildCtrMinimum
in interfaceXCallbacks
-
buildCtrMaximumArg
default void buildCtrMaximumArg(String id, XVariables.XVarInteger[] list, Types.TypeRank rank, Condition condition)
- Specified by:
buildCtrMaximumArg
in interfaceXCallbacks
-
buildCtrMaximumArg
default void buildCtrMaximumArg(String id, XNode<XVariables.XVarInteger>[] trees, Types.TypeRank rank, Condition condition)
- Specified by:
buildCtrMaximumArg
in interfaceXCallbacks
-
buildCtrMinimumArg
default void buildCtrMinimumArg(String id, XVariables.XVarInteger[] list, Types.TypeRank rank, Condition condition)
- Specified by:
buildCtrMinimumArg
in interfaceXCallbacks
-
buildCtrMinimumArg
default void buildCtrMinimumArg(String id, XNode<XVariables.XVarInteger>[] trees, Types.TypeRank rank, Condition condition)
- Specified by:
buildCtrMinimumArg
in interfaceXCallbacks
-
buildCtrElement
default void buildCtrElement(String id, XVariables.XVarInteger[] list, Condition condition)
- Specified by:
buildCtrElement
in interfaceXCallbacks
-
buildCtrElement
default void buildCtrElement(String id, XVariables.XVarInteger[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)
- Specified by:
buildCtrElement
in interfaceXCallbacks
-
buildCtrElement
default void buildCtrElement(String id, int[] list, int startIndex, XVariables.XVarInteger index, Types.TypeRank rank, Condition condition)
- Specified by:
buildCtrElement
in interfaceXCallbacks
-
buildCtrElement
default void buildCtrElement(String id, int[][] matrix, int startRowIndex, XVariables.XVarInteger rowIndex, int startColIndex, XVariables.XVarInteger colIndex, Condition condition)
- Specified by:
buildCtrElement
in interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
buildCtrNoOverlap
default void buildCtrNoOverlap(String id, XVariables.XVarInteger[] xs, XVariables.XVarInteger[] ys, XVariables.XVarInteger[] lx, int[] ly, boolean zeroIgnored)
- Specified by:
buildCtrNoOverlap
in interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
buildCtrBinPacking
default void buildCtrBinPacking(String id, XVariables.XVarInteger[] list, int[] sizes, Condition condition)
- Specified by:
buildCtrBinPacking
in interfaceXCallbacks
-
buildCtrBinPacking
default void buildCtrBinPacking(String id, XVariables.XVarInteger[] list, int[] sizes, int[] capacities, boolean loads)
- Specified by:
buildCtrBinPacking
in interfaceXCallbacks
-
buildCtrBinPacking
default void buildCtrBinPacking(String id, XVariables.XVarInteger[] list, int[] sizes, XVariables.XVarInteger[] capacities, boolean loads)
- Specified by:
buildCtrBinPacking
in interfaceXCallbacks
-
buildCtrBinPacking
default void buildCtrBinPacking(String id, XVariables.XVarInteger[] list, int[] sizes, Condition[] conditions, int startIndex)
- Specified by:
buildCtrBinPacking
in interfaceXCallbacks
-
buildCtrKnapsack
default void buildCtrKnapsack(String id, XVariables.XVarInteger[] list, int[] weights, Condition wcondition, int[] profits, Condition pcondition)
- Specified by:
buildCtrKnapsack
in interfaceXCallbacks
-
buildCtrFlow
default void buildCtrFlow(String id, XVariables.XVarInteger[] list, int[] balance, int[][] arcs)
- Specified by:
buildCtrFlow
in interfaceXCallbacks
-
buildCtrFlow
default void buildCtrFlow(String id, XVariables.XVarInteger[] list, int[] balance, int[][] arcs, int[] weights, Condition condition)
- Specified by:
buildCtrFlow
in interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
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 interfaceXCallbacks
-
buildObjToMinimize
default void buildObjToMinimize(String id, XVariables.XVarInteger x)
Methods to be implemented for managing objectives- Specified by:
buildObjToMinimize
in interfaceXCallbacks
-
buildObjToMaximize
default void buildObjToMaximize(String id, XVariables.XVarInteger x)
- Specified by:
buildObjToMaximize
in interfaceXCallbacks
-
buildObjToMinimize
default void buildObjToMinimize(String id, XNodeParent<XVariables.XVarInteger> tree)
- Specified by:
buildObjToMinimize
in interfaceXCallbacks
-
buildObjToMaximize
default void buildObjToMaximize(String id, XNodeParent<XVariables.XVarInteger> tree)
- Specified by:
buildObjToMaximize
in interfaceXCallbacks
-
buildObjToMinimize
default void buildObjToMinimize(String id, Types.TypeObjective type, XVariables.XVarInteger[] list)
- Specified by:
buildObjToMinimize
in interfaceXCallbacks
-
buildObjToMaximize
default void buildObjToMaximize(String id, Types.TypeObjective type, XVariables.XVarInteger[] list)
- Specified by:
buildObjToMaximize
in interfaceXCallbacks
-
buildObjToMinimize
default void buildObjToMinimize(String id, Types.TypeObjective type, XVariables.XVarInteger[] list, int[] coeffs)
- Specified by:
buildObjToMinimize
in interfaceXCallbacks
-
buildObjToMaximize
default void buildObjToMaximize(String id, Types.TypeObjective type, XVariables.XVarInteger[] list, int[] coeffs)
- Specified by:
buildObjToMaximize
in interfaceXCallbacks
-
buildObjToMinimize
default void buildObjToMinimize(String id, Types.TypeObjective type, XNode<XVariables.XVarInteger>[] trees)
- Specified by:
buildObjToMinimize
in interfaceXCallbacks
-
buildObjToMaximize
default void buildObjToMaximize(String id, Types.TypeObjective type, XNode<XVariables.XVarInteger>[] trees)
- Specified by:
buildObjToMaximize
in interfaceXCallbacks
-
buildObjToMinimize
default void buildObjToMinimize(String id, Types.TypeObjective type, XNode<XVariables.XVarInteger>[] trees, int[] coeffs)
- Specified by:
buildObjToMinimize
in interfaceXCallbacks
-
buildObjToMaximize
default void buildObjToMaximize(String id, Types.TypeObjective type, XNode<XVariables.XVarInteger>[] trees, int[] coeffs)
- Specified by:
buildObjToMaximize
in interfaceXCallbacks
-
buildVarSymbolic
default void buildVarSymbolic(XVariables.XVarSymbolic x, String[] values)
Methods to be implemented on symbolic variables/constraints- Specified by:
buildVarSymbolic
in interfaceXCallbacks
-
buildCtrIntension
default void buildCtrIntension(String id, XVariables.XVarSymbolic[] scope, XNodeParent<XVariables.XVarSymbolic> syntaxTreeRoot)
- Specified by:
buildCtrIntension
in interfaceXCallbacks
-
buildCtrExtension
default void buildCtrExtension(String id, XVariables.XVarSymbolic x, String[] values, boolean positive, Set<Types.TypeFlag> flags)
- Specified by:
buildCtrExtension
in interfaceXCallbacks
-
buildCtrExtension
default void buildCtrExtension(String id, XVariables.XVarSymbolic[] list, String[][] tuples, boolean positive, Set<Types.TypeFlag> flags)
- Specified by:
buildCtrExtension
in interfaceXCallbacks
-
buildCtrAllDifferent
default void buildCtrAllDifferent(String id, XVariables.XVarSymbolic[] list)
- Specified by:
buildCtrAllDifferent
in interfaceXCallbacks
-
buildAnnotationDecision
default void buildAnnotationDecision(XVariables.XVarInteger[] list)
Methods to be implemented on Annotations- Specified by:
buildAnnotationDecision
in interfaceXCallbacks
-
-