Module org.maxicp

Package org.maxicp.modeling.xcsp3

Class XCSP3

java.lang.Object

org.maxicp.modeling.xcsp3.XCallbacksDecomp

org.maxicp.modeling.xcsp3.XCSP3

All Implemented Interfaces:

org.xcsp.parser.callbacks.XCallbacks, org.xcsp.parser.callbacks.XCallbacks2

public class XCSP3
extends XCallbacksDecomp

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	XCSP3.XCSP3LoadedInstance

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

org.xcsp.parser.callbacks.XCallbacks.Implem, org.xcsp.parser.callbacks.XCallbacks.XCallbacksParameters

Field Summary

Fields

Modifier and Type	Field	Description
protected IdentityHashMap<org.xcsp.common.predicates.XNode<?>,IntExpression>	expr_cache

Fields inherited from class org.maxicp.modeling.xcsp3.XCallbacksDecomp

CONVERT_SYMBOLIC, currentReservedArrayIdx, reservedArray, symbolicValues, symbolicValuesReversed, symbolicVariables

Method Summary

Modifier and Type	Method	Description
void	buildCtrAllDifferent(String id, org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees)
void	buildCtrAllDifferent(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list)
void	buildCtrAllDifferentExcept(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] except)
void	buildCtrAllDifferentList(String id, org.xcsp.parser.entries.XVariables.XVarInteger[][] lists)	AllDifferentList constraint.
void	buildCtrAllDifferentList(String id, org.xcsp.parser.entries.XVariables.XVarInteger[][] lists, int[][] except)
void	buildCtrAllDifferentMatrix(String id, org.xcsp.parser.entries.XVariables.XVarInteger[][] matrix, int[] except)
void	buildCtrAllEqual(String id, org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees)
void	buildCtrAllEqual(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list)
void	buildCtrAmong(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] values, int k)
void	buildCtrAmong(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] values, org.xcsp.parser.entries.XVariables.XVarInteger k)
void	buildCtrAtLeast(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int value, int k)
void	buildCtrAtMost(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int value, int k)
void	buildCtrBinPacking(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] sizes, int[] capacities, boolean load)
void	buildCtrBinPacking(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] sizes, org.xcsp.common.Condition condition)
void	buildCtrBinPacking(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] sizes, org.xcsp.common.Condition[] conditions, int startIndex)
void	buildCtrBinPacking(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] sizes, org.xcsp.parser.entries.XVariables.XVarInteger[] loads, boolean load)
void	buildCtrCardinality(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, boolean closed, int[] values, int[] occurs)
void	buildCtrCardinality(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, boolean closed, int[] values, int[] occursMin, int[] occursMax)
void	buildCtrCardinality(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, boolean closed, int[] values, org.xcsp.parser.entries.XVariables.XVarInteger[] occurs)
void	buildCtrCardinality(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, boolean closed, org.xcsp.parser.entries.XVariables.XVarInteger[] values, int[] occurs)
void	buildCtrCardinality(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, boolean closed, org.xcsp.parser.entries.XVariables.XVarInteger[] values, int[] occursMin, int[] occursMax)
void	buildCtrCardinality(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, boolean closed, org.xcsp.parser.entries.XVariables.XVarInteger[] values, org.xcsp.parser.entries.XVariables.XVarInteger[] occurs)
void	buildCtrChannel(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int startIndex)
void	buildCtrChannel(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int startIndex, org.xcsp.parser.entries.XVariables.XVarInteger value)
void	buildCtrChannel(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list1, int startIndex1, org.xcsp.parser.entries.XVariables.XVarInteger[] list2, int startIndex2)
void	buildCtrCircuit(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int startIndex)
void	buildCtrCircuit(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int startIndex, int size)
void	buildCtrCircuit(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int startIndex, org.xcsp.parser.entries.XVariables.XVarInteger size)
void	buildCtrClause(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] pos, org.xcsp.parser.entries.XVariables.XVarInteger[] neg)
void	buildCtrCount(String id, org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees, int[] values, org.xcsp.common.Condition condition)
void	buildCtrCount(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] values, org.xcsp.common.Condition condition)
void	buildCtrCount(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, org.xcsp.parser.entries.XVariables.XVarInteger[] values, org.xcsp.common.Condition condition)
void	buildCtrCumulative(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] origins, int[] lengths, int[] heights, org.xcsp.common.Condition condition)	Cumulative constraint.
void	buildCtrCumulative(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] origins, int[] lengths, org.xcsp.parser.entries.XVariables.XVarInteger[] ends, int[] heights, org.xcsp.common.Condition condition)
void	buildCtrCumulative(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] origins, int[] lengths, org.xcsp.parser.entries.XVariables.XVarInteger[] heights, org.xcsp.common.Condition condition)	Cumulative constraint.
void	buildCtrCumulative(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] origins, int[] lengths, org.xcsp.parser.entries.XVariables.XVarInteger[] ends, org.xcsp.parser.entries.XVariables.XVarInteger[] heights, org.xcsp.common.Condition condition)
void	buildCtrCumulative(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] origins, org.xcsp.parser.entries.XVariables.XVarInteger[] lengths, int[] heights, org.xcsp.common.Condition condition)	Cumulative constraint.
void	buildCtrCumulative(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] origins, org.xcsp.parser.entries.XVariables.XVarInteger[] lengths, org.xcsp.parser.entries.XVariables.XVarInteger[] ends, int[] heights, org.xcsp.common.Condition condition)
void	buildCtrCumulative(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] origins, org.xcsp.parser.entries.XVariables.XVarInteger[] lengths, org.xcsp.parser.entries.XVariables.XVarInteger[] heights, org.xcsp.common.Condition condition)	Cumulative constraint.
void	buildCtrCumulative(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] origins, org.xcsp.parser.entries.XVariables.XVarInteger[] lengths, org.xcsp.parser.entries.XVariables.XVarInteger[] ends, org.xcsp.parser.entries.XVariables.XVarInteger[] heights, org.xcsp.common.Condition condition)
void	buildCtrElement(String id, int[][] matrix, int startRowIndex, org.xcsp.parser.entries.XVariables.XVarInteger rowIndex, int startColIndex, org.xcsp.parser.entries.XVariables.XVarInteger colIndex, org.xcsp.common.Condition condition)
void	buildCtrElement(String id, int[] list, int startIndex, org.xcsp.parser.entries.XVariables.XVarInteger index, org.xcsp.common.Types.TypeRank rank, org.xcsp.common.Condition condition)
void	buildCtrElement(String id, org.xcsp.parser.entries.XVariables.XVarInteger[][] matrix, int startRowIndex, org.xcsp.parser.entries.XVariables.XVarInteger rowIndex, int startColIndex, org.xcsp.parser.entries.XVariables.XVarInteger colIndex, org.xcsp.common.Condition condition)
void	buildCtrElement(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int startIndex, org.xcsp.parser.entries.XVariables.XVarInteger index, org.xcsp.common.Types.TypeRank rank, org.xcsp.common.Condition condition)
void	buildCtrElement(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, org.xcsp.common.Condition condition)
void	buildCtrExactly(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int value, int k)
void	buildCtrExactly(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int value, org.xcsp.parser.entries.XVariables.XVarInteger k)
void	buildCtrExtension(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[][] tuples, boolean positive, Set<org.xcsp.common.Types.TypeFlag> flags)
void	buildCtrExtension(String id, org.xcsp.parser.entries.XVariables.XVarInteger x, int[] values, boolean positive, Set<org.xcsp.common.Types.TypeFlag> flags)
void	buildCtrInstantiation(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] values)
void	buildCtrIntension(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] scope, org.xcsp.common.predicates.XNodeParent<org.xcsp.parser.entries.XVariables.XVarInteger> syntaxTreeRoot)
void	buildCtrKnapsack(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] weights, org.xcsp.common.Condition wcondition, int[] profits, org.xcsp.common.Condition pcondition)
void	buildCtrLex(String id, org.xcsp.parser.entries.XVariables.XVarInteger[][] lists, org.xcsp.common.Types.TypeOperatorRel operator)
void	buildCtrLex(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] limit, org.xcsp.common.Types.TypeOperatorRel operator)
void	buildCtrLogic(String id, org.xcsp.common.Types.TypeLogicalOperator lop, org.xcsp.parser.entries.XVariables.XVarInteger[] vars)
void	buildCtrLogic(String id, org.xcsp.parser.entries.XVariables.XVarInteger y, org.xcsp.common.Types.TypeEqNeOperator op, org.xcsp.common.Types.TypeLogicalOperator lop, org.xcsp.parser.entries.XVariables.XVarInteger[] vars)
void	buildCtrLogic(String id, org.xcsp.parser.entries.XVariables.XVarInteger x, org.xcsp.parser.entries.XVariables.XVarInteger y, org.xcsp.common.Types.TypeConditionOperatorRel op, int k)
void	buildCtrLogic(String id, org.xcsp.parser.entries.XVariables.XVarInteger x, org.xcsp.parser.entries.XVariables.XVarInteger y, org.xcsp.common.Types.TypeConditionOperatorRel op, org.xcsp.parser.entries.XVariables.XVarInteger z)
void	buildCtrMaximum(String id, org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees, org.xcsp.common.Condition condition)
void	buildCtrMaximum(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int startIndex, org.xcsp.parser.entries.XVariables.XVarInteger index, org.xcsp.common.Types.TypeRank rank, org.xcsp.common.Condition condition)
void	buildCtrMaximum(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, org.xcsp.common.Condition condition)
void	buildCtrMaximumArg(String id, org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees, org.xcsp.common.Types.TypeRank rank, org.xcsp.common.Condition condition)
void	buildCtrMaximumArg(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, org.xcsp.common.Types.TypeRank rank, org.xcsp.common.Condition condition)
void	buildCtrMDD(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, org.xcsp.common.structures.Transition[] transitions)
void	buildCtrMinimum(String id, org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees, org.xcsp.common.Condition condition)
void	buildCtrMinimum(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int startIndex, org.xcsp.parser.entries.XVariables.XVarInteger index, org.xcsp.common.Types.TypeRank rank, org.xcsp.common.Condition condition)
void	buildCtrMinimum(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, org.xcsp.common.Condition condition)
void	buildCtrMinimumArg(String id, org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees, org.xcsp.common.Types.TypeRank rank, org.xcsp.common.Condition condition)
void	buildCtrMinimumArg(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, org.xcsp.common.Types.TypeRank rank, org.xcsp.common.Condition condition)
void	buildCtrNoOverlap(String id, org.xcsp.parser.entries.XVariables.XVarInteger[][] origins, int[][] lengths, boolean zeroIgnored)
void	buildCtrNoOverlap(String id, org.xcsp.parser.entries.XVariables.XVarInteger[][] origins, org.xcsp.parser.entries.XVariables.XVarInteger[][] lengths, boolean zeroIgnored)
void	buildCtrNoOverlap(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] origins, int[] lengths, boolean zeroIgnored)
void	buildCtrNoOverlap(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] origins, org.xcsp.parser.entries.XVariables.XVarInteger[] lengths, boolean zeroIgnored)
void	buildCtrNoOverlap(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] xs, org.xcsp.parser.entries.XVariables.XVarInteger[] ys, org.xcsp.parser.entries.XVariables.XVarInteger[] lx, int[] ly, boolean zeroIgnored)
void	buildCtrNotAllEqual(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list)
void	buildCtrNValues(String id, org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees, org.xcsp.common.Condition condition)
void	buildCtrNValues(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, org.xcsp.common.Condition condition)
void	buildCtrNValuesExcept(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] except, org.xcsp.common.Condition condition)
void	buildCtrOrdered(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] lengths, org.xcsp.common.Types.TypeOperatorRel operator)
void	buildCtrOrdered(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, org.xcsp.common.Types.TypeOperatorRel operator)
void	buildCtrOrdered(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, org.xcsp.parser.entries.XVariables.XVarInteger[] lengths, org.xcsp.common.Types.TypeOperatorRel operator)
void	buildCtrPrecedence(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list)
void	buildCtrPrecedence(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] values, boolean covered)
void	buildCtrPrimitive(String id, org.xcsp.parser.entries.XVariables.XVarInteger x, org.xcsp.common.Types.TypeArithmeticOperator aop, int p, org.xcsp.common.Types.TypeConditionOperatorRel op, int k)
void	buildCtrPrimitive(String id, org.xcsp.parser.entries.XVariables.XVarInteger x, org.xcsp.common.Types.TypeArithmeticOperator aop, int p, org.xcsp.common.Types.TypeConditionOperatorRel op, org.xcsp.parser.entries.XVariables.XVarInteger z)
void	buildCtrPrimitive(String id, org.xcsp.parser.entries.XVariables.XVarInteger x, org.xcsp.common.Types.TypeArithmeticOperator aop, org.xcsp.parser.entries.XVariables.XVarInteger y, org.xcsp.common.Types.TypeConditionOperatorRel op, int k)
void	buildCtrPrimitive(String id, org.xcsp.parser.entries.XVariables.XVarInteger x, org.xcsp.common.Types.TypeArithmeticOperator aop, org.xcsp.parser.entries.XVariables.XVarInteger y, org.xcsp.common.Types.TypeConditionOperatorRel op, org.xcsp.parser.entries.XVariables.XVarInteger z)
void	buildCtrPrimitive(String id, org.xcsp.parser.entries.XVariables.XVarInteger x, org.xcsp.common.Types.TypeConditionOperatorRel op, int k)
void	buildCtrPrimitive(String id, org.xcsp.parser.entries.XVariables.XVarInteger x, org.xcsp.common.Types.TypeConditionOperatorSet op, int[] t)
void	buildCtrPrimitive(String id, org.xcsp.parser.entries.XVariables.XVarInteger x, org.xcsp.common.Types.TypeConditionOperatorSet op, int min, int max)
void	buildCtrPrimitive(String id, org.xcsp.parser.entries.XVariables.XVarInteger x, org.xcsp.common.Types.TypeUnaryArithmeticOperator aop, org.xcsp.parser.entries.XVariables.XVarInteger y)
void	buildCtrRegular(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, org.xcsp.common.structures.Transition[] transitions, String startState, String[] finalStates)
void	buildCtrStretch(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] values, int[] widthsMin, int[] widthsMax)
void	buildCtrStretch(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] values, int[] widthsMin, int[] widthsMax, int[][] patterns)
void	buildCtrSum(String id, org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees, int[] coeffs, org.xcsp.common.Condition condition)
void	buildCtrSum(String id, org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees, org.xcsp.common.Condition condition)
void	buildCtrSum(String id, org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees, org.xcsp.parser.entries.XVariables.XVarInteger[] coeffs, org.xcsp.common.Condition condition)
void	buildCtrSum(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] coeffs, org.xcsp.common.Condition condition)
void	buildCtrSum(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, org.xcsp.common.Condition condition)
void	buildCtrSum(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, org.xcsp.parser.entries.XVariables.XVarInteger[] coeffs, org.xcsp.common.Condition condition)
static String	buildInstantiation(String[] varIds, List<Integer> values)
void	buildObjToMaximize(String id, org.xcsp.common.predicates.XNodeParent<org.xcsp.parser.entries.XVariables.XVarInteger> tree)
void	buildObjToMaximize(String id, org.xcsp.common.Types.TypeObjective type, org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees)
void	buildObjToMaximize(String id, org.xcsp.common.Types.TypeObjective type, org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees, int[] coeffs)
void	buildObjToMaximize(String id, org.xcsp.common.Types.TypeObjective type, org.xcsp.parser.entries.XVariables.XVarInteger[] list)
void	buildObjToMaximize(String id, org.xcsp.common.Types.TypeObjective type, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] coeffs)
void	buildObjToMaximize(String id, org.xcsp.parser.entries.XVariables.XVarInteger x)
void	buildObjToMinimize(String id, org.xcsp.common.predicates.XNodeParent<org.xcsp.parser.entries.XVariables.XVarInteger> tree)
void	buildObjToMinimize(String id, org.xcsp.common.Types.TypeObjective type, org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees)
void	buildObjToMinimize(String id, org.xcsp.common.Types.TypeObjective type, org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees, int[] coeffs)
void	buildObjToMinimize(String id, org.xcsp.common.Types.TypeObjective type, org.xcsp.parser.entries.XVariables.XVarInteger[] list)
void	buildObjToMinimize(String id, org.xcsp.common.Types.TypeObjective type, org.xcsp.parser.entries.XVariables.XVarInteger[] list, int[] coeffs)
void	buildObjToMinimize(String id, org.xcsp.parser.entries.XVariables.XVarInteger x)
void	buildVarInteger(org.xcsp.parser.entries.XVariables.XVarInteger x, int[] values)
void	buildVarInteger(org.xcsp.parser.entries.XVariables.XVarInteger x, int minValue, int maxValue)
void	endArray(org.xcsp.parser.entries.XVariables.XArray a)
org.xcsp.parser.callbacks.XCallbacks.Implem	implem()
static XCSP3.XCSP3LoadedInstance	load(String filename)
static void	runWithBlackBox(String path, int timeoutInSeconds)	Runs BlackBoxSearch on the XCSP3 instance at path.

Methods inherited from class org.maxicp.modeling.xcsp3.XCallbacksDecomp

buildCtrAllDifferent, buildCtrAllDifferentMatrix, buildCtrExtension, buildCtrExtension, buildCtrIntension, buildCtrLexMatrix, buildCtrNoOverlap2D, buildCtrNoOverlap2D, buildEndsFromStartAndLength, buildEndsFromStartAndLength, buildVarSymbolic, convertSymbolicTree, convertSymbolicTreeLeaf, generateInstantiationWithSymbolic, generateReservedArrayIdx, unimplementedCase

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

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

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

beginAnnotations, beginArray, beginBlock, beginConstraints, beginGroup, beginInstance, beginLogic, beginObjectives, beginSlide, beginVariables, buildAnnotationDecision, buildAnnotationValHeuristicStatic, buildCtrExtension, buildCtrFlow, buildCtrFlow, endAnnotations, endBlock, endConstraints, endGroup, endInstance, endLogic, endObjectives, endSlide, endVariables

Field Details

expr_cache

protected IdentityHashMap<org.xcsp.common.predicates.XNode<?>,IntExpression> expr_cache

Method Details

runWithBlackBox

public static void runWithBlackBox(String path,
 int timeoutInSeconds)
                            throws Exception

Runs BlackBoxSearch on the XCSP3 instance at path.

Throws:

Exception

load

public static XCSP3.XCSP3LoadedInstance load(String filename)
                                      throws Exception

Throws:

Exception

buildInstantiation

public static String buildInstantiation(String[] varIds,
 List<Integer> values)

implem

public org.xcsp.parser.callbacks.XCallbacks.Implem implem()

buildVarInteger

public void buildVarInteger(org.xcsp.parser.entries.XVariables.XVarInteger x,
 int minValue,
 int maxValue)

buildVarInteger

public void buildVarInteger(org.xcsp.parser.entries.XVariables.XVarInteger x,
 int[] values)

endArray

public void endArray(org.xcsp.parser.entries.XVariables.XArray a)

buildCtrPrimitive

public void buildCtrPrimitive(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger x,
 org.xcsp.common.Types.TypeConditionOperatorRel op,
 int k)

buildCtrPrimitive

public void buildCtrPrimitive(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger x,
 org.xcsp.common.Types.TypeArithmeticOperator aop,
 org.xcsp.parser.entries.XVariables.XVarInteger y,
 org.xcsp.common.Types.TypeConditionOperatorRel op,
 int k)

buildCtrPrimitive

public void buildCtrPrimitive(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger x,
 org.xcsp.common.Types.TypeArithmeticOperator aop,
 int p,
 org.xcsp.common.Types.TypeConditionOperatorRel op,
 org.xcsp.parser.entries.XVariables.XVarInteger z)

buildCtrPrimitive

public void buildCtrPrimitive(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger x,
 org.xcsp.common.Types.TypeArithmeticOperator aop,
 int p,
 org.xcsp.common.Types.TypeConditionOperatorRel op,
 int k)

buildCtrPrimitive

public void buildCtrPrimitive(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger x,
 org.xcsp.common.Types.TypeArithmeticOperator aop,
 org.xcsp.parser.entries.XVariables.XVarInteger y,
 org.xcsp.common.Types.TypeConditionOperatorRel op,
 org.xcsp.parser.entries.XVariables.XVarInteger z)

buildCtrPrimitive

public void buildCtrPrimitive(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger x,
 org.xcsp.common.Types.TypeUnaryArithmeticOperator aop,
 org.xcsp.parser.entries.XVariables.XVarInteger y)

buildCtrPrimitive

public void buildCtrPrimitive(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger x,
 org.xcsp.common.Types.TypeConditionOperatorSet op,
 int[] t)

buildCtrPrimitive

public void buildCtrPrimitive(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger x,
 org.xcsp.common.Types.TypeConditionOperatorSet op,
 int min,
 int max)

buildCtrLogic

public void buildCtrLogic(String id,
 org.xcsp.common.Types.TypeLogicalOperator lop,
 org.xcsp.parser.entries.XVariables.XVarInteger[] vars)

buildCtrLogic

public void buildCtrLogic(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger y,
 org.xcsp.common.Types.TypeEqNeOperator op,
 org.xcsp.common.Types.TypeLogicalOperator lop,
 org.xcsp.parser.entries.XVariables.XVarInteger[] vars)

buildCtrLogic

public void buildCtrLogic(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger x,
 org.xcsp.parser.entries.XVariables.XVarInteger y,
 org.xcsp.common.Types.TypeConditionOperatorRel op,
 int k)

buildCtrLogic

public void buildCtrLogic(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger x,
 org.xcsp.parser.entries.XVariables.XVarInteger y,
 org.xcsp.common.Types.TypeConditionOperatorRel op,
 org.xcsp.parser.entries.XVariables.XVarInteger z)

buildCtrClause

public void buildCtrClause(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] pos,
 org.xcsp.parser.entries.XVariables.XVarInteger[] neg)

buildCtrIntension

public void buildCtrIntension(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] scope,
 org.xcsp.common.predicates.XNodeParent<org.xcsp.parser.entries.XVariables.XVarInteger> syntaxTreeRoot)

buildCtrAllDifferent

public void buildCtrAllDifferent(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list)

buildCtrAllDifferent

public void buildCtrAllDifferent(String id,
 org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees)

buildCtrAllDifferentExcept

public void buildCtrAllDifferentExcept(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int[] except)

buildCtrAllDifferentList

public void buildCtrAllDifferentList(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[][] lists)

Description copied from class: XCallbacksDecomp

AllDifferentList constraint. For each pair of tuple (x,y), maps to Or(ne(x[0],y[0]), ne(x[1],y[1]), ne(x[2],y[2]), ...)

Specified by:

buildCtrAllDifferentList in interface org.xcsp.parser.callbacks.XCallbacks

Specified by:

buildCtrAllDifferentList in interface org.xcsp.parser.callbacks.XCallbacks2

Overrides:

buildCtrAllDifferentList in class XCallbacksDecomp

Parameters:

id -

lists -

buildCtrAllDifferentList

public void buildCtrAllDifferentList(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[][] lists,
 int[][] except)

buildCtrAllDifferentMatrix

public void buildCtrAllDifferentMatrix(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[][] matrix,
 int[] except)

buildCtrAllEqual

public void buildCtrAllEqual(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list)

buildCtrAllEqual

public void buildCtrAllEqual(String id,
 org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees)

buildCtrNotAllEqual

public void buildCtrNotAllEqual(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list)

buildCtrOrdered

public void buildCtrOrdered(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 org.xcsp.common.Types.TypeOperatorRel operator)

buildCtrOrdered

public void buildCtrOrdered(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int[] lengths,
 org.xcsp.common.Types.TypeOperatorRel operator)

buildCtrOrdered

public void buildCtrOrdered(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 org.xcsp.parser.entries.XVariables.XVarInteger[] lengths,
 org.xcsp.common.Types.TypeOperatorRel operator)

buildCtrPrecedence

public void buildCtrPrecedence(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list)

buildCtrPrecedence

public void buildCtrPrecedence(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int[] values,
 boolean covered)

buildCtrLex

public void buildCtrLex(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int[] limit,
 org.xcsp.common.Types.TypeOperatorRel operator)

buildCtrLex

public void buildCtrLex(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[][] lists,
 org.xcsp.common.Types.TypeOperatorRel operator)

buildCtrSum

public void buildCtrSum(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 org.xcsp.common.Condition condition)

buildCtrSum

public void buildCtrSum(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int[] coeffs,
 org.xcsp.common.Condition condition)

buildCtrSum

public void buildCtrSum(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 org.xcsp.parser.entries.XVariables.XVarInteger[] coeffs,
 org.xcsp.common.Condition condition)

buildCtrSum

public void buildCtrSum(String id,
 org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees,
 org.xcsp.common.Condition condition)

buildCtrSum

public void buildCtrSum(String id,
 org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees,
 int[] coeffs,
 org.xcsp.common.Condition condition)

buildCtrSum

public void buildCtrSum(String id,
 org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees,
 org.xcsp.parser.entries.XVariables.XVarInteger[] coeffs,
 org.xcsp.common.Condition condition)

buildCtrCount

public void buildCtrCount(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int[] values,
 org.xcsp.common.Condition condition)

buildCtrCount

public void buildCtrCount(String id,
 org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees,
 int[] values,
 org.xcsp.common.Condition condition)

buildCtrCount

public void buildCtrCount(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 org.xcsp.parser.entries.XVariables.XVarInteger[] values,
 org.xcsp.common.Condition condition)

buildCtrAtLeast

public void buildCtrAtLeast(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int value,
 int k)

buildCtrAtMost

public void buildCtrAtMost(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int value,
 int k)

buildCtrExactly

public void buildCtrExactly(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int value,
 int k)

buildCtrExactly

public void buildCtrExactly(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int value,
 org.xcsp.parser.entries.XVariables.XVarInteger k)

buildCtrAmong

public void buildCtrAmong(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int[] values,
 int k)

buildCtrAmong

public void buildCtrAmong(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int[] values,
 org.xcsp.parser.entries.XVariables.XVarInteger k)

buildCtrNValues

public void buildCtrNValues(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 org.xcsp.common.Condition condition)

buildCtrNValuesExcept

public void buildCtrNValuesExcept(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int[] except,
 org.xcsp.common.Condition condition)

buildCtrNValues

public void buildCtrNValues(String id,
 org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees,
 org.xcsp.common.Condition condition)

buildCtrCardinality

public void buildCtrCardinality(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 boolean closed,
 int[] values,
 org.xcsp.parser.entries.XVariables.XVarInteger[] occurs)

buildCtrCardinality

public void buildCtrCardinality(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 boolean closed,
 int[] values,
 int[] occurs)

buildCtrCardinality

public void buildCtrCardinality(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 boolean closed,
 int[] values,
 int[] occursMin,
 int[] occursMax)

buildCtrCardinality

public void buildCtrCardinality(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 boolean closed,
 org.xcsp.parser.entries.XVariables.XVarInteger[] values,
 org.xcsp.parser.entries.XVariables.XVarInteger[] occurs)

buildCtrCardinality

public void buildCtrCardinality(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 boolean closed,
 org.xcsp.parser.entries.XVariables.XVarInteger[] values,
 int[] occurs)

buildCtrCardinality

public void buildCtrCardinality(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 boolean closed,
 org.xcsp.parser.entries.XVariables.XVarInteger[] values,
 int[] occursMin,
 int[] occursMax)

buildCtrExtension

public void buildCtrExtension(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger x,
 int[] values,
 boolean positive,
 Set<org.xcsp.common.Types.TypeFlag> flags)

buildCtrExtension

public void buildCtrExtension(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int[][] tuples,
 boolean positive,
 Set<org.xcsp.common.Types.TypeFlag> flags)

buildCtrRegular

public void buildCtrRegular(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 org.xcsp.common.structures.Transition[] transitions,
 String startState,
 String[] finalStates)

buildCtrMDD

public void buildCtrMDD(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 org.xcsp.common.structures.Transition[] transitions)

buildCtrStretch

public void buildCtrStretch(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int[] values,
 int[] widthsMin,
 int[] widthsMax)

buildCtrStretch

public void buildCtrStretch(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int[] values,
 int[] widthsMin,
 int[] widthsMax,
 int[][] patterns)

buildCtrInstantiation

public void buildCtrInstantiation(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int[] values)

buildCtrMinimum

public void buildCtrMinimum(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 org.xcsp.common.Condition condition)

buildCtrMinimum

public void buildCtrMinimum(String id,
 org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees,
 org.xcsp.common.Condition condition)

buildCtrMaximum

public void buildCtrMaximum(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 org.xcsp.common.Condition condition)

buildCtrMaximum

public void buildCtrMaximum(String id,
 org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees,
 org.xcsp.common.Condition condition)

buildCtrMaximum

public void buildCtrMaximum(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int startIndex,
 org.xcsp.parser.entries.XVariables.XVarInteger index,
 org.xcsp.common.Types.TypeRank rank,
 org.xcsp.common.Condition condition)

buildCtrMinimum

public void buildCtrMinimum(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int startIndex,
 org.xcsp.parser.entries.XVariables.XVarInteger index,
 org.xcsp.common.Types.TypeRank rank,
 org.xcsp.common.Condition condition)

buildCtrMaximumArg

public void buildCtrMaximumArg(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 org.xcsp.common.Types.TypeRank rank,
 org.xcsp.common.Condition condition)

buildCtrMaximumArg

public void buildCtrMaximumArg(String id,
 org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees,
 org.xcsp.common.Types.TypeRank rank,
 org.xcsp.common.Condition condition)

buildCtrMinimumArg

public void buildCtrMinimumArg(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 org.xcsp.common.Types.TypeRank rank,
 org.xcsp.common.Condition condition)

buildCtrMinimumArg

public void buildCtrMinimumArg(String id,
 org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees,
 org.xcsp.common.Types.TypeRank rank,
 org.xcsp.common.Condition condition)

buildCtrElement

public void buildCtrElement(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 org.xcsp.common.Condition condition)

buildCtrElement

public void buildCtrElement(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int startIndex,
 org.xcsp.parser.entries.XVariables.XVarInteger index,
 org.xcsp.common.Types.TypeRank rank,
 org.xcsp.common.Condition condition)

buildCtrElement

public void buildCtrElement(String id,
 int[] list,
 int startIndex,
 org.xcsp.parser.entries.XVariables.XVarInteger index,
 org.xcsp.common.Types.TypeRank rank,
 org.xcsp.common.Condition condition)

buildCtrElement

public void buildCtrElement(String id,
 int[][] matrix,
 int startRowIndex,
 org.xcsp.parser.entries.XVariables.XVarInteger rowIndex,
 int startColIndex,
 org.xcsp.parser.entries.XVariables.XVarInteger colIndex,
 org.xcsp.common.Condition condition)

buildCtrElement

public void buildCtrElement(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[][] matrix,
 int startRowIndex,
 org.xcsp.parser.entries.XVariables.XVarInteger rowIndex,
 int startColIndex,
 org.xcsp.parser.entries.XVariables.XVarInteger colIndex,
 org.xcsp.common.Condition condition)

buildCtrChannel

public void buildCtrChannel(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int startIndex)

buildCtrChannel

public void buildCtrChannel(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list1,
 int startIndex1,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list2,
 int startIndex2)

buildCtrChannel

public void buildCtrChannel(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int startIndex,
 org.xcsp.parser.entries.XVariables.XVarInteger value)

buildCtrCumulative

public void buildCtrCumulative(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] origins,
 int[] lengths,
 int[] heights,
 org.xcsp.common.Condition condition)

Description copied from class: XCallbacksDecomp

Cumulative constraint. Infer the parameters ends from origins and length

Specified by:

buildCtrCumulative in interface org.xcsp.parser.callbacks.XCallbacks

Specified by:

buildCtrCumulative in interface org.xcsp.parser.callbacks.XCallbacks2

Overrides:

buildCtrCumulative in class XCallbacksDecomp

buildCtrCumulative

public void buildCtrCumulative(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] origins,
 int[] lengths,
 org.xcsp.parser.entries.XVariables.XVarInteger[] ends,
 int[] heights,
 org.xcsp.common.Condition condition)

buildCtrCumulative

public void buildCtrCumulative(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] origins,
 int[] lengths,
 org.xcsp.parser.entries.XVariables.XVarInteger[] heights,
 org.xcsp.common.Condition condition)

Description copied from class: XCallbacksDecomp

Cumulative constraint. Infer the parameters ends from origins and length

Specified by:

buildCtrCumulative in interface org.xcsp.parser.callbacks.XCallbacks

Specified by:

buildCtrCumulative in interface org.xcsp.parser.callbacks.XCallbacks2

Overrides:

buildCtrCumulative in class XCallbacksDecomp

buildCtrCumulative

public void buildCtrCumulative(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] origins,
 org.xcsp.parser.entries.XVariables.XVarInteger[] lengths,
 int[] heights,
 org.xcsp.common.Condition condition)

Description copied from class: XCallbacksDecomp

Cumulative constraint. Infer the parameters ends from origins and length

Specified by:

buildCtrCumulative in interface org.xcsp.parser.callbacks.XCallbacks

Specified by:

buildCtrCumulative in interface org.xcsp.parser.callbacks.XCallbacks2

Overrides:

buildCtrCumulative in class XCallbacksDecomp

buildCtrCumulative

public void buildCtrCumulative(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] origins,
 org.xcsp.parser.entries.XVariables.XVarInteger[] lengths,
 org.xcsp.parser.entries.XVariables.XVarInteger[] heights,
 org.xcsp.common.Condition condition)

Description copied from class: XCallbacksDecomp

Cumulative constraint. Infer the parameters ends from origins and length

Specified by:

buildCtrCumulative in interface org.xcsp.parser.callbacks.XCallbacks

Specified by:

buildCtrCumulative in interface org.xcsp.parser.callbacks.XCallbacks2

Overrides:

buildCtrCumulative in class XCallbacksDecomp

buildCtrCumulative

public void buildCtrCumulative(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] origins,
 int[] lengths,
 org.xcsp.parser.entries.XVariables.XVarInteger[] ends,
 org.xcsp.parser.entries.XVariables.XVarInteger[] heights,
 org.xcsp.common.Condition condition)

buildCtrCumulative

public void buildCtrCumulative(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] origins,
 org.xcsp.parser.entries.XVariables.XVarInteger[] lengths,
 org.xcsp.parser.entries.XVariables.XVarInteger[] ends,
 int[] heights,
 org.xcsp.common.Condition condition)

buildCtrCumulative

public void buildCtrCumulative(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] origins,
 org.xcsp.parser.entries.XVariables.XVarInteger[] lengths,
 org.xcsp.parser.entries.XVariables.XVarInteger[] ends,
 org.xcsp.parser.entries.XVariables.XVarInteger[] heights,
 org.xcsp.common.Condition condition)

buildCtrNoOverlap

public void buildCtrNoOverlap(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] origins,
 int[] lengths,
 boolean zeroIgnored)

buildCtrNoOverlap

public void buildCtrNoOverlap(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] origins,
 org.xcsp.parser.entries.XVariables.XVarInteger[] lengths,
 boolean zeroIgnored)

buildCtrNoOverlap

public void buildCtrNoOverlap(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[][] origins,
 int[][] lengths,
 boolean zeroIgnored)

Specified by:

buildCtrNoOverlap in interface org.xcsp.parser.callbacks.XCallbacks

Specified by:

buildCtrNoOverlap in interface org.xcsp.parser.callbacks.XCallbacks2

Overrides:

buildCtrNoOverlap in class XCallbacksDecomp

buildCtrNoOverlap

public void buildCtrNoOverlap(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[][] origins,
 org.xcsp.parser.entries.XVariables.XVarInteger[][] lengths,
 boolean zeroIgnored)

Specified by:

buildCtrNoOverlap in interface org.xcsp.parser.callbacks.XCallbacks

Specified by:

buildCtrNoOverlap in interface org.xcsp.parser.callbacks.XCallbacks2

Overrides:

buildCtrNoOverlap in class XCallbacksDecomp

buildCtrNoOverlap

public void buildCtrNoOverlap(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] xs,
 org.xcsp.parser.entries.XVariables.XVarInteger[] ys,
 org.xcsp.parser.entries.XVariables.XVarInteger[] lx,
 int[] ly,
 boolean zeroIgnored)

buildCtrBinPacking

public void buildCtrBinPacking(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int[] sizes,
 org.xcsp.common.Condition condition)

buildCtrBinPacking

public void buildCtrBinPacking(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int[] sizes,
 int[] capacities,
 boolean load)

buildCtrBinPacking

public void buildCtrBinPacking(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int[] sizes,
 org.xcsp.parser.entries.XVariables.XVarInteger[] loads,
 boolean load)

buildCtrBinPacking

public void buildCtrBinPacking(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int[] sizes,
 org.xcsp.common.Condition[] conditions,
 int startIndex)

buildCtrKnapsack

public void buildCtrKnapsack(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int[] weights,
 org.xcsp.common.Condition wcondition,
 int[] profits,
 org.xcsp.common.Condition pcondition)

buildCtrCircuit

public void buildCtrCircuit(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int startIndex)

buildCtrCircuit

public void buildCtrCircuit(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int startIndex,
 int size)

buildCtrCircuit

public void buildCtrCircuit(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int startIndex,
 org.xcsp.parser.entries.XVariables.XVarInteger size)

buildObjToMinimize

public void buildObjToMinimize(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger x)

buildObjToMaximize

public void buildObjToMaximize(String id,
 org.xcsp.parser.entries.XVariables.XVarInteger x)

buildObjToMinimize

public void buildObjToMinimize(String id,
 org.xcsp.common.predicates.XNodeParent<org.xcsp.parser.entries.XVariables.XVarInteger> tree)

buildObjToMaximize

public void buildObjToMaximize(String id,
 org.xcsp.common.predicates.XNodeParent<org.xcsp.parser.entries.XVariables.XVarInteger> tree)

buildObjToMinimize

public void buildObjToMinimize(String id,
 org.xcsp.common.Types.TypeObjective type,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list)

buildObjToMaximize

public void buildObjToMaximize(String id,
 org.xcsp.common.Types.TypeObjective type,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list)

buildObjToMinimize

public void buildObjToMinimize(String id,
 org.xcsp.common.Types.TypeObjective type,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int[] coeffs)

buildObjToMaximize

public void buildObjToMaximize(String id,
 org.xcsp.common.Types.TypeObjective type,
 org.xcsp.parser.entries.XVariables.XVarInteger[] list,
 int[] coeffs)

buildObjToMinimize

public void buildObjToMinimize(String id,
 org.xcsp.common.Types.TypeObjective type,
 org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees)

buildObjToMaximize

public void buildObjToMaximize(String id,
 org.xcsp.common.Types.TypeObjective type,
 org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees)

buildObjToMinimize

public void buildObjToMinimize(String id,
 org.xcsp.common.Types.TypeObjective type,
 org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees,
 int[] coeffs)

buildObjToMaximize

public void buildObjToMaximize(String id,
 org.xcsp.common.Types.TypeObjective type,
 org.xcsp.common.predicates.XNode<org.xcsp.parser.entries.XVariables.XVarInteger>[] trees,
 int[] coeffs)