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 HashMap<String,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.parser.entries.XVariables.XVarInteger[] list)
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	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	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	buildCtrLex(String id, org.xcsp.parser.entries.XVariables.XVarInteger[][] lists, org.xcsp.common.Types.TypeOperatorRel operator)
void	buildCtrMaximum(String id, org.xcsp.parser.entries.XVariables.XVarInteger[] list, 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.parser.entries.XVariables.XVarInteger[] list, 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	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, org.xcsp.common.Types.TypeOperatorRel operator)
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	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.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)
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)
org.xcsp.parser.callbacks.XCallbacks.Implem	implem()
static XCSP3.XCSP3LoadedInstance	load(String filename)
static void	main(String[] args)

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

buildCtrAllDifferent, buildCtrAllDifferentList, 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, 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, buildCtrAllDifferent, buildCtrAllDifferentExcept, buildCtrAllDifferentMatrix, buildCtrAllEqual, buildCtrBinPacking, buildCtrBinPacking, buildCtrCircuit, buildCtrClause, buildCtrExtension, buildCtrLogic, buildCtrLogic, buildCtrLogic, buildCtrLogic, buildCtrMaximum, buildCtrMaximum, buildCtrMinimum, buildCtrMinimum, buildCtrOrdered, buildCtrOrdered, buildCtrPrecedence, buildCtrPrimitive, buildCtrPrimitive, buildCtrSum, buildCtrSum, buildCtrSum, endAnnotations, endArray, endBlock, endConstraints, endGroup, endInstance, endLogic, endObjectives, endSlide, endVariables

Field Details

expr_cache

protected HashMap<String,IntExpression> expr_cache

Method Details

load

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

Throws:

Exception

main

public static void main(String[] args)
                 throws Exception

Throws:

Exception

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)

buildCtrAllDifferent

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

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,
 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.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)

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)

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)

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)

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)

buildCtrMaximum

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

buildCtrOrdered

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

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)

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)

buildCtrNoOverlap

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

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)

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)

buildCtrLex

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

buildCtrNotAllEqual

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

buildCtrAllEqual

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

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)

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)

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)

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)

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)

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,
 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[][] 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

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)

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)