void |
XCallbacks.buildAnnotationDecision(XVariables.XVarInteger[] list) |
Methods to be implemented on Annotations
|
default void |
XCallbacks2.buildAnnotationDecision(XVariables.XVarInteger[] list) |
Methods to be implemented on Annotations
|
void |
CompetitionValidator.buildCtrAllDifferent(String id,
XVariables.XVarInteger[] list) |
|
void |
SolutionChecker.buildCtrAllDifferent(String id,
XVariables.XVarInteger[] list) |
|
void |
XCallbacks.buildCtrAllDifferent(String id,
XVariables.XVarInteger[] list) |
|
default void |
XCallbacks2.buildCtrAllDifferent(String id,
XVariables.XVarInteger[] list) |
|
void |
CompetitionValidator.buildCtrAllDifferentExcept(String id,
XVariables.XVarInteger[] list,
int[] except) |
|
void |
SolutionChecker.buildCtrAllDifferentExcept(String id,
XVariables.XVarInteger[] list,
int[] except) |
|
void |
XCallbacks.buildCtrAllDifferentExcept(String id,
XVariables.XVarInteger[] list,
int[] except) |
|
default void |
XCallbacks2.buildCtrAllDifferentExcept(String id,
XVariables.XVarInteger[] list,
int[] except) |
|
void |
CompetitionValidator.buildCtrAllDifferentList(String id,
XVariables.XVarInteger[][] lists) |
|
void |
SolutionChecker.buildCtrAllDifferentList(String id,
XVariables.XVarInteger[][] lists) |
|
void |
XCallbacks.buildCtrAllDifferentList(String id,
XVariables.XVarInteger[][] lists) |
|
default void |
XCallbacks2.buildCtrAllDifferentList(String id,
XVariables.XVarInteger[][] lists) |
|
void |
CompetitionValidator.buildCtrAllDifferentMatrix(String id,
XVariables.XVarInteger[][] matrix) |
|
void |
SolutionChecker.buildCtrAllDifferentMatrix(String id,
XVariables.XVarInteger[][] matrix) |
|
void |
XCallbacks.buildCtrAllDifferentMatrix(String id,
XVariables.XVarInteger[][] matrix) |
|
default void |
XCallbacks2.buildCtrAllDifferentMatrix(String id,
XVariables.XVarInteger[][] matrix) |
|
void |
CompetitionValidator.buildCtrAllEqual(String id,
XVariables.XVarInteger[] list) |
|
void |
SolutionChecker.buildCtrAllEqual(String id,
XVariables.XVarInteger[] list) |
|
void |
XCallbacks.buildCtrAllEqual(String id,
XVariables.XVarInteger[] list) |
Callback method for building a constraint allEqual .
|
default void |
XCallbacks2.buildCtrAllEqual(String id,
XVariables.XVarInteger[] list) |
|
void |
XCallbacks.buildCtrAmong(String id,
XVariables.XVarInteger[] list,
int[] values,
int k) |
|
void |
XCallbacks.buildCtrAmong(String id,
XVariables.XVarInteger[] list,
int[] values,
XVariables.XVarInteger k) |
|
default void |
XCallbacks2.buildCtrAmong(String id,
XVariables.XVarInteger[] list,
int[] values,
int k) |
|
default void |
XCallbacks2.buildCtrAmong(String id,
XVariables.XVarInteger[] list,
int[] values,
XVariables.XVarInteger k) |
|
void |
XCallbacks.buildCtrAtLeast(String id,
XVariables.XVarInteger[] list,
int value,
int k) |
|
default void |
XCallbacks2.buildCtrAtLeast(String id,
XVariables.XVarInteger[] list,
int value,
int k) |
|
void |
XCallbacks.buildCtrAtMost(String id,
XVariables.XVarInteger[] list,
int value,
int k) |
|
default void |
XCallbacks2.buildCtrAtMost(String id,
XVariables.XVarInteger[] list,
int value,
int k) |
|
void |
CompetitionValidator.buildCtrBinPacking(String id,
XVariables.XVarInteger[] list,
int[] sizes,
Condition condition) |
|
void |
CompetitionValidator.buildCtrBinPacking(String id,
XVariables.XVarInteger[] list,
int[] sizes,
Condition[] conditions,
int startIndex) |
|
void |
SolutionChecker.buildCtrBinPacking(String id,
XVariables.XVarInteger[] list,
int[] sizes,
Condition condition) |
|
void |
SolutionChecker.buildCtrBinPacking(String id,
XVariables.XVarInteger[] list,
int[] sizes,
Condition[] conditions,
int startIndex) |
|
void |
XCallbacks.buildCtrBinPacking(String id,
XVariables.XVarInteger[] list,
int[] sizes,
Condition condition) |
|
void |
XCallbacks.buildCtrBinPacking(String id,
XVariables.XVarInteger[] list,
int[] sizes,
Condition[] conditions,
int startIndex) |
|
default void |
XCallbacks2.buildCtrBinPacking(String id,
XVariables.XVarInteger[] list,
int[] sizes,
Condition condition) |
|
default void |
XCallbacks2.buildCtrBinPacking(String id,
XVariables.XVarInteger[] list,
int[] sizes,
Condition[] conditions,
int startIndex) |
|
void |
CompetitionValidator.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
int[] values,
int[] occurs) |
|
void |
CompetitionValidator.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
int[] values,
int[] occursMin,
int[] occursMax) |
|
void |
CompetitionValidator.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
int[] values,
XVariables.XVarInteger[] occurs) |
|
void |
CompetitionValidator.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
XVariables.XVarInteger[] values,
int[] occurs) |
|
void |
CompetitionValidator.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
XVariables.XVarInteger[] values,
int[] occursMin,
int[] occursMax) |
|
void |
CompetitionValidator.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
XVariables.XVarInteger[] values,
XVariables.XVarInteger[] occurs) |
|
void |
SolutionChecker.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
int[] values,
int[] occurs) |
|
void |
SolutionChecker.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
int[] values,
int[] occursMin,
int[] occursMax) |
|
void |
SolutionChecker.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
int[] values,
XVariables.XVarInteger[] occurs) |
|
void |
SolutionChecker.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
XVariables.XVarInteger[] values,
int[] occurs) |
|
void |
SolutionChecker.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
XVariables.XVarInteger[] values,
int[] occursMin,
int[] occursMax) |
|
void |
SolutionChecker.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
XVariables.XVarInteger[] values,
XVariables.XVarInteger[] occurs) |
|
void |
XCallbacks.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
int[] values,
int[] occurs) |
|
void |
XCallbacks.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
int[] values,
int[] occursMin,
int[] occursMax) |
|
void |
XCallbacks.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
int[] values,
XVariables.XVarInteger[] occurs) |
|
void |
XCallbacks.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
XVariables.XVarInteger[] values,
int[] occurs) |
|
void |
XCallbacks.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
XVariables.XVarInteger[] values,
int[] occursMin,
int[] occursMax) |
|
void |
XCallbacks.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
XVariables.XVarInteger[] values,
XVariables.XVarInteger[] occurs) |
|
default void |
XCallbacks2.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
int[] values,
int[] occurs) |
|
default void |
XCallbacks2.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
int[] values,
int[] occursMin,
int[] occursMax) |
|
default void |
XCallbacks2.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
int[] values,
XVariables.XVarInteger[] occurs) |
|
default void |
XCallbacks2.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
XVariables.XVarInteger[] values,
int[] occurs) |
|
default void |
XCallbacks2.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
XVariables.XVarInteger[] values,
int[] occursMin,
int[] occursMax) |
|
default void |
XCallbacks2.buildCtrCardinality(String id,
XVariables.XVarInteger[] list,
boolean closed,
XVariables.XVarInteger[] values,
XVariables.XVarInteger[] occurs) |
|
void |
CompetitionValidator.buildCtrChannel(String id,
XVariables.XVarInteger[] list,
int startIndex) |
|
void |
CompetitionValidator.buildCtrChannel(String id,
XVariables.XVarInteger[] list,
int startIndex,
XVariables.XVarInteger value) |
|
void |
CompetitionValidator.buildCtrChannel(String id,
XVariables.XVarInteger[] list1,
int startIndex1,
XVariables.XVarInteger[] list2,
int startIndex2) |
|
void |
SolutionChecker.buildCtrChannel(String id,
XVariables.XVarInteger[] list,
int startIndex) |
|
void |
SolutionChecker.buildCtrChannel(String id,
XVariables.XVarInteger[] list,
int startIndex,
XVariables.XVarInteger value) |
|
void |
SolutionChecker.buildCtrChannel(String id,
XVariables.XVarInteger[] list1,
int startIndex1,
XVariables.XVarInteger[] list2,
int startIndex2) |
|
void |
XCallbacks.buildCtrChannel(String id,
XVariables.XVarInteger[] list,
int startIndex) |
|
void |
XCallbacks.buildCtrChannel(String id,
XVariables.XVarInteger[] list,
int startIndex,
XVariables.XVarInteger value) |
|
void |
XCallbacks.buildCtrChannel(String id,
XVariables.XVarInteger[] list1,
int startIndex1,
XVariables.XVarInteger[] list2,
int startIndex2) |
|
default void |
XCallbacks2.buildCtrChannel(String id,
XVariables.XVarInteger[] list,
int startIndex) |
|
default void |
XCallbacks2.buildCtrChannel(String id,
XVariables.XVarInteger[] list,
int startIndex,
XVariables.XVarInteger value) |
|
default void |
XCallbacks2.buildCtrChannel(String id,
XVariables.XVarInteger[] list1,
int startIndex1,
XVariables.XVarInteger[] list2,
int startIndex2) |
|
void |
CompetitionValidator.buildCtrCircuit(String id,
XVariables.XVarInteger[] list,
int startIndex) |
|
void |
CompetitionValidator.buildCtrCircuit(String id,
XVariables.XVarInteger[] list,
int startIndex,
int size) |
|
void |
CompetitionValidator.buildCtrCircuit(String id,
XVariables.XVarInteger[] list,
int startIndex,
XVariables.XVarInteger size) |
|
void |
SolutionChecker.buildCtrCircuit(String id,
XVariables.XVarInteger[] list,
int startIndex) |
|
void |
SolutionChecker.buildCtrCircuit(String id,
XVariables.XVarInteger[] list,
int startIndex,
int size) |
|
void |
SolutionChecker.buildCtrCircuit(String id,
XVariables.XVarInteger[] list,
int startIndex,
XVariables.XVarInteger size) |
|
void |
XCallbacks.buildCtrCircuit(String id,
XVariables.XVarInteger[] list,
int startIndex) |
|
void |
XCallbacks.buildCtrCircuit(String id,
XVariables.XVarInteger[] list,
int startIndex,
int size) |
|
void |
XCallbacks.buildCtrCircuit(String id,
XVariables.XVarInteger[] list,
int startIndex,
XVariables.XVarInteger size) |
|
default void |
XCallbacks2.buildCtrCircuit(String id,
XVariables.XVarInteger[] list,
int startIndex) |
|
default void |
XCallbacks2.buildCtrCircuit(String id,
XVariables.XVarInteger[] list,
int startIndex,
int size) |
|
default void |
XCallbacks2.buildCtrCircuit(String id,
XVariables.XVarInteger[] list,
int startIndex,
XVariables.XVarInteger size) |
|
void |
SolutionChecker.buildCtrClause(String id,
XVariables.XVarInteger[] pos,
XVariables.XVarInteger[] neg) |
|
void |
XCallbacks.buildCtrClause(String id,
XVariables.XVarInteger[] pos,
XVariables.XVarInteger[] neg) |
|
default void |
XCallbacks2.buildCtrClause(String id,
XVariables.XVarInteger[] pos,
XVariables.XVarInteger[] neg) |
|
void |
CompetitionValidator.buildCtrCount(String id,
XVariables.XVarInteger[] list,
int[] values,
Condition condition) |
|
void |
CompetitionValidator.buildCtrCount(String id,
XVariables.XVarInteger[] list,
XVariables.XVarInteger[] values,
Condition condition) |
|
void |
SolutionChecker.buildCtrCount(String id,
XVariables.XVarInteger[] list,
int[] values,
Condition condition) |
|
void |
SolutionChecker.buildCtrCount(String id,
XVariables.XVarInteger[] list,
XVariables.XVarInteger[] values,
Condition condition) |
|
void |
XCallbacks.buildCtrCount(String id,
XVariables.XVarInteger[] list,
int[] values,
Condition condition) |
|
void |
XCallbacks.buildCtrCount(String id,
XVariables.XVarInteger[] list,
XVariables.XVarInteger[] values,
Condition condition) |
|
default void |
XCallbacks2.buildCtrCount(String id,
XVariables.XVarInteger[] list,
int[] values,
Condition condition) |
|
default void |
XCallbacks2.buildCtrCount(String id,
XVariables.XVarInteger[] list,
XVariables.XVarInteger[] values,
Condition condition) |
|
void |
CompetitionValidator.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
int[] lengths,
int[] heights,
Condition condition) |
|
void |
CompetitionValidator.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
int[] lengths,
XVariables.XVarInteger[] ends,
int[] heights,
Condition condition) |
|
void |
CompetitionValidator.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
int[] lengths,
XVariables.XVarInteger[] heights,
Condition condition) |
|
void |
CompetitionValidator.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
int[] lengths,
XVariables.XVarInteger[] ends,
XVariables.XVarInteger[] heights,
Condition condition) |
|
void |
CompetitionValidator.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
XVariables.XVarInteger[] lengths,
int[] heights,
Condition condition) |
|
void |
CompetitionValidator.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
XVariables.XVarInteger[] lengths,
XVariables.XVarInteger[] ends,
int[] heights,
Condition condition) |
|
void |
CompetitionValidator.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
XVariables.XVarInteger[] lengths,
XVariables.XVarInteger[] heights,
Condition condition) |
|
void |
CompetitionValidator.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
XVariables.XVarInteger[] lengths,
XVariables.XVarInteger[] ends,
XVariables.XVarInteger[] heights,
Condition condition) |
|
void |
SolutionChecker.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
int[] lengths,
int[] heights,
Condition condition) |
|
void |
SolutionChecker.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
int[] lengths,
XVariables.XVarInteger[] ends,
int[] heights,
Condition condition) |
|
void |
SolutionChecker.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
int[] lengths,
XVariables.XVarInteger[] heights,
Condition condition) |
|
void |
SolutionChecker.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
int[] lengths,
XVariables.XVarInteger[] ends,
XVariables.XVarInteger[] heights,
Condition condition) |
|
void |
SolutionChecker.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
XVariables.XVarInteger[] lengths,
int[] heights,
Condition condition) |
|
void |
SolutionChecker.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
XVariables.XVarInteger[] lengths,
XVariables.XVarInteger[] ends,
int[] heights,
Condition condition) |
|
void |
SolutionChecker.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
XVariables.XVarInteger[] lengths,
XVariables.XVarInteger[] heights,
Condition condition) |
|
void |
SolutionChecker.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
XVariables.XVarInteger[] lengths,
XVariables.XVarInteger[] ends,
XVariables.XVarInteger[] heights,
Condition condition) |
|
void |
XCallbacks.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
int[] lengths,
int[] heights,
Condition condition) |
|
void |
XCallbacks.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
int[] lengths,
XVariables.XVarInteger[] ends,
int[] heights,
Condition condition) |
|
void |
XCallbacks.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
int[] lengths,
XVariables.XVarInteger[] heights,
Condition condition) |
|
void |
XCallbacks.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
int[] lengths,
XVariables.XVarInteger[] ends,
XVariables.XVarInteger[] heights,
Condition condition) |
|
void |
XCallbacks.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
XVariables.XVarInteger[] lengths,
int[] heights,
Condition condition) |
|
void |
XCallbacks.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
XVariables.XVarInteger[] lengths,
XVariables.XVarInteger[] ends,
int[] heights,
Condition condition) |
|
void |
XCallbacks.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
XVariables.XVarInteger[] lengths,
XVariables.XVarInteger[] heights,
Condition condition) |
|
void |
XCallbacks.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
XVariables.XVarInteger[] lengths,
XVariables.XVarInteger[] ends,
XVariables.XVarInteger[] heights,
Condition condition) |
|
default void |
XCallbacks2.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
int[] lengths,
int[] heights,
Condition condition) |
|
default void |
XCallbacks2.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
int[] lengths,
XVariables.XVarInteger[] ends,
int[] heights,
Condition condition) |
|
default void |
XCallbacks2.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
int[] lengths,
XVariables.XVarInteger[] heights,
Condition condition) |
|
default void |
XCallbacks2.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
int[] lengths,
XVariables.XVarInteger[] ends,
XVariables.XVarInteger[] heights,
Condition condition) |
|
default void |
XCallbacks2.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
XVariables.XVarInteger[] lengths,
int[] heights,
Condition condition) |
|
default void |
XCallbacks2.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
XVariables.XVarInteger[] lengths,
XVariables.XVarInteger[] ends,
int[] heights,
Condition condition) |
|
default void |
XCallbacks2.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
XVariables.XVarInteger[] lengths,
XVariables.XVarInteger[] heights,
Condition condition) |
|
default void |
XCallbacks2.buildCtrCumulative(String id,
XVariables.XVarInteger[] origins,
XVariables.XVarInteger[] lengths,
XVariables.XVarInteger[] ends,
XVariables.XVarInteger[] heights,
Condition condition) |
|
void |
CompetitionValidator.buildCtrElement(String id,
int[] list,
int startIndex,
XVariables.XVarInteger index,
Types.TypeRank rank,
Condition condition) |
|
void |
CompetitionValidator.buildCtrElement(String id,
XVariables.XVarInteger[] list,
int startIndex,
XVariables.XVarInteger index,
Types.TypeRank rank,
Condition condition) |
|
void |
CompetitionValidator.buildCtrElement(String id,
XVariables.XVarInteger[] list,
Condition condition) |
|
void |
SolutionChecker.buildCtrElement(String id,
int[][] matrix,
int startRowIndex,
XVariables.XVarInteger rowIndex,
int startColIndex,
XVariables.XVarInteger colIndex,
Condition condition) |
|
void |
SolutionChecker.buildCtrElement(String id,
int[] list,
int startIndex,
XVariables.XVarInteger index,
Types.TypeRank rank,
Condition condition) |
|
void |
SolutionChecker.buildCtrElement(String id,
XVariables.XVarInteger[][] matrix,
int startRowIndex,
XVariables.XVarInteger rowIndex,
int startColIndex,
XVariables.XVarInteger colIndex,
Condition condition) |
|
void |
SolutionChecker.buildCtrElement(String id,
XVariables.XVarInteger[] list,
int startIndex,
XVariables.XVarInteger index,
Types.TypeRank rank,
Condition condition) |
|
void |
SolutionChecker.buildCtrElement(String id,
XVariables.XVarInteger[] list,
Condition condition) |
|
void |
XCallbacks.buildCtrElement(String id,
int[][] matrix,
int startRowIndex,
XVariables.XVarInteger rowIndex,
int startColIndex,
XVariables.XVarInteger colIndex,
Condition condition) |
|
void |
XCallbacks.buildCtrElement(String id,
int[] list,
int startIndex,
XVariables.XVarInteger index,
Types.TypeRank rank,
Condition condition) |
|
void |
XCallbacks.buildCtrElement(String id,
XVariables.XVarInteger[][] matrix,
int startRowIndex,
XVariables.XVarInteger rowIndex,
int startColIndex,
XVariables.XVarInteger colIndex,
Condition condition) |
|
void |
XCallbacks.buildCtrElement(String id,
XVariables.XVarInteger[] list,
int startIndex,
XVariables.XVarInteger index,
Types.TypeRank rank,
Condition condition) |
|
void |
XCallbacks.buildCtrElement(String id,
XVariables.XVarInteger[] list,
Condition condition) |
|
default void |
XCallbacks2.buildCtrElement(String id,
int[][] matrix,
int startRowIndex,
XVariables.XVarInteger rowIndex,
int startColIndex,
XVariables.XVarInteger colIndex,
Condition condition) |
|
default void |
XCallbacks2.buildCtrElement(String id,
int[] list,
int startIndex,
XVariables.XVarInteger index,
Types.TypeRank rank,
Condition condition) |
|
default void |
XCallbacks2.buildCtrElement(String id,
XVariables.XVarInteger[][] matrix,
int startRowIndex,
XVariables.XVarInteger rowIndex,
int startColIndex,
XVariables.XVarInteger colIndex,
Condition condition) |
|
default void |
XCallbacks2.buildCtrElement(String id,
XVariables.XVarInteger[] list,
int startIndex,
XVariables.XVarInteger index,
Types.TypeRank rank,
Condition condition) |
|
default void |
XCallbacks2.buildCtrElement(String id,
XVariables.XVarInteger[] list,
Condition condition) |
|
void |
XCallbacks.buildCtrExactly(String id,
XVariables.XVarInteger[] list,
int value,
int k) |
|
void |
XCallbacks.buildCtrExactly(String id,
XVariables.XVarInteger[] list,
int value,
XVariables.XVarInteger k) |
|
default void |
XCallbacks2.buildCtrExactly(String id,
XVariables.XVarInteger[] list,
int value,
int k) |
|
default void |
XCallbacks2.buildCtrExactly(String id,
XVariables.XVarInteger[] list,
int value,
XVariables.XVarInteger k) |
|
void |
CompetitionValidator.buildCtrExtension(String id,
XVariables.XVarInteger[] list,
int[][] tuples,
boolean positive,
Set<Types.TypeFlag> flags) |
|
void |
CompetitionValidator.buildCtrExtension(String id,
XVariables.XVarInteger[] list,
AbstractTuple[] tuples,
boolean positive,
Set<Types.TypeFlag> flags) |
|
void |
CompetitionValidator.buildCtrExtension(String id,
XVariables.XVarInteger x,
int[] values,
boolean positive,
Set<Types.TypeFlag> flags) |
|
void |
SolutionChecker.buildCtrExtension(String id,
XVariables.XVarInteger[] list,
int[][] tuples,
boolean positive,
Set<Types.TypeFlag> flags) |
|
void |
SolutionChecker.buildCtrExtension(String id,
XVariables.XVarInteger[] list,
AbstractTuple[] tuples,
boolean positive,
Set<Types.TypeFlag> flags) |
|
void |
SolutionChecker.buildCtrExtension(String id,
XVariables.XVarInteger x,
int[] values,
boolean positive,
Set<Types.TypeFlag> flags) |
|
void |
XCallbacks.buildCtrExtension(String id,
XVariables.XVarInteger[] list,
int[][] tuples,
boolean positive,
Set<Types.TypeFlag> flags) |
Callback method for building a (non-unary) extensional constraint.
|
void |
XCallbacks.buildCtrExtension(String id,
XVariables.XVarInteger[] list,
AbstractTuple[] tuples,
boolean positive,
Set<Types.TypeFlag> flags) |
|
void |
XCallbacks.buildCtrExtension(String id,
XVariables.XVarInteger x,
int[] values,
boolean positive,
Set<Types.TypeFlag> flags) |
Callback method for building a unary extensional constraint.
|
default void |
XCallbacks2.buildCtrExtension(String id,
XVariables.XVarInteger[] list,
int[][] tuples,
boolean positive,
Set<Types.TypeFlag> flags) |
|
default void |
XCallbacks2.buildCtrExtension(String id,
XVariables.XVarInteger[] list,
AbstractTuple[] tuples,
boolean positive,
Set<Types.TypeFlag> flags) |
|
default void |
XCallbacks2.buildCtrExtension(String id,
XVariables.XVarInteger x,
int[] values,
boolean positive,
Set<Types.TypeFlag> flags) |
|
void |
CompetitionValidator.buildCtrInstantiation(String id,
XVariables.XVarInteger[] list,
int[] values) |
|
void |
SolutionChecker.buildCtrInstantiation(String id,
XVariables.XVarInteger[] list,
int[] values) |
|
void |
XCallbacks.buildCtrInstantiation(String id,
XVariables.XVarInteger[] list,
int[] values) |
|
default void |
XCallbacks2.buildCtrInstantiation(String id,
XVariables.XVarInteger[] list,
int[] values) |
|
void |
CompetitionValidator.buildCtrIntension(String id,
XVariables.XVarInteger[] scope,
XNodeParent<XVariables.XVarInteger> tree) |
|
void |
SolutionChecker.buildCtrIntension(String id,
XVariables.XVarInteger[] scope,
XNodeParent<XVariables.XVarInteger> tree) |
|
void |
XCallbacks.buildCtrIntension(String id,
XVariables.XVarInteger[] scope,
XNodeParent<XVariables.XVarInteger> tree) |
Callback method for building a constraint intension from the specified syntactic tree.
|
default void |
XCallbacks2.buildCtrIntension(String id,
XVariables.XVarInteger[] scope,
XNodeParent<XVariables.XVarInteger> tree) |
|
void |
CompetitionValidator.buildCtrLex(String id,
XVariables.XVarInteger[][] lists,
Types.TypeOperatorRel operator) |
|
void |
SolutionChecker.buildCtrLex(String id,
XVariables.XVarInteger[][] lists,
Types.TypeOperatorRel operator) |
|
void |
XCallbacks.buildCtrLex(String id,
XVariables.XVarInteger[][] lists,
Types.TypeOperatorRel operator) |
|
default void |
XCallbacks2.buildCtrLex(String id,
XVariables.XVarInteger[][] lists,
Types.TypeOperatorRel operator) |
|
void |
CompetitionValidator.buildCtrLexMatrix(String id,
XVariables.XVarInteger[][] matrix,
Types.TypeOperatorRel operator) |
|
void |
SolutionChecker.buildCtrLexMatrix(String id,
XVariables.XVarInteger[][] matrix,
Types.TypeOperatorRel operator) |
|
void |
XCallbacks.buildCtrLexMatrix(String id,
XVariables.XVarInteger[][] matrix,
Types.TypeOperatorRel operator) |
|
default void |
XCallbacks2.buildCtrLexMatrix(String id,
XVariables.XVarInteger[][] matrix,
Types.TypeOperatorRel operator) |
|
void |
XCallbacks.buildCtrLogic(String id,
Types.TypeLogicalOperator lop,
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
|
void |
XCallbacks.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
|
void |
XCallbacks.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 {<,≤,≥,>,=,≠}
|
void |
XCallbacks.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 |
XCallbacks2.buildCtrLogic(String id,
Types.TypeLogicalOperator op,
XVariables.XVarInteger[] vars) |
|
default void |
XCallbacks2.buildCtrLogic(String id,
XVariables.XVarInteger x,
Types.TypeEqNeOperator op,
Types.TypeLogicalOperator lop,
XVariables.XVarInteger[] vars) |
|
default void |
XCallbacks2.buildCtrLogic(String id,
XVariables.XVarInteger x,
XVariables.XVarInteger y,
Types.TypeConditionOperatorRel op,
int k) |
|
default void |
XCallbacks2.buildCtrLogic(String id,
XVariables.XVarInteger x,
XVariables.XVarInteger y,
Types.TypeConditionOperatorRel op,
XVariables.XVarInteger z) |
|
void |
CompetitionValidator.buildCtrMaximum(String id,
XVariables.XVarInteger[] list,
int startIndex,
XVariables.XVarInteger index,
Types.TypeRank rank,
Condition condition) |
|
void |
CompetitionValidator.buildCtrMaximum(String id,
XVariables.XVarInteger[] list,
Condition condition) |
|
void |
SolutionChecker.buildCtrMaximum(String id,
XVariables.XVarInteger[] list,
int startIndex,
XVariables.XVarInteger index,
Types.TypeRank rank,
Condition condition) |
|
void |
SolutionChecker.buildCtrMaximum(String id,
XVariables.XVarInteger[] list,
Condition condition) |
|
void |
XCallbacks.buildCtrMaximum(String id,
XVariables.XVarInteger[] list,
int startIndex,
XVariables.XVarInteger index,
Types.TypeRank rank,
Condition condition) |
|
void |
XCallbacks.buildCtrMaximum(String id,
XVariables.XVarInteger[] list,
Condition condition) |
|
default void |
XCallbacks2.buildCtrMaximum(String id,
XVariables.XVarInteger[] list,
int startIndex,
XVariables.XVarInteger index,
Types.TypeRank rank,
Condition condition) |
|
default void |
XCallbacks2.buildCtrMaximum(String id,
XVariables.XVarInteger[] list,
Condition condition) |
|
void |
CompetitionValidator.buildCtrMDD(String id,
XVariables.XVarInteger[] list,
Transition[] transitions) |
|
void |
SolutionChecker.buildCtrMDD(String id,
XVariables.XVarInteger[] list,
Transition[] transitions) |
|
void |
XCallbacks.buildCtrMDD(String id,
XVariables.XVarInteger[] list,
Transition[] transitions) |
|
default void |
XCallbacks2.buildCtrMDD(String id,
XVariables.XVarInteger[] list,
Transition[] transitions) |
|
void |
CompetitionValidator.buildCtrMinimum(String id,
XVariables.XVarInteger[] list,
int startIndex,
XVariables.XVarInteger index,
Types.TypeRank rank,
Condition condition) |
|
void |
CompetitionValidator.buildCtrMinimum(String id,
XVariables.XVarInteger[] list,
Condition condition) |
|
void |
SolutionChecker.buildCtrMinimum(String id,
XVariables.XVarInteger[] list,
int startIndex,
XVariables.XVarInteger index,
Types.TypeRank rank,
Condition condition) |
|
void |
SolutionChecker.buildCtrMinimum(String id,
XVariables.XVarInteger[] list,
Condition condition) |
|
void |
XCallbacks.buildCtrMinimum(String id,
XVariables.XVarInteger[] list,
int startIndex,
XVariables.XVarInteger index,
Types.TypeRank rank,
Condition condition) |
|
void |
XCallbacks.buildCtrMinimum(String id,
XVariables.XVarInteger[] list,
Condition condition) |
|
default void |
XCallbacks2.buildCtrMinimum(String id,
XVariables.XVarInteger[] list,
int startIndex,
XVariables.XVarInteger index,
Types.TypeRank rank,
Condition condition) |
|
default void |
XCallbacks2.buildCtrMinimum(String id,
XVariables.XVarInteger[] list,
Condition condition) |
|
void |
CompetitionValidator.buildCtrNoOverlap(String id,
XVariables.XVarInteger[][] origins,
int[][] lengths,
boolean zeroIgnored) |
|
void |
CompetitionValidator.buildCtrNoOverlap(String id,
XVariables.XVarInteger[][] origins,
XVariables.XVarInteger[][] lengths,
boolean zeroIgnored) |
|
void |
CompetitionValidator.buildCtrNoOverlap(String id,
XVariables.XVarInteger[] origins,
int[] lengths,
boolean zeroIgnored) |
|
void |
CompetitionValidator.buildCtrNoOverlap(String id,
XVariables.XVarInteger[] origins,
XVariables.XVarInteger[] lengths,
boolean zeroIgnored) |
|
void |
SolutionChecker.buildCtrNoOverlap(String id,
XVariables.XVarInteger[][] origins,
int[][] lengths,
boolean zeroIgnored) |
|
void |
SolutionChecker.buildCtrNoOverlap(String id,
XVariables.XVarInteger[][] origins,
XVariables.XVarInteger[][] lengths,
boolean zeroIgnored) |
|
void |
SolutionChecker.buildCtrNoOverlap(String id,
XVariables.XVarInteger[] origins,
int[] lengths,
boolean zeroIgnored) |
|
void |
SolutionChecker.buildCtrNoOverlap(String id,
XVariables.XVarInteger[] origins,
XVariables.XVarInteger[] lengths,
boolean zeroIgnored) |
|
void |
XCallbacks.buildCtrNoOverlap(String id,
XVariables.XVarInteger[][] origins,
int[][] lengths,
boolean zeroIgnored) |
|
void |
XCallbacks.buildCtrNoOverlap(String id,
XVariables.XVarInteger[][] origins,
XVariables.XVarInteger[][] lengths,
boolean zeroIgnored) |
|
void |
XCallbacks.buildCtrNoOverlap(String id,
XVariables.XVarInteger[] origins,
int[] lengths,
boolean zeroIgnored) |
|
void |
XCallbacks.buildCtrNoOverlap(String id,
XVariables.XVarInteger[] origins,
XVariables.XVarInteger[] lengths,
boolean zeroIgnored) |
|
default void |
XCallbacks2.buildCtrNoOverlap(String id,
XVariables.XVarInteger[][] origins,
int[][] lengths,
boolean zeroIgnored) |
|
default void |
XCallbacks2.buildCtrNoOverlap(String id,
XVariables.XVarInteger[][] origins,
XVariables.XVarInteger[][] lengths,
boolean zeroIgnored) |
|
default void |
XCallbacks2.buildCtrNoOverlap(String id,
XVariables.XVarInteger[] origins,
int[] lengths,
boolean zeroIgnored) |
|
default void |
XCallbacks2.buildCtrNoOverlap(String id,
XVariables.XVarInteger[] origins,
XVariables.XVarInteger[] lengths,
boolean zeroIgnored) |
|
void |
XCallbacks.buildCtrNotAllEqual(String id,
XVariables.XVarInteger[] list) |
|
default void |
XCallbacks2.buildCtrNotAllEqual(String id,
XVariables.XVarInteger[] list) |
|
void |
CompetitionValidator.buildCtrNValues(String id,
XVariables.XVarInteger[] list,
Condition condition) |
|
void |
SolutionChecker.buildCtrNValues(String id,
XVariables.XVarInteger[] list,
Condition condition) |
|
void |
XCallbacks.buildCtrNValues(String id,
XVariables.XVarInteger[] list,
Condition condition) |
|
default void |
XCallbacks2.buildCtrNValues(String id,
XVariables.XVarInteger[] list,
Condition condition) |
|
void |
CompetitionValidator.buildCtrNValuesExcept(String id,
XVariables.XVarInteger[] list,
int[] except,
Condition condition) |
|
void |
SolutionChecker.buildCtrNValuesExcept(String id,
XVariables.XVarInteger[] list,
int[] except,
Condition condition) |
|
void |
XCallbacks.buildCtrNValuesExcept(String id,
XVariables.XVarInteger[] list,
int[] except,
Condition condition) |
|
default void |
XCallbacks2.buildCtrNValuesExcept(String id,
XVariables.XVarInteger[] list,
int[] except,
Condition condition) |
|
void |
CompetitionValidator.buildCtrOrdered(String id,
XVariables.XVarInteger[] list,
int[] lengths,
Types.TypeOperatorRel operator) |
|
void |
CompetitionValidator.buildCtrOrdered(String id,
XVariables.XVarInteger[] list,
Types.TypeOperatorRel operator) |
|
void |
CompetitionValidator.buildCtrOrdered(String id,
XVariables.XVarInteger[] list,
XVariables.XVarInteger[] lengths,
Types.TypeOperatorRel operator) |
|
void |
SolutionChecker.buildCtrOrdered(String id,
XVariables.XVarInteger[] list,
int[] lengths,
Types.TypeOperatorRel operator) |
|
void |
SolutionChecker.buildCtrOrdered(String id,
XVariables.XVarInteger[] list,
Types.TypeOperatorRel operator) |
|
void |
SolutionChecker.buildCtrOrdered(String id,
XVariables.XVarInteger[] list,
XVariables.XVarInteger[] lengths,
Types.TypeOperatorRel operator) |
|
void |
XCallbacks.buildCtrOrdered(String id,
XVariables.XVarInteger[] list,
int[] lengths,
Types.TypeOperatorRel operator) |
|
void |
XCallbacks.buildCtrOrdered(String id,
XVariables.XVarInteger[] list,
Types.TypeOperatorRel operator) |
|
void |
XCallbacks.buildCtrOrdered(String id,
XVariables.XVarInteger[] list,
XVariables.XVarInteger[] lengths,
Types.TypeOperatorRel operator) |
|
default void |
XCallbacks2.buildCtrOrdered(String id,
XVariables.XVarInteger[] list,
int[] lengths,
Types.TypeOperatorRel operator) |
|
default void |
XCallbacks2.buildCtrOrdered(String id,
XVariables.XVarInteger[] list,
Types.TypeOperatorRel operator) |
|
default void |
XCallbacks2.buildCtrOrdered(String id,
XVariables.XVarInteger[] list,
XVariables.XVarInteger[] lengths,
Types.TypeOperatorRel operator) |
|
void |
XCallbacks.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 {<,≤,≥,>,=,≠}
|
void |
XCallbacks.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 {<,≤,≥,>,=,≠}
|
void |
XCallbacks.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 {<,≤,≥,>,=,≠}
|
void |
XCallbacks.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 {<,≤,≥,>,=,≠}
|
void |
XCallbacks.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).
|
void |
XCallbacks.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.
|
void |
XCallbacks.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.
|
void |
XCallbacks.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 |
XCallbacks2.buildCtrPrimitive(String id,
XVariables.XVarInteger x,
Types.TypeArithmeticOperator aop,
int p,
Types.TypeConditionOperatorRel op,
int k) |
|
default void |
XCallbacks2.buildCtrPrimitive(String id,
XVariables.XVarInteger x,
Types.TypeArithmeticOperator aop,
int p,
Types.TypeConditionOperatorRel op,
XVariables.XVarInteger y) |
|
default void |
XCallbacks2.buildCtrPrimitive(String id,
XVariables.XVarInteger x,
Types.TypeArithmeticOperator aop,
XVariables.XVarInteger y,
Types.TypeConditionOperatorRel op,
int k) |
|
default void |
XCallbacks2.buildCtrPrimitive(String id,
XVariables.XVarInteger x,
Types.TypeArithmeticOperator aop,
XVariables.XVarInteger y,
Types.TypeConditionOperatorRel op,
XVariables.XVarInteger z) |
|
default void |
XCallbacks2.buildCtrPrimitive(String id,
XVariables.XVarInteger x,
Types.TypeConditionOperatorRel op,
int k) |
|
default void |
XCallbacks2.buildCtrPrimitive(String id,
XVariables.XVarInteger x,
Types.TypeConditionOperatorSet op,
int[] t) |
|
default void |
XCallbacks2.buildCtrPrimitive(String id,
XVariables.XVarInteger x,
Types.TypeConditionOperatorSet op,
int min,
int max) |
|
default void |
XCallbacks2.buildCtrPrimitive(String id,
XVariables.XVarInteger x,
Types.TypeUnaryArithmeticOperator aop,
XVariables.XVarInteger y) |
|
void |
CompetitionValidator.buildCtrRegular(String id,
XVariables.XVarInteger[] list,
Transition[] transitions,
String startState,
String[] finalStates) |
|
void |
SolutionChecker.buildCtrRegular(String id,
XVariables.XVarInteger[] list,
Transition[] transitions,
String startState,
String[] finalStates) |
|
void |
XCallbacks.buildCtrRegular(String id,
XVariables.XVarInteger[] list,
Transition[] transitions,
String startState,
String[] finalStates) |
|
default void |
XCallbacks2.buildCtrRegular(String id,
XVariables.XVarInteger[] list,
Transition[] transitions,
String startState,
String[] finalStates) |
|
void |
SolutionChecker.buildCtrStretch(String id,
XVariables.XVarInteger[] list,
int[] values,
int[] widthsMin,
int[] widthsMax) |
|
void |
SolutionChecker.buildCtrStretch(String id,
XVariables.XVarInteger[] list,
int[] values,
int[] widthsMin,
int[] widthsMax,
int[][] patterns) |
|
void |
XCallbacks.buildCtrStretch(String id,
XVariables.XVarInteger[] list,
int[] values,
int[] widthsMin,
int[] widthsMax) |
|
void |
XCallbacks.buildCtrStretch(String id,
XVariables.XVarInteger[] list,
int[] values,
int[] widthsMin,
int[] widthsMax,
int[][] patterns) |
|
default void |
XCallbacks2.buildCtrStretch(String id,
XVariables.XVarInteger[] list,
int[] values,
int[] widthsMin,
int[] widthsMax) |
|
default void |
XCallbacks2.buildCtrStretch(String id,
XVariables.XVarInteger[] list,
int[] values,
int[] widthsMin,
int[] widthsMax,
int[][] patterns) |
|
void |
CompetitionValidator.buildCtrSum(String id,
XNode<XVariables.XVarInteger>[] trees,
XVariables.XVarInteger[] coeffs,
Condition condition) |
|
void |
CompetitionValidator.buildCtrSum(String id,
XVariables.XVarInteger[] list,
int[] coeffs,
Condition condition) |
|
void |
CompetitionValidator.buildCtrSum(String id,
XVariables.XVarInteger[] list,
Condition condition) |
|
void |
CompetitionValidator.buildCtrSum(String id,
XVariables.XVarInteger[] list,
XVariables.XVarInteger[] coeffs,
Condition condition) |
|
void |
SolutionChecker.buildCtrSum(String id,
XNode<XVariables.XVarInteger>[] trees,
XVariables.XVarInteger[] coeffs,
Condition condition) |
|
void |
SolutionChecker.buildCtrSum(String id,
XVariables.XVarInteger[] list,
int[] coeffs,
Condition condition) |
|
void |
SolutionChecker.buildCtrSum(String id,
XVariables.XVarInteger[] list,
Condition condition) |
|
void |
SolutionChecker.buildCtrSum(String id,
XVariables.XVarInteger[] list,
XVariables.XVarInteger[] coeffs,
Condition condition) |
|
void |
XCallbacks.buildCtrSum(String id,
XNode<XVariables.XVarInteger>[] trees,
XVariables.XVarInteger[] coeffs,
Condition condition) |
|
void |
XCallbacks.buildCtrSum(String id,
XVariables.XVarInteger[] list,
int[] coeffs,
Condition condition) |
|
void |
XCallbacks.buildCtrSum(String id,
XVariables.XVarInteger[] list,
Condition condition) |
|
void |
XCallbacks.buildCtrSum(String id,
XVariables.XVarInteger[] list,
XVariables.XVarInteger[] coeffs,
Condition condition) |
|
default void |
XCallbacks2.buildCtrSum(String id,
XNode<XVariables.XVarInteger>[] trees,
XVariables.XVarInteger[] coeffs,
Condition condition) |
|
default void |
XCallbacks2.buildCtrSum(String id,
XVariables.XVarInteger[] list,
int[] coeffs,
Condition condition) |
|
default void |
XCallbacks2.buildCtrSum(String id,
XVariables.XVarInteger[] list,
Condition condition) |
|
default void |
XCallbacks2.buildCtrSum(String id,
XVariables.XVarInteger[] list,
XVariables.XVarInteger[] coeffs,
Condition condition) |
|
void |
CompetitionValidator.buildObjToMaximize(String id,
Types.TypeObjective type,
XVariables.XVarInteger[] list) |
|
void |
CompetitionValidator.buildObjToMaximize(String id,
Types.TypeObjective type,
XVariables.XVarInteger[] list,
int[] coeffs) |
|
void |
CompetitionValidator.buildObjToMaximize(String id,
XVariables.XVarInteger x) |
|
void |
SolutionChecker.buildObjToMaximize(String id,
Types.TypeObjective type,
XVariables.XVarInteger[] list) |
|
void |
SolutionChecker.buildObjToMaximize(String id,
Types.TypeObjective type,
XVariables.XVarInteger[] list,
int[] coeffs) |
|
void |
SolutionChecker.buildObjToMaximize(String id,
XVariables.XVarInteger x) |
|
void |
XCallbacks.buildObjToMaximize(String id,
Types.TypeObjective type,
XVariables.XVarInteger[] list) |
|
void |
XCallbacks.buildObjToMaximize(String id,
Types.TypeObjective type,
XVariables.XVarInteger[] list,
int[] coeffs) |
|
void |
XCallbacks.buildObjToMaximize(String id,
XVariables.XVarInteger x) |
|
default void |
XCallbacks2.buildObjToMaximize(String id,
Types.TypeObjective type,
XVariables.XVarInteger[] list) |
|
default void |
XCallbacks2.buildObjToMaximize(String id,
Types.TypeObjective type,
XVariables.XVarInteger[] list,
int[] coeffs) |
|
default void |
XCallbacks2.buildObjToMaximize(String id,
XVariables.XVarInteger x) |
|
void |
CompetitionValidator.buildObjToMinimize(String id,
Types.TypeObjective type,
XVariables.XVarInteger[] list) |
|
void |
CompetitionValidator.buildObjToMinimize(String id,
Types.TypeObjective type,
XVariables.XVarInteger[] list,
int[] coeffs) |
|
void |
CompetitionValidator.buildObjToMinimize(String id,
XVariables.XVarInteger x) |
|
void |
SolutionChecker.buildObjToMinimize(String id,
Types.TypeObjective type,
XVariables.XVarInteger[] list) |
|
void |
SolutionChecker.buildObjToMinimize(String id,
Types.TypeObjective type,
XVariables.XVarInteger[] list,
int[] coeffs) |
|
void |
SolutionChecker.buildObjToMinimize(String id,
XVariables.XVarInteger x) |
|
void |
XCallbacks.buildObjToMinimize(String id,
Types.TypeObjective type,
XVariables.XVarInteger[] list) |
|
void |
XCallbacks.buildObjToMinimize(String id,
Types.TypeObjective type,
XVariables.XVarInteger[] list,
int[] coeffs) |
|
void |
XCallbacks.buildObjToMinimize(String id,
XVariables.XVarInteger x) |
Methods to be implemented for managing objectives
|
default void |
XCallbacks2.buildObjToMinimize(String id,
Types.TypeObjective type,
XVariables.XVarInteger[] list) |
|
default void |
XCallbacks2.buildObjToMinimize(String id,
Types.TypeObjective type,
XVariables.XVarInteger[] list,
int[] coeffs) |
|
default void |
XCallbacks2.buildObjToMinimize(String id,
XVariables.XVarInteger x) |
Methods to be implemented for managing objectives
|
void |
CompetitionValidator.buildVarInteger(XVariables.XVarInteger x,
int[] values) |
|
void |
CompetitionValidator.buildVarInteger(XVariables.XVarInteger x,
int minValue,
int maxValue) |
|
void |
FeatureDisplayer.buildVarInteger(XVariables.XVarInteger x,
int[] values) |
|
void |
FeatureDisplayer.buildVarInteger(XVariables.XVarInteger x,
int minValue,
int maxValue) |
|
void |
SolutionChecker.buildVarInteger(XVariables.XVarInteger x,
int[] values) |
|
void |
SolutionChecker.buildVarInteger(XVariables.XVarInteger x,
int minValue,
int maxValue) |
|
void |
XCallbacks.buildVarInteger(XVariables.XVarInteger x,
int[] values) |
Callback method for building in the solver an integer variable whose domain is given by the specified array.
|
void |
XCallbacks.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 |
XCallbacks2.buildVarInteger(XVariables.XVarInteger x,
int[] values) |
|
default void |
XCallbacks2.buildVarInteger(XVariables.XVarInteger x,
int minValue,
int maxValue) |
|