Uses of Class
org.jacop.core.IntVar
-
-
Uses of IntVar in org.jacop.constraints
Fields in org.jacop.constraints declared as IntVar Modifier and Type Field Description IntVar
AndBoolSimple. a
It specifies variables which all must be equal to 1 to set result variable to 1.IntVar
OrBoolSimple. a
It specifies variables which all must be equal to 1 to set result variable to 1.IntVar
AndBoolSimple. b
It specifies variables which all must be equal to 1 to set result variable to 1.(package private) IntVar
Channel.Item. b
IntVar[]
Conditional. b
The list of 0/1 (Boolean) variables for assignment decision.IntVar
Implies. b
It specifies variable b in the Implies constraint.IntVar
OrBoolSimple. b
It specifies variables which all must be equal to 1 to set result variable to 1.IntVar
Reified. b
It specifies variable b which stores status of the constraint (0 - for certain not satisfied, 1 - for certain satisfied).IntVar
Xor. b
It specifies variable b, which boolean status must satisfy xor relationship with status of constraint c.(package private) IntVar
RectangleWithCondition. c
(package private) IntVar
ExclusiveItem. cond
IntVar
SoftAlldifferent. costVar
IntVar
SoftGCC. costVar
protected IntVar
Values. count
It specifies the idNumber of different values among variables on a given list.IntVar
Count. counter
It specifies variable idNumber to count the number of occurences of the specified value in a list.IntVar[]
CountValues. counter
It specifies variable idNumber to count the number of occurences of the specified value in a list.IntVar
CountVar. counter
It specifies variable idNumber to count the number of occurences of the specified value in a list.IntVar
CountValues. counterRest
protected IntVar[]
GCC. counters
It species variables counters for counting occurences of each possible value from the intial domain of x variables.IntVar[]
Assignment. d
It specifies a list of variables d.(package private) IntVar
Task. dur
IntVar[]
Cumulative. durations
It specifies/stores duration variables for each corresponding task.(package private) IntVar
Member. e
It specifies variable for the overall sum.IntVar[]
CountValues. extendedCounter
private IntVar
NoGood. firstWatch
(package private) IntVar
Alldistinct. guideVariable
IntVar[]
SoftGCC. hardCounters
IntVar
ElementInteger. index
It specifies variable index within an element constraint list[index-indexOffset] = value.IntVar
ElementIntegerFast. index
It specifies variable index within an element constraint list[index - indexOffset] = value.IntVar
ElementVariable. index
It specifies variable index within an element constraint list[index - indexOffset] = value.IntVar
ElementVariableFast. index
It specifies variable index within an element constraint list[index - indexOffset] = value.IntVar[]
Rectangle. length
It specifies the length of the rectangle in each dimension.IntVar
Cumulative. limit
It specifies the limit of the profile of cumulative use of resources.IntVar[]
Alldifferent. list
It specifies a list of variables which must take different values.IntVar[]
Alldistinct. list
It specifies all variables which have to have different values.IntVar[]
Among. list
It specifies the list of variables whose values are checked.IntVar[]
AndBoolVector. list
It specifies a list of variables which all must be equal to 1 to set result variable to 1.IntVar[]
ArgMax. list
It specifies a list of variables among which a maximum value is being searched for.IntVar[]
ArgMin. list
It specifies a list of variables among which a maximum value is being searched for.IntVar[]
AtLeast. list
The list of variables which are checked and counted if equal to specified value.IntVar[]
AtMost. list
The list of variables which are checked and counted if equal to specified value.IntVar[]
Count. list
The list of variables which are checked and counted if equal to specified value.IntVar[]
CountBounds. list
The list of variables which are checked and counted if equal to specified value.IntVar[]
CountValues. list
The list of variables which are checked and counted if equal to specified value.IntVar[]
CountValuesBounds. list
The list of variables which are checked and counted if equal to specified value.IntVar[]
CountVar. list
The list of variables which are checked and counted if equal to specified value.IntVar[]
ElementVariable. list
It specifies list of variables within an element constraint list[index - indexOffset] = value.IntVar[]
ElementVariableFast. list
It specifies list of variables within an element constraint list[index - indexOffset] = value.IntVar[]
EqBool. list
It specifies x variables in the constraint.IntVar[]
ExtensionalConflictVA. list
It stores variables within this extensional constraint, order does matter.IntVar[]
ExtensionalSupportSTR. list
It stores variables within this extensional constraint, order does matter.IntVar[]
ExtensionalSupportVA. list
It stores variables within this extensional constraint, order does matter.IntVar[]
Linear. list
Deprecated.It specifies a list of variables being summed.IntVar[]
Max. list
It specifies a list of variables among which a maximum value is being searched for.IntVar[]
Min. list
It specifies a list of variables among which the minimum value is being searched for.IntVar[]
OrBoolVector. list
It specifies a list of variables among which one must be equal to 1 to set result variable to 1.(package private) IntVar[]
Sequence. list
IntVar[]
Sum. list
Deprecated.It specifies the variables to be summed.protected IntVar[]
SumWeight. list
It specifies a list of variables being summed.IntVar[]
SumWeightDom. list
Deprecated.It specifies a list of variables being summed.protected IntVar[]
Values. list
It specifies a list of variables which are counted.protected IntVar[]
NoGood. listOfVars
It specifies a list of variables in no-good constraint.IntVar[]
AmongVar. listOfX
List of variables x which values are checked against values of variables y.IntVar[]
AmongVar. listOfY
It specifies what values we are counting in the list of x's.IntVar
Max. max
It specifies variable max which stores the maximum value present in the list.IntVar
MaxSimple. max
It specifies variable max which stores the maximum value present in the list.IntVar
ArgMax. maxIndex
It specifies variable max which stores the maximum value present in the list.IntVar
Min. min
It specifies variable min, which stores the minimum value within the whole list.IntVar
MinSimple. min
It specifies variable min which stores the minimum value present in the list.IntVar
ArgMin. minIndex
It specifies variable max which stores the maximum value present in the list.IntVar
Among. n
It is a idNumber variable.IntVar
AmongVar. n
It specifies the number of x variables equal to at least one value present in the list of y.IntVar[]
Rectangle. origin
It specifies the origin of the rectangle in each dimension.(package private) IntVar
Task. res
IntVar[]
Cumulative. resources
It specifies/stores resource variable for each corresponding task.IntVar
AndBoolSimple. result
It specifies variable result, storing the result of and function performed a list of variables.IntVar
AndBoolVector. result
It specifies variable result, storing the result of and function performed a list of variables.IntVar
EqBool. result
It specifies variable result in the constraint.IntVar
OrBoolSimple. result
It specifies variable result, storing the result of or function performed a list of variables.IntVar
OrBoolVector. result
It specifies variable result, storing the result of or function performed a list of variables.private IntVar
NoGood. secondWatch
IntVar[]
SoftGCC. softCounters
(package private) IntVar
Task. start
IntVar[]
Cumulative. starts
It specifies/stores start variables for each corresponding task.IntVar
Sum. sum
Deprecated.It specifies variable sum to store the overall sum of the variables being summed up.(package private) IntVar
SumBool. sum
It specifies variable for the overall sum.(package private) IntVar
SumInt. sum
It specifies variable for the overall sum.IntVar
CountVar. value
The value to which is any variable is equal to makes the constraint count it.IntVar
ElementInteger. value
It specifies variable value within an element constraint list[index-indexOffset] = value.IntVar
ElementIntegerFast. value
It specifies variable value within an element constraint list[index - indexOffset] = value.IntVar
ElementVariable. value
It specifies variable value within an element constraint list[index - indexOffset] = value.IntVar
ElementVariableFast. value
It specifies variable value within an element constraint list[index - indexOffset] = value.private IntVar
Alldiff.Element. var
IntVar
AbsXeqY. x
It contains variable x.IntVar[]
Assignment. x
It specifies a list of variables x.IntVar[]
BoolClause. x
It specifies lists of variables for the constraint.IntVar
Channel. x
Variables that is checked for a value.IntVar
Distance. x
It specifes variable x in constraint |x-y|=z.IntVar[]
GCC. x
It specifies variables x whose values are counted.IntVar
IfThenBool. x
It specifies variable x in constraint ( X => Y ) <=> Z.IntVar
In. x
It specifies variable x whose domain must lie within a specified domain.IntVar[][]
Lex. x
A two dimensional array containing arrays which have to be lexicographically ordered.IntVar[]
LexOrder. x
Two vectors that have to be lexicographically ordered.(package private) IntVar[]
LinearInt. x
It specifies a list of variables being summed.(package private) IntVar[]
Member. x
It specifies a list of variables being summed.(package private) IntVar[]
Stretch. x
(package private) IntVar[]
SumBool. x
It specifies a list of variables being summed.(package private) IntVar[]
SumInt. x
It specifies a list of variables being summed.IntVar[]
ValuePrecede. x
It specifies lists of variables for the constraint.IntVar
XdivYeqZ. x
It specifies variable x in constraint x / y = z.IntVar
XeqC. x
It specifies the variable which is constrained to be equal to the specified value.IntVar
XeqY. x
It specifies a left hand variable in equality constraint.IntVar
XexpYeqZ. x
It specifies the variable x in equation x^y = z.IntVar
XgtC. x
It specifies variable x which must be greater than a given constraint.IntVar
XgteqC. x
It specifies variables x which must be greater or equal to a given constant.IntVar
XgteqY. x
It specifies variable x which must be greater or equal to variable Y.IntVar
XgtY. x
It specifies variable x which must be greater than variable y.IntVar
XltC. x
It specifies variable x to be lower than a given constant.IntVar
XlteqC. x
It specifies variable x which must be smaller or equal to a given constant.IntVar
XlteqY. x
It specifies variable x in the constraint x <= y.IntVar
XltY. x
It specifies x variable in constraint x < y.IntVar
XmodYeqZ. x
It specifies variable x in constraint x mod y = z.IntVar
XmulCeqZ. x
It specifies variable x in constraint x * c = z.IntVar
XmulYeqC. x
It specifies variable x in constraint x * y = c.IntVar
XmulYeqZ. x
It specifies variable x in constraint x * y = z.IntVar
XneqC. x
It specifies variable x in constraint x != c.IntVar
XneqY. x
It specifies variable x in the constraint x != y.IntVar[]
XorBool. x
It specifies variables x for the constraint.IntVar
XplusCeqZ. x
It specifies variable x in constraint x+c=z.IntVar
XplusClteqZ. x
It specifies variable x in constraint x+c<=z.IntVar
XplusYeqC. x
It specifies variable x in constraint x+y=c.IntVar
XplusYeqZ. x
It specifies variable x in constraint x+y=z.IntVar
XplusYgtC. x
It specifies variable x in constraint x + y> c.IntVar
XplusYlteqZ. x
It specifies variable x in constraint x + y<= z.IntVar
MaxSimple. x1
It specifies a variables between which a maximum value is being searched for.IntVar
MinSimple. x1
It specifies a variables between which a minimum value is being searched for.IntVar
MaxSimple. x2
It specifies a variables between which a maximum value is being searched for.IntVar
MinSimple. x2
It specifies a variables between which a minimum value is being searched for.IntVar[]
SoftAlldifferent. xVars
IntVar[]
SoftGCC. xVars
IntVar
AbsXeqY. y
It contains variable y.IntVar[]
BoolClause. y
IntVar
Distance. y
It specifes variable y in constraint |x-y|=z.IntVar
IfThenBool. y
It specifies variable y in constraint ( X => Y ) <=> Z.IntVar[]
LexOrder. y
IntVar
XdivYeqZ. y
It specifies variable y in constraint x / y = z.IntVar
XeqY. y
It specifies a right hand variable in equality constraint.IntVar
XexpYeqZ. y
It specifies the variable y in equation x^y = z.IntVar
XgteqY. y
It specifies variable y from which variable x must be greater or equal.IntVar
XgtY. y
It specifies variable y which must be smaller than variable x.IntVar
XlteqY. y
It specifies variable y in the constraint x <= y.IntVar
XltY. y
It specifies y variable in constraint x < y.IntVar
XmodYeqZ. y
It specifies variable y in constraint x mod y = z.IntVar
XmulYeqC. y
It specifies variable y in constraint x * y = c.IntVar
XmulYeqZ. y
It specifies variable y in constraint x * y = z.IntVar
XneqY. y
It specifies variable y in the constraint x != y.IntVar
XorBool. y
IntVar
XplusYeqC. y
It specifies variable y in constraint x+y=c.IntVar
XplusYeqZ. y
It specifies variable x in constraint x+y=z.IntVar
XplusYgtC. y
It specifies variable y in constraint x + y> c.IntVar
XplusYlteqZ. y
It specifies variable x in constraint x + y<= z.IntVar
Distance. z
It specifes variable z in constraint |x-y|=z.IntVar
IfThenBool. z
It specifies variable z in constraint ( X => Y ) <=> Z.IntVar
XdivYeqZ. z
It specifies variable z in constraint x / y = z.IntVar
XexpYeqZ. z
It specifies the variable z in equation x^y = z.IntVar
XmodYeqZ. z
It specifies variable z in constraint x mod y = z.IntVar
XmulCeqZ. z
It specifies variable x in constraint x * c = z.IntVar
XmulYeqZ. z
It specifies variable z in constraint x * y = z.IntVar
XplusCeqZ. z
It specifies variable z in constraint x+c=z.IntVar
XplusClteqZ. z
It specifies variable z in constraint x+c<= z.IntVar
XplusYeqZ. z
It specifies variable x in constraint x+y=z.IntVar
XplusYlteqZ. z
It specifies variable x in constraint x + y<= z.Fields in org.jacop.constraints with type parameters of type IntVar Modifier and Type Field Description (package private) java.util.Map<IntVar,java.lang.Integer>
Assignment. ds
(package private) java.util.Map<IntVar,java.util.List<java.lang.Integer>>
ElementVariable. duplicates
(package private) java.util.LinkedHashSet<IntVar>
Alldistinct. freeVariables
(package private) java.util.Map<IntVar,java.lang.Integer>
ElementVariable. mapping
(package private) java.util.Map<IntVar,TimeStamp<java.lang.Integer>>
Alldistinct. matching
(package private) java.util.Comparator<IntVar>
Values. minFDV
private java.util.Map<IntVar,java.lang.Integer>
Among. position
protected java.util.Map<IntVar,java.lang.Integer>
Alldifferent. positionMapping
(package private) java.util.Map<IntVar,java.lang.Integer>
Alldistinct. scc
(package private) java.util.Map<IntVar,TimeStamp<java.lang.Integer>>
Alldistinct. sccStamp
(package private) java.util.Map<java.lang.Integer,IntVar>
Channel. valueMap
(package private) java.util.Map<java.lang.Integer,SimpleArrayList<IntVar>>
Alldistinct. valueMapVariable
(package private) java.util.LinkedHashSet<IntVar>
Alldifferent. variableQueue
(package private) java.util.LinkedHashSet<IntVar>
Alldistinct. variableQueue
(package private) java.util.LinkedHashSet<IntVar>
Among. variableQueue
(package private) java.util.LinkedHashSet<IntVar>
Assignment. variableQueue
(package private) java.util.Set<IntVar>
Diff. variableQueue
(package private) java.util.LinkedHashSet<IntVar>
ElementVariable. variableQueue
(package private) java.util.LinkedHashSet<IntVar>
ExtensionalSupportVA. variableQueue
(package private) java.util.LinkedHashSet<IntVar>
SumWeight. variableQueue
(package private) java.util.LinkedHashSet<IntVar>
SumWeightDom. variableQueue
Deprecated.It specifies variable queue of grounded varibales since last run.private java.util.Map<IntVar,java.lang.Integer>
ValuePrecede. varMap
private java.util.LinkedHashSet<IntVar>
ValuePrecede. varQueue
(package private) java.util.Map<IntVar,int[]>
LexOrder. varXToIndex
(package private) java.util.Map<IntVar,int[]>
LexOrder. varYToIndex
private java.util.Map<IntVar,java.lang.Integer>
AmongVar. xIndex
private java.util.Map<IntVar,java.lang.Integer>
GCC. xNodesHash
(package private) java.util.Map<IntVar,java.lang.Integer>
Assignment. xs
private java.util.Set<IntVar>
GCC. xVariableToChange
private java.util.Map<IntVar,java.lang.Integer>
AmongVar. yIndex
private java.util.Set<IntVar>
GCC. zeroCounters
Methods in org.jacop.constraints that return IntVar Modifier and Type Method Description (package private) IntVar
ExclusiveItem. condition()
(package private) IntVar
ExclusiveList. condition(int n, int m)
IntVar
RectangleWithCondition. condition()
(package private) IntVar
Task. dur()
(package private) IntVar[]
AndBool. filter(IntVar[] xs)
(package private) IntVar[]
OrBool. filter(IntVar[] xs)
(package private) IntVar[]
SumBool. filterAndOverflow(IntVar[] x)
(package private) IntVar
Rectangle. length(int i)
private IntVar[]
GCC. removeZeroCounters(IntVar[] x, IntVar[] counters)
(package private) IntVar
Task. res()
(package private) IntVar
Task. start()
Methods in org.jacop.constraints that return types with arguments of type IntVar Modifier and Type Method Description (package private) java.util.List<? extends IntVar>
ExclusiveList. fdvs(int index)
Methods in org.jacop.constraints with parameters of type IntVar Modifier and Type Method Description static Constraint
Element. choose(IntVar index, int[] values, IntVar value)
It constructs element constraint based on variables.static Constraint
Element. choose(IntVar index, int[] values, IntVar value, int shift)
It constructs element constraint based on variables.static Constraint
Element. choose(IntVar index, java.util.List<? extends IntVar> variables, IntVar value)
It constructs element constraint based on variables.static Constraint
Element. choose(IntVar index, java.util.List<? extends IntVar> variables, IntVar value, int shift)
It constructs element constraint based on variables.static Constraint
Element. choose(IntVar index, IntVar[] variables, IntVar value)
It constructs element constraint based on variables.static Constraint
Element. choose(IntVar index, IntVar[] variables, IntVar value, int shift)
It constructs element constraint based on variables.protected void
LinearInt. commonInitialization(Store store, IntVar[] list, int[] weights, java.lang.String rel, int sum)
private void
NoGood. commonInitialization(IntVar[] listOfVars, int[] listOfValues)
void
SumWeightDom. commonInitialization(IntVar[] list, int[] weights, int sum)
Deprecated.private void
Diff. computeNewMaxDuration(IntVar start, int durMin, int excludeMin, int excludeMax)
private boolean
ElementIntegerFast. disjoint(IntVar v1, int v2)
private boolean
ElementVariableFast. disjoint(IntVar v1, IntVar v2)
private boolean
LexOrder. eqSingletons(IntVar x, IntVar y)
(package private) int
Alldistinct. estimatePruning(IntVar x, java.lang.Integer v)
(package private) int
Alldistinct. estimatePruningRecursive(IntVar xVar, java.lang.Integer v, java.util.List<IntVar> exploredX, java.util.List<java.lang.Integer> exploredV)
(package private) IntVar[]
AndBool. filter(IntVar[] xs)
(package private) IntVar[]
OrBool. filter(IntVar[] xs)
(package private) IntVar[]
SumBool. filterAndOverflow(IntVar[] x)
(package private) IntDomain
XmodYeqZ. makeDomain(IntVar x, int y, IntVar z)
private void
Cumulative. profileCheckInterval(Store store, IntVar Start, IntVar Duration, Interval i, IntVar Resources, int mustUseMin, int mustUseMax)
private void
Diff. profileCheckInterval(Store store, DiffnProfile Profile, int limit, IntVar Start, IntVar Duration, int iMin, int i_max, IntVar Resources)
(package private) void
DisjointConditional. profileCheckInterval(Store store, DisjointConditionalProfile Profile, int limit, IntVar Start, IntVar Duration, int _min, int _max, IntVar Resources)
private boolean
LinearInt. pruneMax(IntVar x, long max)
private boolean
SumInt. pruneMax(IntVar x, long max)
private boolean
LinearInt. pruneMin(IntVar x, long min)
private boolean
SumInt. pruneMin(IntVar x, long min)
private boolean
LinearInt. pruneNe(IntVar x, long min, long max, long a)
private boolean
SumInt. pruneNe(IntVar x, long min, long max)
private void
GCC. putToTheEnd(IntVar[] list, int element)
private IntVar[]
GCC. removeZeroCounters(IntVar[] x, IntVar[] counters)
private void
Alldistinct. revisitTarjan(IntVar x, java.util.List<IntVar> l, java.util.Map<IntVar,java.lang.Integer> dfsnum, java.util.Map<IntVar,java.lang.Integer> low, java.util.LinkedHashSet<IntVar> fdvs)
private void
BoolClause. swap(IntVar[] p, int i, int j)
static Rectangle[]
Rectangle. toArrayOf2DRectangles(IntVar[][] rectangles)
static Rectangle[]
Rectangle. toArrayOf2DRectangles(IntVar[] origin1, IntVar[] origin2, IntVar[] length1, IntVar[] length2)
(package private) void
Circuit. updateChains(IntVar v)
private void
Alldistinct. visitTarjan(IntVar x, java.util.List<IntVar> l, java.util.Map<IntVar,java.lang.Integer> dfsnum, java.util.Map<IntVar,java.lang.Integer> low)
Method parameters in org.jacop.constraints with type arguments of type IntVar Modifier and Type Method Description (package private) void
Circuit. alldifferent(Store store, java.util.LinkedHashSet<IntVar> fdvs)
(package private) void
Subcircuit. alldifferent(Store store, java.util.LinkedHashSet<IntVar> fdvs)
static Constraint
Element. choose(IntVar index, java.util.List<? extends IntVar> variables, IntVar value)
It constructs element constraint based on variables.static Constraint
Element. choose(IntVar index, java.util.List<? extends IntVar> variables, IntVar value, int shift)
It constructs element constraint based on variables.(package private) boolean
DisjointConditional. conditionChanged(java.util.Set<IntVar> fdvQueue, int j)
(package private) boolean
Diff. containsChangedVariable(Rectangle r, java.util.Set<IntVar> fdvQueue)
(package private) int
Alldistinct. estimatePruningRecursive(IntVar xVar, java.lang.Integer v, java.util.List<IntVar> exploredX, java.util.List<java.lang.Integer> exploredV)
private boolean
Diff. findRectangles(Rectangle r, java.util.List<IntRectangle> UsedRect, java.util.List<Rectangle> ProfileCandidates, java.util.Set<IntVar> fdvQueue)
(package private) boolean
Diff2. findRectangles(Rectangle r, int index, java.util.List<IntRectangle> UsedRect, java.util.List<Rectangle> ProfileCandidates, java.util.List<Rectangle> OverlappingRects, java.util.Set<IntVar> fdvQueue)
private boolean
Disjoint. findRectangles(Rectangle r, int index, java.util.List<IntRectangle> UsedRect, java.util.List<Rectangle> ProfileCandidates, java.util.List<Rectangle> OverlappingRects, java.util.Set<IntVar> fdvQueue)
(package private) boolean
DisjointConditional. findRectangles(Rectangle r, int index, java.util.List<IntRectangle> UsedRect, java.util.List<RectangleWithCondition> ProfileCandidates, java.util.List<RectangleWithCondition> OverlappingRects, java.util.Set<IntVar> fdvQueue)
private void
Alldistinct. markReachableVariables(java.util.LinkedHashSet<IntVar> variablesReachableFromFreeValues, java.lang.Integer value)
(package private) void
Diff. narrowRectangles(java.util.Set<IntVar> fdvQueue)
(package private) void
Diff2. narrowRectangles(java.util.Set<IntVar> fdvQueue)
(package private) void
Disjoint. narrowRectangles(java.util.Set<IntVar> fdvQueue)
(package private) void
DisjointConditional. narrowRectangles(java.util.Set<IntVar> fdvQueue)
(package private) void
Circuit. oneCircuit(Store store, java.util.LinkedHashSet<IntVar> fdvs)
private void
Alldistinct. revisitTarjan(IntVar x, java.util.List<IntVar> l, java.util.Map<IntVar,java.lang.Integer> dfsnum, java.util.Map<IntVar,java.lang.Integer> low, java.util.LinkedHashSet<IntVar> fdvs)
private void
Alldistinct. revisitTarjan(IntVar x, java.util.List<IntVar> l, java.util.Map<IntVar,java.lang.Integer> dfsnum, java.util.Map<IntVar,java.lang.Integer> low, java.util.LinkedHashSet<IntVar> fdvs)
private void
Alldistinct. revisitTarjan(IntVar x, java.util.List<IntVar> l, java.util.Map<IntVar,java.lang.Integer> dfsnum, java.util.Map<IntVar,java.lang.Integer> low, java.util.LinkedHashSet<IntVar> fdvs)
static Rectangle[]
Rectangle. toArrayOf2DRectangles(java.util.List<? extends java.util.List<? extends IntVar>> rectangles)
private void
Alldistinct. visitTarjan(IntVar x, java.util.List<IntVar> l, java.util.Map<IntVar,java.lang.Integer> dfsnum, java.util.Map<IntVar,java.lang.Integer> low)
private void
Alldistinct. visitTarjan(IntVar x, java.util.List<IntVar> l, java.util.Map<IntVar,java.lang.Integer> dfsnum, java.util.Map<IntVar,java.lang.Integer> low)
Constructors in org.jacop.constraints with parameters of type IntVar Constructor Description AbsXeqY(IntVar x, IntVar y)
It constructs |X| = Y constraints.AbsXeqY(IntVar x, IntVar y, boolean domConsistency)
It constructs |X| = Y constraints.Alldiff(IntVar[] variables)
It constructs the alldiff constraint for the supplied variable.Alldifferent(IntVar[] list)
It constructs the alldifferent constraint for the supplied variable.Alldistinct(IntVar[] list)
It constructs an alldistinct constraint.Among(java.util.List<IntVar> list, IntervalDomain kSet, IntVar n)
It constructs an Among constraint.Among(IntVar[] list, IntervalDomain kSet, IntVar n)
It constructs an Among constraint.AmongVar(java.util.List<IntVar> listOfX, java.util.List<IntVar> listOfY, IntVar n)
It constructs an AmongVar constraint.AmongVar(IntVar[] listOfX, IntVar[] listOfY, IntVar n)
It constructs an AmongVar constraint.AndBool(java.util.List<IntVar> a, IntVar result)
It constructs and constraint on variables.AndBool(IntVar[] a, IntVar result)
It constructs and constraint on variables.AndBool(IntVar a, IntVar b, IntVar result)
It constructs and constraint on variables.AndBoolSimple(IntVar a, IntVar b, IntVar result)
It constructs AndBoolSimple.AndBoolVector(java.util.List<IntVar> list, IntVar result)
It constructs AndBoolVector.AndBoolVector(IntVar[] list, IntVar result)
It constructs AndBoolVector.ArgMax(java.util.List<? extends IntVar> variables, IntVar maxIndex)
ArgMax(java.util.List<? extends IntVar> variables, IntVar maxIndex, int indexOffset)
It constructs max constraint.ArgMax(IntVar[] list, IntVar maxIndex)
ArgMax(IntVar[] list, IntVar maxIndex, int indexOffset)
It constructs max constraint.ArgMin(java.util.List<? extends IntVar> variables, IntVar minIndex)
ArgMin(java.util.List<? extends IntVar> variables, IntVar minIndex, int indexOffset)
It constructs max constraint.ArgMin(IntVar[] list, IntVar minIndex)
ArgMin(IntVar[] list, IntVar minIndex, int indexOffset)
It constructs max constraint.Assignment(IntVar[] xs, IntVar[] ds)
It constructs an Assignment constraint with shift equal 0.Assignment(IntVar[] xs, IntVar[] ds, int min)
It enforces the relationship x[d[i]-min]=i+min and d[x[i]-min]=i+min.Assignment(IntVar[] xs, IntVar[] ds, int shiftX, int shiftD)
It enforces the relationship x[d[i]-shiftX]=i+shiftD and d[x[i]-shiftD]=i+shiftX.AtLeast(IntVar[] list, int counter, int value)
It constructs a AtLeast constraint.AtMost(IntVar[] list, int counter, int value)
It constructs a AtMost constraint.BoolClause(IntVar[] x, IntVar[] y)
It constructs BoolClause.Channel(IntVar x, java.util.Map<java.lang.Integer,IntVar> bs)
Channel(IntVar x, IntVar[] bs)
Channel(IntVar x, IntVar[] bs, int[] value)
It creates Channel constraint.Channel(IntVar x, IntVar[] bs, IntDomain value)
It creates Channel constraint.Circuit(IntVar[] list)
It constructs a circuit constraint.Conditional(IntVar[] b, PrimitiveConstraint[] c)
It constructs a Conditional constraint.Count(java.util.List<? extends IntVar> list, IntVar counter, int value)
It constructs a Count constraint.Count(IntVar[] list, IntVar counter, int value)
It constructs a Count constraint.CountBounds(IntVar[] list, int value, int lb, int ub)
It constructs a CountBounds constraint.CountValues(java.util.List<? extends IntVar> list, IntVar[] counter, int[] values)
It constructs a CountValues constraint.CountValues(IntVar[] list, IntVar[] counter, int[] values)
It constructs a CountValues constraint.CountValuesBounds(IntVar[] list, int[] lb, int[] ub, int[] values)
It constructs a CountValuesBounds constraint.CountVar(java.util.List<? extends IntVar> list, IntVar counter, IntVar value)
It constructs a CountVar constraint.CountVar(IntVar[] list, IntVar counter, IntVar value)
It constructs a CountVar constraint.Cumulative(java.util.List<? extends IntVar> starts, java.util.List<? extends IntVar> durations, java.util.List<? extends IntVar> resources, IntVar limit)
It creates a cumulative constraint.Cumulative(java.util.List<? extends IntVar> starts, java.util.List<? extends IntVar> durations, java.util.List<? extends IntVar> resources, IntVar limit, boolean edgeFinding)
It creates a cumulative constraint.Cumulative(java.util.List<? extends IntVar> starts, java.util.List<? extends IntVar> durations, java.util.List<? extends IntVar> resources, IntVar limit, boolean edgeFinding, boolean profile)
It creates a cumulative constraint.Cumulative(IntVar[] starts, IntVar[] durations, IntVar[] resources, IntVar limit)
It creates a cumulative constraint.Cumulative(IntVar[] starts, IntVar[] durations, IntVar[] resources, IntVar limit, boolean edgeFinding)
It creates a cumulative constraint.Cumulative(IntVar[] starts, IntVar[] durations, IntVar[] resources, IntVar limit, boolean doEdgeFinding, boolean doProfile)
It creates a cumulative constraint.Cumulative(IntVar[] starts, IntVar[] durations, IntVar[] resources, IntVar limit, boolean doEdgeFinding, boolean doProfile, boolean setLimit)
It creates a cumulative constraint.Diff(IntVar[][] rectangles)
It specifies a diff constraint.Diff(IntVar[][] rectangles, boolean profile)
It specifies a diff constraint.Diff(IntVar[] origin1, IntVar[] origin2, IntVar[] length1, IntVar[] length2)
It constructs a diff constraint.Diff(IntVar[] o1, IntVar[] o2, IntVar[] l1, IntVar[] l2, boolean profile)
It constructs a diff constraint.Diff2(IntVar[][] rectangles)
It creates a diff2 constraint.Diff2(IntVar[][] rectangles, boolean profile)
It creates a diff2 constraint.Diff2(IntVar[][] rect, java.util.List<java.util.List<java.lang.Integer>> exclusive)
Conditional Diff2.Diff2(IntVar[] origin1, IntVar[] origin2, IntVar[] length1, IntVar[] length2)
It creates a diff2 constraint.Diff2(IntVar[] o1, IntVar[] o2, IntVar[] l1, IntVar[] l2, boolean profile)
It creates a diff2 constraint.Disjoint(IntVar[][] rectangles)
It creates a diff2 constraint.Disjoint(IntVar[][] rectangles, boolean profile)
It creates a diff2 constraint.Disjoint(IntVar[] origin1, IntVar[] origin2, IntVar[] length1, IntVar[] length2)
It creates a diff2 constraint.Disjoint(IntVar[] o1, IntVar[] o2, IntVar[] l1, IntVar[] l2, boolean profile)
It creates a diff2 constraint.DisjointConditional(IntVar[][] rectangles, java.util.List<java.util.List<java.lang.Integer>> exceptionIndices, java.util.List<? extends IntVar> exceptionCondition)
It creates Disjoint conditional constraint.DisjointConditional(IntVar[][] rectangles, java.util.List<java.util.List<java.lang.Integer>> exceptionIndices, java.util.List<? extends IntVar> exceptionCondition, boolean profile)
It creates Disjoint conditional constraint.DisjointConditional(IntVar[] origin1, IntVar[] origin2, IntVar[] length1, IntVar[] length2, java.util.List<java.util.List<java.lang.Integer>> exceptionIndices, java.util.List<? extends IntVar> exceptionCondition)
It constructs a disjoint conditional constraint.DisjointConditional(IntVar[] o1, IntVar[] o2, IntVar[] l1, IntVar[] l2, java.util.List<java.util.List<java.lang.Integer>> exceptionIndices, java.util.List<? extends IntVar> exceptionCondition, boolean profile)
It constructs a disjoint conditional constraint.Distance(IntVar x, IntVar y, IntVar z)
Distance between x and y |x-y| = zElement(IntVar index, int[] values, IntVar value)
Deprecated.Element(IntVar index, int[] values, IntVar value, int shift)
Deprecated.Element(IntVar index, java.util.List<? extends IntVar> variables, IntVar value)
Deprecated.Element(IntVar index, java.util.List<? extends IntVar> variables, IntVar value, int shift)
Deprecated.Element(IntVar index, IntVar[] variables, IntVar value)
Deprecated.Element(IntVar index, IntVar[] variables, IntVar value, int shift)
Deprecated.ElementInteger(IntVar index, int[] list, IntVar value)
It constructs an element constraint with indexOffset by default set to 0.ElementInteger(IntVar index, int[] list, IntVar value, int indexOffset)
It constructs an element constraint.ElementInteger(IntVar index, int[] list, IntVar value, int indexOffset, boolean checkDuplicates)
It constructs an element constraint.ElementInteger(IntVar index, java.util.List<java.lang.Integer> list, IntVar value)
It constructs an element constraint with default indexOffset equal 0.ElementInteger(IntVar index, java.util.List<java.lang.Integer> list, IntVar value, int indexOffset)
It constructs an element constraint.ElementInteger(IntVar index, java.util.List<java.lang.Integer> list, IntVar value, int indexOffset, boolean checkDuplicates)
It constructs an element constraint.ElementIntegerFast(IntVar index, int[] list, IntVar value)
It constructs an element constraint.ElementIntegerFast(IntVar index, int[] list, IntVar value, int indexOffset)
It constructs an element constraint.ElementIntegerFast(IntVar index, java.util.List<? extends java.lang.Integer> list, IntVar value)
It constructs an element constraint.ElementIntegerFast(IntVar index, java.util.List<? extends java.lang.Integer> list, IntVar value, int indexOffset)
It constructs an element constraint.ElementVariable(IntVar index, java.util.List<? extends IntVar> list, IntVar value)
It constructs an element constraint.ElementVariable(IntVar index, java.util.List<? extends IntVar> list, IntVar value, int indexOffset)
It constructs an element constraint.ElementVariable(IntVar index, IntVar[] list, IntVar value)
It constructs an element constraint.ElementVariable(IntVar index, IntVar[] list, IntVar value, int indexOffset)
It constructs an element constraint.ElementVariableFast(IntVar index, java.util.List<? extends IntVar> list, IntVar value)
It constructs an element constraint.ElementVariableFast(IntVar index, java.util.List<? extends IntVar> list, IntVar value, int indexOffset)
It constructs an element constraint.ElementVariableFast(IntVar index, IntVar[] list, IntVar value)
It constructs an element constraint.ElementVariableFast(IntVar index, IntVar[] list, IntVar value, int indexOffset)
It constructs an element constraint.EqBool(java.util.List<? extends IntVar> list, IntVar result)
It constructs eqBool.EqBool(IntVar[] list, IntVar result)
It constructs eqBool.ExclusiveItem(int a, int b, IntVar c)
ExtensionalConflictVA(IntVar[] list)
Deprecated.ExtensionalConflictVA(IntVar[] list, int[][] tuples)
Constructor stores reference to tuples until imposition, any changes to tuples parameter will be reflected in the constraint behavior.ExtensionalSupportMDD(IntVar[] vars, int[][] table)
It constructs extensional support constraint.ExtensionalSupportSTR(IntVar[] list, boolean reinsertBefore, boolean residuesBefore)
Deprecated.ExtensionalSupportSTR(IntVar[] variables, int[][] tuples)
It creates an extensional constraint.ExtensionalSupportSTR(IntVar[] list, int[][] tuples, boolean reinsertBefore, boolean residuesBefore)
It constructs an extensional constraint.ExtensionalSupportVA(IntVar[] list)
Partial constructor which stores variables involved in a constraint but does not get information about tuples yet.ExtensionalSupportVA(IntVar[] list, int[][] tuples)
Constructor stores reference to tuples until imposition, any changes to tuples parameter will be reflected in the constraint behavior.GCC(IntVar[] x, IntVar[] counters)
It constructs global cardinality constraint.IfThenBool(IntVar x, IntVar y, IntVar z)
It constructs constraint ( X => Y ) <=> Z.Implies(IntVar b, PrimitiveConstraint c)
It constructs ifthen constraint.In(IntVar x, IntDomain dom)
It constructs an In constraint to restrict the domain of the variable.Item(IntVar b, int v)
Lex(IntVar[][] x)
It creates a lexicographical order for vectors x[i], i.e.Lex(IntVar[][] x, boolean lt)
LexOrder(IntVar[] x, IntVar[] y)
It creates a lexicographical order for vectors x and y,LexOrder(IntVar[] x, IntVar[] y, boolean lt)
Linear(Store store, IntVar[] list, int[] weights, java.lang.String rel, int sum)
Deprecated.It constructs the constraint Linear.LinearInt(IntVar[] list, int[] weights, java.lang.String rel, int sum)
LinearInt(IntVar[] list, int[] weights, java.lang.String rel, IntVar sum)
LinearInt(Store store, IntVar[] list, int[] weights, java.lang.String rel, int sum)
Deprecated.LinearInt constraint does not use Store parameter any longer.LinearInt(Store store, IntVar[] list, int[] weights, java.lang.String rel, IntVar sum)
Deprecated.LinearInt constraint does not use Store parameter any longer.LinearIntDom(IntVar[] list, int[] weights, java.lang.String rel, int sum)
It constructs the constraint LinearIntDom.LinearIntDom(IntVar[] list, int[] weights, java.lang.String rel, IntVar sum)
It constructs the constraint LinearIntDom.LinearIntDom(Store store, IntVar[] list, int[] weights, java.lang.String rel, int sum)
Deprecated.LinearIntDom constraint does not use Store parameter any longer.LinearIntDom(Store store, IntVar[] list, int[] weights, java.lang.String rel, IntVar sum)
Deprecated.LinearIntDom constraint does not use Store parameter any longer.Max(java.util.List<? extends IntVar> variables, IntVar max)
It constructs max constraint.Max(IntVar[] list, IntVar max)
It constructs max constraint.MaxSimple(IntVar x1, IntVar x2, IntVar max)
It constructs max constraint.Member(java.util.List<? extends IntVar> list, IntVar e)
It constructs the constraint Member.Member(IntVar[] list, IntVar e)
Min(java.util.List<? extends IntVar> list, IntVar min)
It constructs min constraint.Min(IntVar[] list, IntVar min)
It constructs min constraint.MinSimple(IntVar x1, IntVar x2, IntVar min)
It constructs min constraint.NoGood(IntVar[] listOfVars, int[] listOfValues)
It creates a no-good constraint.OrBool(java.util.List<IntVar> a, IntVar result)
It constructs and constraint on variables.OrBool(IntVar[] a, IntVar result)
It constructs and constraint on variables.OrBool(IntVar a, IntVar b, IntVar result)
It constructs and constraint on variables.OrBoolSimple(IntVar a, IntVar b, IntVar result)
It constructs orBool.OrBoolVector(java.util.List<? extends IntVar> list, IntVar result)
It constructs orBool.OrBoolVector(IntVar[] list, IntVar result)
It constructs orBool.Rectangle(IntVar[] list)
It constructs a rectangle.Rectangle(IntVar[] origin, IntVar[] length)
It constructs a rectangle.RectangleWithCondition(int i, java.util.List<? extends IntVar> R, IntVar cond)
RectangleWithCondition(int i, Rectangle R, IntVar cond)
RectangleWithCondition(int i, IntVar[] R, IntVar cond)
Reified(PrimitiveConstraint c, IntVar b)
It creates Reified constraint.Sequence(IntVar[] list, IntervalDomain set, int q, int min, int max)
It creates a Sequence constraint.SoftAlldifferent(IntVar[] xVars, IntVar costVar, ViolationMeasure violationMeasure)
SoftGCC(IntVar[] xVars, int[] hardLowerBound, int[] hardUpperBound, int[] countedValue, IntVar[] softCounters, IntVar costVar, ViolationMeasure violationMeasure)
It specifies soft-GCC constraint.SoftGCC(IntVar[] xVars, int[] hardLowerBound, int[] hardUpperBound, IntVar[] softCounters, IntVar costVar, ViolationMeasure violationMeasure)
It specifies soft-GCC constraint.SoftGCC(IntVar[] xVars, IntVar[] hardCounters, int[] countedValue, int[] softLowerBound, int[] softUpperBound, IntVar costVar, ViolationMeasure violationMeasure)
It specifies soft-GCC constraint.SoftGCC(IntVar[] xVars, IntVar[] hardCounters, int[] softLowerBound, int[] softUpperBound, IntVar costVar, ViolationMeasure violationMeasure)
It specifies soft-GCC constraint.SoftGCC(IntVar[] xVars, IntVar[] hardCounters, int[] countedValue, IntVar[] softCounters, IntVar costVar, ViolationMeasure violationMeasure)
It specifies soft-GCC constraint.SoftGCC(IntVar[] xVars, IntVar[] hardCounters, IntVar[] softCounters, IntVar costVar, ViolationMeasure violationMeasure)
It specifies soft-GCC constraint.Stretch(int[] values, int[] min, int[] max, IntVar[] x)
It creates a Stretch constraint.Subcircuit(IntVar[] list)
It constructs a circuit constraint.Sum(java.util.List<? extends IntVar> list, IntVar sum)
Deprecated.It creates a sum constraints which sums all variables and makes it equal to variable sum.Sum(IntVar[] list, IntVar sum)
Deprecated.It constructs sum constraint which sums all variables and makes it equal to variable sum.SumBool(java.util.List<? extends IntVar> variables, java.lang.String rel, IntVar sum)
It constructs the constraint SumBool.SumBool(IntVar[] list, java.lang.String rel, IntVar sum)
SumBool(Store store, java.util.List<? extends IntVar> variables, java.lang.String rel, IntVar sum)
Deprecated.SumBool constraint does not use Store parameter any longer.SumBool(Store store, IntVar[] list, java.lang.String rel, IntVar sum)
Deprecated.SumBool constraint does not use Store parameter any longer.SumInt(java.util.List<? extends IntVar> variables, java.lang.String rel, IntVar sum)
It constructs the constraint SumInt.SumInt(IntVar[] list, java.lang.String rel, IntVar sum)
SumInt(Store store, java.util.List<? extends IntVar> variables, java.lang.String rel, IntVar sum)
Deprecated.SumInt constraint does not use Store parameter any longer.SumInt(Store store, IntVar[] list, java.lang.String rel, IntVar sum)
Deprecated.SumInt constraint does not use Store parameter any longer.SumWeight(java.util.List<? extends IntVar> variables, java.util.List<java.lang.Integer> weights, IntVar sum)
It constructs the constraint SumWeight.SumWeight(IntVar[] list, int[] weights, int equalTo)
SumWeight(IntVar[] list, int[] weights, IntVar sum)
SumWeight(IntVar[] list, int[] weights, IntVar sum, int equalTo)
SumWeightDom(java.util.List<? extends IntVar> list, java.util.List<java.lang.Integer> weights, IntVar sum)
Deprecated.It constructs the constraint SumWeightDom.SumWeightDom(IntVar[] list, int[] weights, int sum)
Deprecated.SumWeightDom(IntVar[] list, int[] weights, IntVar sum)
Deprecated.Task(IntVar start, IntVar duration, IntVar resourceUsage)
ValuePrecede(int s, int t, IntVar[] x)
It constructs ValuePrecede.Values(java.util.List<? extends IntVar> list, IntVar count)
It constructs Values constraint.Values(IntVar[] list, IntVar count)
It constructs Values constraint.XdivYeqZ(IntVar x, IntVar y, IntVar z)
It constructs a constraint X div Y = Z.XeqC(IntVar x, int c)
It constructs the constraint X = C.XeqY(IntVar x, IntVar y)
It constructs constraint X = Y.XexpYeqZ(IntVar x, IntVar y, IntVar z)
It constructs constraint X^Y=Z.XgtC(IntVar x, int c)
It constructs constraint X > C.XgteqC(IntVar x, int c)
It constructs constraint X >= C.XgteqY(IntVar x, IntVar y)
It constructs constraint X >= Y.XgtY(IntVar x, IntVar y)
It constructs a constraint X > Y.XltC(IntVar x, int c)
It constructs constraint X < C.XlteqC(IntVar x, int c)
It constructs constraint X <= C.XlteqY(IntVar x, IntVar y)
It constructs the constraint X <= Y.XltY(IntVar x, IntVar y)
It constructs the constraint X < Y.XmodYeqZ(IntVar x, IntVar y, IntVar z)
It constructs a constraint X mod Y = Z.XmulCeqZ(IntVar x, int c, IntVar z)
It constructs a constraint X * C = Z.XmulYeqC(IntVar x, IntVar y, int c)
It constructs constraint X * Y = C.XmulYeqZ(IntVar x, IntVar y, IntVar z)
It constructs a constraint X * Y = Z.XneqC(IntVar x, int c)
It constructs x != c constraint.XneqY(IntVar x, IntVar y)
It constructs X != Y constraint.Xor(PrimitiveConstraint c, IntVar b)
It constructs a xor constraint.XorBool(IntVar[] x, IntVar y)
It constructs constraint (x_0 xor x_1 xor ...XplusCeqZ(IntVar x, int c, IntVar z)
It constructs a constraint x+c=z.XplusClteqZ(IntVar x, int c, IntVar z)
It constructs constraint X+C<= Z.XplusYeqC(IntVar x, IntVar y, int c)
It constructs the constraint X+Y=C.XplusYeqZ(IntVar x, IntVar y, IntVar z)
It constructs constraint X+Y=Z.XplusYgtC(IntVar x, IntVar y, int c)
It constructs X+Y> C constraint.XplusYlteqZ(IntVar x, IntVar y, IntVar z)
It constructs X + Y<= Z constraint.Constructor parameters in org.jacop.constraints with type arguments of type IntVar Constructor Description Alldiff(java.util.List<? extends IntVar> variables)
It constructs the alldiff constraint for the supplied variable.Alldifferent(java.util.List<? extends IntVar> variables)
It constructs the alldifferent constraint for the supplied variable.Alldistinct(java.util.List<? extends IntVar> list)
It constructs an alldistinct constraint.Among(java.util.List<IntVar> list, IntervalDomain kSet, IntVar n)
It constructs an Among constraint.AmongVar(java.util.List<IntVar> listOfX, java.util.List<IntVar> listOfY, IntVar n)
It constructs an AmongVar constraint.AndBool(java.util.List<IntVar> a, IntVar result)
It constructs and constraint on variables.AndBoolVector(java.util.List<IntVar> list, IntVar result)
It constructs AndBoolVector.ArgMax(java.util.List<? extends IntVar> variables, IntVar maxIndex)
ArgMax(java.util.List<? extends IntVar> variables, IntVar maxIndex, int indexOffset)
It constructs max constraint.ArgMin(java.util.List<? extends IntVar> variables, IntVar minIndex)
ArgMin(java.util.List<? extends IntVar> variables, IntVar minIndex, int indexOffset)
It constructs max constraint.Assignment(java.util.List<? extends IntVar> xs, java.util.List<? extends IntVar> ds)
It constructs an Assignment constraint with shift equal 0.Assignment(java.util.List<? extends IntVar> xs, java.util.List<? extends IntVar> ds, int shiftX, int shiftD)
It enforces the relationship x[d[i]-shiftX]=i+shiftD and d[x[i]-shiftD]=i+shiftX.AtLeast(java.util.List<? extends IntVar> list, int counter, int value)
It constructs a AtLeast constraint.AtMost(java.util.List<? extends IntVar> list, int counter, int value)
It constructs a AtMost constraint.BoolClause(java.util.List<IntVar> x, java.util.List<IntVar> y)
It constructs BoolClause.Channel(IntVar x, java.util.Map<java.lang.Integer,IntVar> bs)
Circuit(java.util.List<IntVar> list)
It constructs a circuit constraint.Conditional(java.util.List<? extends IntVar> b, java.util.List<? extends PrimitiveConstraint> c)
It constructs a Conditional constraint.Count(java.util.List<? extends IntVar> list, IntVar counter, int value)
It constructs a Count constraint.CountBounds(java.util.List<? extends IntVar> list, int value, int lb, int ub)
It constructs a CountBounds constraint.CountValues(java.util.List<? extends IntVar> list, IntVar[] counter, int[] values)
It constructs a CountValues constraint.CountValuesBounds(java.util.List<? extends IntVar> list, int[] lb, int[] ub, int[] values)
It constructs a CountValuesBounds constraint.CountVar(java.util.List<? extends IntVar> list, IntVar counter, IntVar value)
It constructs a CountVar constraint.Cumulative(java.util.List<? extends IntVar> starts, java.util.List<? extends IntVar> durations, java.util.List<? extends IntVar> resources, IntVar limit)
It creates a cumulative constraint.Cumulative(java.util.List<? extends IntVar> starts, java.util.List<? extends IntVar> durations, java.util.List<? extends IntVar> resources, IntVar limit, boolean edgeFinding)
It creates a cumulative constraint.Cumulative(java.util.List<? extends IntVar> starts, java.util.List<? extends IntVar> durations, java.util.List<? extends IntVar> resources, IntVar limit, boolean edgeFinding, boolean profile)
It creates a cumulative constraint.Diff(java.util.List<? extends java.util.List<? extends IntVar>> rectangles)
It specifies a diffn constraint.Diff(java.util.List<? extends java.util.List<? extends IntVar>> rectangles, boolean profile)
It specifies a diff constraint.Diff(java.util.List<? extends IntVar> o1, java.util.List<? extends IntVar> o2, java.util.List<? extends IntVar> l1, java.util.List<? extends IntVar> l2)
It constructs a diff constraint.Diff(java.util.List<? extends IntVar> o1, java.util.List<? extends IntVar> o2, java.util.List<? extends IntVar> l1, java.util.List<? extends IntVar> l2, boolean profile)
It constructs a diff constraint.Diff2(java.util.List<? extends java.util.List<? extends IntVar>> rectangles)
It creates a diff2 constraint.Diff2(java.util.List<? extends java.util.List<? extends IntVar>> rectangles, boolean profile)
It creates a diff2 constraint.Diff2(java.util.List<? extends IntVar> o1, java.util.List<? extends IntVar> o2, java.util.List<? extends IntVar> l1, java.util.List<? extends IntVar> l2)
It creates a diff2 constraint.Diff2(java.util.List<java.util.List<IntVar>> rectangles, java.util.List<java.util.List<java.lang.Integer>> exclusiveList)
Conditional Diff2.Diff2(java.util.List<IntVar> o1, java.util.List<IntVar> o2, java.util.List<IntVar> l1, java.util.List<IntVar> l2, boolean profile)
It creates a diff2 constraint.Disjoint(java.util.List<? extends java.util.List<? extends IntVar>> rectangles)
It creates a diff2 constraint.Disjoint(java.util.List<? extends java.util.List<? extends IntVar>> rectangles, boolean profile)
It creates a diff2 constraint.Disjoint(java.util.List<? extends IntVar> o1, java.util.List<? extends IntVar> o2, java.util.List<? extends IntVar> l1, java.util.List<? extends IntVar> l2)
It creates a diff2 constraint.Disjoint(java.util.List<IntVar> o1, java.util.List<IntVar> o2, java.util.List<IntVar> l1, java.util.List<IntVar> l2, boolean profile)
It creates a diff2 constraint.DisjointConditional(java.util.List<? extends IntVar> o1, java.util.List<? extends IntVar> o2, java.util.List<? extends IntVar> l1, java.util.List<? extends IntVar> l2, java.util.List<java.util.List<java.lang.Integer>> exceptionIndices, java.util.List<? extends IntVar> exceptionCondition)
It constructs a disjoint conditional constraint.DisjointConditional(java.util.List<? extends IntVar> o1, java.util.List<? extends IntVar> o2, java.util.List<? extends IntVar> l1, java.util.List<? extends IntVar> l2, java.util.List<java.util.List<java.lang.Integer>> exceptionIndices, java.util.List<? extends IntVar> exceptionCondition, boolean profile)
It constructs a disjoint conditional constraint.DisjointConditional(java.util.List<java.util.List<? extends IntVar>> rectangles, java.util.List<java.util.List<java.lang.Integer>> exceptionIndices, java.util.List<? extends IntVar> exceptionCondition)
It creates Disjoint conditional constraint.DisjointConditional(java.util.List<java.util.List<? extends IntVar>> rectangles, java.util.List<java.util.List<java.lang.Integer>> exceptionIndices, java.util.List<? extends IntVar> exceptionCondition, boolean profile)
It creates Disjoint conditional constraint.Element(IntVar index, java.util.List<? extends IntVar> variables, IntVar value)
Deprecated.Element(IntVar index, java.util.List<? extends IntVar> variables, IntVar value, int shift)
Deprecated.ElementVariable(IntVar index, java.util.List<? extends IntVar> list, IntVar value)
It constructs an element constraint.ElementVariable(IntVar index, java.util.List<? extends IntVar> list, IntVar value, int indexOffset)
It constructs an element constraint.ElementVariableFast(IntVar index, java.util.List<? extends IntVar> list, IntVar value)
It constructs an element constraint.ElementVariableFast(IntVar index, java.util.List<? extends IntVar> list, IntVar value, int indexOffset)
It constructs an element constraint.EqBool(java.util.List<? extends IntVar> list, IntVar result)
It constructs eqBool.ExtensionalConflictVA(java.util.List<? extends IntVar> variables, int[][] tuples)
The constructor does not create local copy of tuples array.ExtensionalSupportVA(java.util.List<? extends IntVar> variables, int[][] tuples)
The constructor does not create local copy of tuples array.GCC(java.util.List<? extends IntVar> x, java.util.List<? extends IntVar> counters)
It constructs global cardinality constraint.Linear(Store store, java.util.List<? extends IntVar> variables, java.util.List<java.lang.Integer> weights, java.lang.String rel, int sum)
Deprecated.It constructs the constraint Linear.LinearInt(java.util.List<? extends IntVar> list, java.util.List<java.lang.Integer> weights, java.lang.String rel, int sum)
It constructs the constraint LinearInt.LinearInt(Store store, java.util.List<? extends IntVar> list, java.util.List<java.lang.Integer> weights, java.lang.String rel, int sum)
Deprecated.LinearInt constraint does not use Store parameter any longer.LinearIntDom(java.util.List<? extends IntVar> variables, java.util.List<java.lang.Integer> weights, java.lang.String rel, int sum)
It constructs the constraint LinearIntDom.LinearIntDom(Store store, java.util.List<? extends IntVar> variables, java.util.List<java.lang.Integer> weights, java.lang.String rel, int sum)
Deprecated.LinearIntDom constraint does not use Store parameter any longer.Max(java.util.List<? extends IntVar> variables, IntVar max)
It constructs max constraint.Member(java.util.List<? extends IntVar> list, IntVar e)
It constructs the constraint Member.Min(java.util.List<? extends IntVar> list, IntVar min)
It constructs min constraint.NoGood(java.util.List<? extends IntVar> listOfVars, java.util.List<java.lang.Integer> listOfValues)
It creates a no-good constraint.OrBool(java.util.List<IntVar> a, IntVar result)
It constructs and constraint on variables.OrBoolVector(java.util.List<? extends IntVar> list, IntVar result)
It constructs orBool.Rectangle(java.util.List<? extends IntVar> list)
It constructs a rectangle.RectangleWithCondition(int i, java.util.List<? extends IntVar> R, IntVar cond)
Subcircuit(java.util.List<IntVar> list)
It constructs a circuit constraint.Sum(java.util.List<? extends IntVar> list, IntVar sum)
Deprecated.It creates a sum constraints which sums all variables and makes it equal to variable sum.SumBool(java.util.List<? extends IntVar> variables, java.lang.String rel, IntVar sum)
It constructs the constraint SumBool.SumBool(Store store, java.util.List<? extends IntVar> variables, java.lang.String rel, IntVar sum)
Deprecated.SumBool constraint does not use Store parameter any longer.SumInt(java.util.List<? extends IntVar> variables, java.lang.String rel, IntVar sum)
It constructs the constraint SumInt.SumInt(Store store, java.util.List<? extends IntVar> variables, java.lang.String rel, IntVar sum)
Deprecated.SumInt constraint does not use Store parameter any longer.SumWeight(java.util.List<? extends IntVar> variables, java.util.List<java.lang.Integer> weights, IntVar sum)
It constructs the constraint SumWeight.SumWeightDom(java.util.List<? extends IntVar> list, java.util.List<java.lang.Integer> weights, int sum)
Deprecated.It constructs the constraint SumWeightDom.SumWeightDom(java.util.List<? extends IntVar> list, java.util.List<java.lang.Integer> weights, IntVar sum)
Deprecated.It constructs the constraint SumWeightDom.ValuePrecede(int s, int t, java.util.List<IntVar> x)
It constructs ValuePrecede.Values(java.util.List<? extends IntVar> list, IntVar count)
It constructs Values constraint. -
Uses of IntVar in org.jacop.constraints.binpacking
Fields in org.jacop.constraints.binpacking declared as IntVar Modifier and Type Field Description IntVar
BinItem. bin
IntVar[]
Binpacking. load
It specifies a list of variables which define bin load.Fields in org.jacop.constraints.binpacking with type parameters of type IntVar Modifier and Type Field Description private java.util.Map<IntVar,java.lang.Integer>
Binpacking. binMap
private SimpleHashSet<IntVar>
Binpacking. binQueue
private java.util.Map<IntVar,java.lang.Integer>
Binpacking. itemMap
private SimpleHashSet<IntVar>
Binpacking. itemQueue
Constructors in org.jacop.constraints.binpacking with parameters of type IntVar Constructor Description BinItem(IntVar bin, int weight)
Binpacking(IntVar[] bin, IntVar[] load, int[] w)
It constructs the binpacking constraint for the supplied variable.Binpacking(IntVar[] bin, IntVar[] load, int[] w, int minBin)
It constructs the binpacking constraint for the supplied variable.Constructor parameters in org.jacop.constraints.binpacking with type arguments of type IntVar Constructor Description Binpacking(java.util.List<? extends IntVar> bin, java.util.List<? extends IntVar> load, int[] w)
It constructs the binpacking constraint for the supplied variable.Binpacking(java.util.List<? extends IntVar> bin, java.util.List<? extends IntVar> load, int[] w, int minBin)
It constructs the binpacking constraint for the supplied variable. -
Uses of IntVar in org.jacop.constraints.cumulative
Fields in org.jacop.constraints.cumulative declared as IntVar Modifier and Type Field Description (package private) IntVar
ThetaLambdaTree. C
(package private) IntVar
Task. dur
IntVar
CumulativeBasic. limit
It specifies the limit of the profile of cumulative use of resources.IntVar
CumulativePrimary. limit
It specifies the limit of the profile of cumulative use of resources.(package private) IntVar
Task. res
private IntVar[]
CumulativePrimary. start
start times of tasks(package private) IntVar
Task. start
Methods in org.jacop.constraints.cumulative that return IntVar Modifier and Type Method Description (package private) IntVar
Task. dur()
(package private) IntVar
ThetaLambdaTree. getCapacity()
(package private) IntVar
Task. res()
(package private) IntVar
Task. start()
Methods in org.jacop.constraints.cumulative with parameters of type IntVar Modifier and Type Method Description (package private) void
ThetaLambdaTree. setCapacity(IntVar capacity)
Constructors in org.jacop.constraints.cumulative with parameters of type IntVar Constructor Description Cumulative(java.util.List<? extends IntVar> starts, java.util.List<? extends IntVar> durations, java.util.List<? extends IntVar> resources, IntVar limit)
It creates a cumulative constraint.Cumulative(IntVar[] starts, IntVar[] durations, IntVar[] resources, IntVar limit)
It creates a cumulative constraint.CumulativeBasic(java.util.List<? extends IntVar> starts, java.util.List<? extends IntVar> durations, java.util.List<? extends IntVar> resources, IntVar limit)
It creates a cumulative constraint.CumulativeBasic(IntVar[] starts, IntVar[] durations, IntVar[] resources, IntVar limit)
It creates a cumulative constraint.CumulativePrimary(java.util.List<? extends IntVar> starts, java.util.List<? extends java.lang.Integer> durations, java.util.List<? extends java.lang.Integer> resources, IntVar limit)
It creates a cumulative constraint.CumulativePrimary(IntVar[] starts, int[] durations, int[] resources, IntVar limit)
It creates a cumulative constraint.CumulativeUnary(java.util.List<? extends IntVar> starts, java.util.List<? extends IntVar> durations, java.util.List<? extends IntVar> resources, IntVar limit)
It creates a cumulative constraint.CumulativeUnary(java.util.List<? extends IntVar> starts, java.util.List<? extends IntVar> durations, java.util.List<? extends IntVar> resources, IntVar limit, boolean doProfile)
It creates a cumulative constraint.CumulativeUnary(IntVar[] starts, IntVar[] durations, IntVar[] resources, IntVar limit)
It creates a cumulative constraint.CumulativeUnary(IntVar[] starts, IntVar[] durations, IntVar[] resources, IntVar limit, boolean doProfile)
It creates a cumulative constraint.Task(IntVar start, IntVar duration, IntVar resourceUsage)
TaskNormalView(IntVar start, IntVar dur, IntVar res)
TaskReversedView(IntVar start, IntVar dur, IntVar res)
TaskView(IntVar start, IntVar dur, IntVar res)
ThetaLambdaTree(IntVar capacity)
Constructor parameters in org.jacop.constraints.cumulative with type arguments of type IntVar Constructor Description Cumulative(java.util.List<? extends IntVar> starts, java.util.List<? extends IntVar> durations, java.util.List<? extends IntVar> resources, IntVar limit)
It creates a cumulative constraint.CumulativeBasic(java.util.List<? extends IntVar> starts, java.util.List<? extends IntVar> durations, java.util.List<? extends IntVar> resources, IntVar limit)
It creates a cumulative constraint.CumulativePrimary(java.util.List<? extends IntVar> starts, java.util.List<? extends java.lang.Integer> durations, java.util.List<? extends java.lang.Integer> resources, IntVar limit)
It creates a cumulative constraint.CumulativeUnary(java.util.List<? extends IntVar> starts, java.util.List<? extends IntVar> durations, java.util.List<? extends IntVar> resources, IntVar limit)
It creates a cumulative constraint.CumulativeUnary(java.util.List<? extends IntVar> starts, java.util.List<? extends IntVar> durations, java.util.List<? extends IntVar> resources, IntVar limit, boolean doProfile)
It creates a cumulative constraint. -
Uses of IntVar in org.jacop.constraints.diffn
Fields in org.jacop.constraints.diffn declared as IntVar Modifier and Type Field Description IntVar[]
Rectangle. length
(package private) IntVar[]
DiffnDecomposed. lx
(package private) IntVar[]
DiffnDecomposed. ly
IntVar[]
Rectangle. origin
It specifies the the rectangle.(package private) IntVar[]
DiffnDecomposed. x
(package private) IntVar[]
DiffnDecomposed. y
Methods in org.jacop.constraints.diffn that return IntVar Modifier and Type Method Description (package private) IntVar
Rectangle. length(int dim)
(package private) IntVar
Rectangle. origin(int dim)
Constructors in org.jacop.constraints.diffn with parameters of type IntVar Constructor Description Diffn(IntVar[][] rectangles)
It specifies a diff constraint.Diffn(IntVar[][] rectangles, boolean strict)
It specifies a diff constraint.Diffn(IntVar[] origin1, IntVar[] origin2, IntVar[] length1, IntVar[] length2)
It constructs a diff constraint.Diffn(IntVar[] origin1, IntVar[] origin2, IntVar[] length1, IntVar[] length2, boolean strict)
It constructs a diff constraint.DiffnDecomposed(IntVar[][] rectangle)
It specifies a diff constraint.DiffnDecomposed(IntVar[] origin1, IntVar[] origin2, IntVar[] length1, IntVar[] length2)
It constructs a diff constraint.Nooverlap(IntVar[][] rectangle)
It specifies a diff constraint.Nooverlap(IntVar[][] rectangle, boolean strict)
It specifies a diff constraint.Nooverlap(IntVar[] origin1, IntVar[] origin2, IntVar[] length1, IntVar[] length2)
It constructs a diff constraint.Nooverlap(IntVar[] origin1, IntVar[] origin2, IntVar[] length1, IntVar[] length2, boolean strict)
It constructs a diff constraint.Rectangle(IntVar[] list)
It constructs a rectangle.Rectangle(IntVar o1, IntVar o2, IntVar l1, IntVar l2)
It constructs a rectangle.Constructor parameters in org.jacop.constraints.diffn with type arguments of type IntVar Constructor Description Diffn(java.util.List<? extends java.util.List<? extends IntVar>> rectangles)
It specifies a diffn constraint.Diffn(java.util.List<? extends java.util.List<? extends IntVar>> rectangles, boolean strict)
It specifies a diffn constraint.Diffn(java.util.List<? extends IntVar> o1, java.util.List<? extends IntVar> o2, java.util.List<? extends IntVar> l1, java.util.List<? extends IntVar> l2)
It constructs a diff constraint.Diffn(java.util.List<? extends IntVar> o1, java.util.List<? extends IntVar> o2, java.util.List<? extends IntVar> l1, java.util.List<? extends IntVar> l2, boolean strict)
It constructs a diff constraint.DiffnDecomposed(java.util.List<? extends java.util.List<? extends IntVar>> rectangle)
It specifies a diffn constraint.DiffnDecomposed(java.util.List<? extends IntVar> x, java.util.List<? extends IntVar> y, java.util.List<? extends IntVar> lx, java.util.List<? extends IntVar> ly)
It constructs a diff constraint.Nooverlap(java.util.List<? extends java.util.List<? extends IntVar>> rectangle)
It specifies a diffn constraint.Nooverlap(java.util.List<? extends java.util.List<? extends IntVar>> rectangle, boolean strict)
It specifies a diffn constraint.Nooverlap(java.util.List<? extends IntVar> o1, java.util.List<? extends IntVar> o2, java.util.List<? extends IntVar> l1, java.util.List<? extends IntVar> l2)
It constructs a diff constraint.Nooverlap(java.util.List<? extends IntVar> o1, java.util.List<? extends IntVar> o2, java.util.List<? extends IntVar> l1, java.util.List<? extends IntVar> l2, boolean strict)
It constructs a diff constraint.Rectangle(java.util.List<? extends IntVar> list)
It constructs a rectangle. -
Uses of IntVar in org.jacop.constraints.geost
Fields in org.jacop.constraints.geost declared as IntVar Modifier and Type Field Description IntVar[]
GeostObject. coords
It specifies the coordinates in k-dimensional space at which the object is fixed.IntVar
GeostObject. duration
It specifies the duration time of this object.IntVar
GeostObject. end
It specifies the end time of this object.IntVar
GeostObject. shapeID
It specifies the possible shape ids to be taken by this object.IntVar
GeostObject. start
It specifies the start time of this object in time dimension.Constructors in org.jacop.constraints.geost with parameters of type IntVar Constructor Description GeostObject(int no, IntVar[] coords, IntVar shapeID, IntVar start, IntVar duration, IntVar end)
It constructs a Geost object with all the attributes needed by the Geost constraint. -
Uses of IntVar in org.jacop.constraints.knapsack
Fields in org.jacop.constraints.knapsack declared as IntVar Modifier and Type Field Description protected IntVar
Knapsack. knapsackCapacity
This is a finite domain variable to specify the knapsack capacity.protected IntVar
Knapsack. knapsackProfit
This is a finite domain variable to specify the knapsack profit.IntVar
KnapsackItem. quantity
It is a finite domain variable specifying the possible quantity of that item.IntVar
TreeLeaf. quantity
It specifies the finite domain variable denoting the allowed quantity of the item,Fields in org.jacop.constraints.knapsack with type parameters of type IntVar Modifier and Type Field Description private java.util.Map<IntVar,TreeLeaf>
Knapsack. variableLeafMapping
It specifies mapping from variables into the leaf of the knapsack tree.Methods in org.jacop.constraints.knapsack that return IntVar Modifier and Type Method Description IntVar
KnapsackItem. getVariable()
t returns quantity variable associated with that item.IntVar
TreeLeaf. getVariable()
Methods in org.jacop.constraints.knapsack with parameters of type IntVar Modifier and Type Method Description private void
Knapsack. commonInitialization(int[] profits, int[] weights, IntVar[] quantity, IntVar knapsackCapacity, IntVar knapsackProfit)
Constructors in org.jacop.constraints.knapsack with parameters of type IntVar Constructor Description Knapsack(int[] profits, int[] weights, IntVar[] quantity, IntVar knapsackCapacity, IntVar knapsackProfit)
It constructs the knapsack constraint.Knapsack(KnapsackItem[] items, IntVar knapsackCapacity, IntVar knapsackProfit)
It constructs an knapsack constraint.KnapsackItem(IntVar quantity, int weight, int profit)
It constructs an item.Tree(KnapsackItem[] items, java.util.Map<IntVar,TreeLeaf> varPositionMaping, TreeLeaf[] leaves, IntVar zero)
It constructs a tree out of the list of items and creates proper supporting structures.TreeLeaf(IntVar quantity, int weight, int profit, int positionInTheTree)
It creates a leaf in the tree of items.Constructor parameters in org.jacop.constraints.knapsack with type arguments of type IntVar Constructor Description Tree(KnapsackItem[] items, java.util.Map<IntVar,TreeLeaf> varPositionMaping, TreeLeaf[] leaves, IntVar zero)
It constructs a tree out of the list of items and creates proper supporting structures. -
Uses of IntVar in org.jacop.constraints.netflow
Fields in org.jacop.constraints.netflow declared as IntVar Modifier and Type Field Description IntVar
NetworkBuilder. costVariable
IntVar
NetworkFlow. costVariable
The cost variablestatic IntVar
Arithmetic. NULL_VAR
IntVar
DomainStructure. variable
private IntVar
MultiVarHandler. variable
IntVar
ArcCompanion. wVar
The FDV for lower and upper costIntVar
ArcCompanion. xVar
The FDV for lower and upper capacityFields in org.jacop.constraints.netflow with type parameters of type IntVar Modifier and Type Field Description protected java.util.Map<IntVar,java.lang.Integer>
Arithmetic. map
java.util.Map<IntVar,VarHandler>
NetworkFlow. map
The variables and their handlersjava.util.Set<IntVar>
NetworkFlow. queue
The set of queued variablesprotected java.util.List<IntVar>
Arithmetic. vars
Methods in org.jacop.constraints.netflow that return types with arguments of type IntVar Modifier and Type Method Description java.util.List<IntVar>
ArcCompanion. listVariables()
java.util.List<IntVar>
DomainStructure. listVariables()
java.util.List<IntVar>
MultiVarHandler. listVariables()
java.util.ArrayList<IntVar>
NetworkBuilder. listVariables()
java.util.List<IntVar>
VarHandler. listVariables()
Methods in org.jacop.constraints.netflow with parameters of type IntVar Modifier and Type Method Description Arc
NetworkBuilder. addArc(Node from, Node to, int weight, IntVar xVar)
Arc
NetworkBuilder. addArc(Node from, Node to, IntVar wVar, int lowerCapacity, int upperCapacity)
Arc
NetworkBuilder. addArc(Node from, Node to, IntVar wVar, IntVar xVar)
void
Arithmetic. addEquation(IntVar[] vars, int[] coeffs)
void
Arithmetic. addEquation(IntVar[] vars, int[] coeffs, int constant)
void
Arithmetic. addSum(IntVar[] vars, IntVar sum)
void
Arithmetic. addXplusYeqZ(IntVar x, IntVar y, IntVar z)
void
Arithmetic. addXsubYeqZ(IntVar x, IntVar y, IntVar z)
private int
Arithmetic. lookup(IntVar var)
void
ArcCompanion. processEvent(IntVar variable, MutableNetwork network)
void
DomainStructure. processEvent(IntVar variable, MutableNetwork network)
void
MultiVarHandler. processEvent(IntVar variable, MutableNetwork network)
void
VarHandler. processEvent(IntVar variable, MutableNetwork network)
Informs the handler that one of its variable has changed and asks the handler to update the state of the network accordingly.void
NetworkBuilder. setCostVariable(IntVar costVariable)
private void
NetworkBuilder. sumC(java.util.List<Constraint> list, Store store, java.util.List<IntVar> vars, IntVar result)
Node[][]
NetworkBuilder. valueGraph(IntVar[] vars, IntDomain[] domains)
Returns two arrays containing the nodes for each variable and the nodes for each domain, respectively.Constructors in org.jacop.constraints.netflow with parameters of type IntVar Constructor Description DomainStructure(IntVar variable, java.util.List<Domain> domList, java.util.List<Arc> arcList)
Creates an S-variableDomainStructure(IntVar variable, IntDomain[] domains, Arc[] arcs)
DomainStructure(IntVar variable, IntDomain[] domains, Arc[] arcs, DomainStructure.Behavior behavior)
MultiVarHandler(IntVar variable, VarHandler... handlers)
NetworkBuilder(IntVar costVariable)
NetworkFlow(java.util.List<Node> nodes, java.util.List<Arc> arcs, java.util.List<VarHandler> flowVariables, IntVar costVariable)
Initialization -
Uses of IntVar in org.jacop.constraints.regular
Fields in org.jacop.constraints.regular declared as IntVar Modifier and Type Field Description IntVar[]
Regular. list
Array of the variables of the graph levelsFields in org.jacop.constraints.regular with type parameters of type IntVar Modifier and Type Field Description (package private) java.util.Map<IntVar,java.lang.Integer>
Regular. mapping
(package private) java.util.LinkedHashSet<IntVar>
Regular. variableQueue
Constructors in org.jacop.constraints.regular with parameters of type IntVar Constructor Description Regular(FSM fsm, IntVar[] list)
Constructor need Store to initialize the time-stamps -
Uses of IntVar in org.jacop.constraints.table
Fields in org.jacop.constraints.table declared as IntVar Modifier and Type Field Description IntVar[]
SimpleTable. x
Variables within the scope of table constraintIntVar[]
Table. x
Variables within the scope of table constraintFields in org.jacop.constraints.table with type parameters of type IntVar Modifier and Type Field Description (package private) java.util.Set<IntVar>
SimpleTable. variableQueue
(package private) java.util.Set<IntVar>
Table. variableQueue
(package private) java.util.Map<IntVar,java.lang.Integer>
SimpleTable. varMap
(package private) java.util.Map<IntVar,java.lang.Integer>
Table. varMap
Methods in org.jacop.constraints.table with parameters of type IntVar Modifier and Type Method Description static int[][]
TableMill. elementSupport(IntVar index, int[] list, IntVar value, int offset)
static int[][]
TableMill. linear(IntVar[] x, int[] w, int b)
(package private) static java.util.ArrayList<int[]>
TableMill. linearSupport(IntVar[] x, int[] w, int b, int sum, int index, java.util.ArrayList<int[]> support, int[] assignment)
private boolean
ReversibleSparseBitSet. validTuple(IntVar[] x, int[] t)
Method parameters in org.jacop.constraints.table with type arguments of type IntVar Modifier and Type Method Description (package private) void
SimpleTable. updateTable(java.util.Set<IntVar> fdvs)
(package private) void
Table. updateTable(java.util.Set<IntVar> fdvs)
Constructors in org.jacop.constraints.table with parameters of type IntVar Constructor Description ReversibleSparseBitSet(Store store, IntVar[] x, int[][] tuple)
SimpleTable(IntVar[] list, int[][] tuples)
It constructs a table constraint.SimpleTable(IntVar[] list, int[][] tuples, boolean reuseTupleArguments)
It constructs a table constraint.Table(IntVar[] list, int[][] tuples)
It constructs a table constraint.Table(IntVar[] list, int[][] tuples, boolean reuseTuplesArgument)
It constructs a table constraint. -
Uses of IntVar in org.jacop.core
Subclasses of IntVar in org.jacop.core Modifier and Type Class Description class
BooleanVar
Defines a variable and related operations on it.Methods in org.jacop.core with parameters of type IntVar Modifier and Type Method Description boolean
IntVar. eq(IntVar var)
It checks if the domains of variables are equal.void
IntDomain. inValue(int level, IntVar var, int value)
It reduces domain to a single value. -
Uses of IntVar in org.jacop.examples.cpviz
Fields in org.jacop.examples.cpviz declared as IntVar Modifier and Type Field Description (package private) IntVar
CPvizNewspaper. cost
(package private) IntVar
CPvizNetworkFlow. COST
(package private) IntVar[][]
CPvizSudoku. elements
(package private) IntVar[]
CPvizNetworkFlow. vars
Fields in org.jacop.examples.cpviz with type parameters of type IntVar Modifier and Type Field Description (package private) Search<IntVar>
CPvizSendMoreMoney. search
(package private) java.util.List<IntVar>
CPvizSendMoreMoney. vars
-
Uses of IntVar in org.jacop.examples.fd
Fields in org.jacop.examples.fd declared as IntVar Modifier and Type Field Description (package private) IntVar[]
DeBruijn. bin_code
IntVar[][]
DeBruijn. binary
(package private) IntVar
ConferenceTalkPlacement. cost
IntVar
ExampleFD. cost
It specifies the cost function, null if no cost function is used.IntVar[][]
Kakro. elements
(package private) IntVar[][]
Sudoku. elements
(package private) IntVar[]
FurnitureMoving. endTimes
(package private) IntVar[][]
MineSweeper. game
(package private) IntVar[][]
MineSweeper. mines
(package private) IntVar[]
PerfectSquare. size
(package private) IntVar[]
FurnitureMoving. starts
(package private) IntVar[][]
ConferenceTalkPlacement. varsMatrix
(package private) IntVar[][]
TSP. varsMatrix
(package private) IntVar[]
PerfectSquare. varsX
It specifies which of the pre-defined problems should be solved.(package private) IntVar[]
PerfectSquare. varsY
(package private) IntVar[][]
BIBD. x
IntVar[]
DeBruijn. x
IntVar[]
Diet. x
(package private) IntVar[][]
SurvoPuzzle. x
(package private) IntVar[]
SurvoPuzzle. x_arr
Fields in org.jacop.examples.fd with type parameters of type IntVar Modifier and Type Field Description (package private) DepthFirstSearch<IntVar>
ConferenceTalkPlacement. search
Search<IntVar>
ExampleFD. search
It specifies the search procedure used by a given example.java.util.List<IntVar>
Golomb. subs
It contains all differences between all possible pairs of marks.(package private) java.util.List<IntVar>
ConferenceTalkPlacement. vars
java.util.List<IntVar>
ExampleFD. vars
It contains all variables used within a specific example.Methods in org.jacop.examples.fd that return types with arguments of type IntVar Modifier and Type Method Description Search<IntVar>
ExampleFD. getSearch()
It returns the search used within an example.java.util.List<IntVar>
ExampleFD. getSearchVariables()
It returns an array list of variables used to model the example.Methods in org.jacop.examples.fd with parameters of type IntVar Modifier and Type Method Description static void
ExampleFD. printMatrix(IntVar[][] matrix, int rows, int cols)
It prints a matrix of variables.static void
SurvoPuzzle. printMatrix(IntVar[][] matrix, int rows, int cols)
It prints a matrix of variables.static Constraint
Gates. tableConstraintProviderUsingExtensionalSTR(IntVar[] vars, int[][] tuples)
static Constraint
Gates. tableConstraintProviderUsingSimpleTable(IntVar[] vars, int[][] tuples)
-
Uses of IntVar in org.jacop.examples.fd.crosswords
Fields in org.jacop.examples.fd.crosswords declared as IntVar Modifier and Type Field Description (package private) IntVar
CrossWord. blank
(package private) IntVar[][]
CrossWord. x
-
Uses of IntVar in org.jacop.examples.fd.filters
Fields in org.jacop.examples.fd.filters declared as IntVar Modifier and Type Field Description (package private) static IntVar
FilterBenchmark. cost
Fields in org.jacop.examples.fd.filters with type parameters of type IntVar Modifier and Type Field Description (package private) static java.util.List<IntVar>
FilterBenchmark. Rs
(package private) static java.util.List<IntVar>
FilterBenchmark. Ts
Methods in org.jacop.examples.fd.filters that return types with arguments of type IntVar Modifier and Type Method Description static java.util.List<java.util.List<IntVar>>
FilterBenchmark. makeConstraints(Store store, Filter filter, int addNum, int mulNum)
It creates constraint model for scheduling of filter operations.static java.util.List<java.util.List<IntVar>>
FilterBenchmark. makeConstraintsChain(Store store, Filter filter, int addNum, int mulNum, int clk)
It creates constraint model for scheduling of filter operation in fashion allowing chaining of operations within one clock cycle.static java.util.List<java.util.List<IntVar>>
FilterBenchmark. makeConstraintsPipeline(Store store, Filter filter, int addNum, int mulNum)
It creates a model for optimization of scheduling of operations of a given filter.static java.util.List<java.util.List<IntVar>>
FilterBenchmark. makeConstraintsPipeMultiplier(Store store, Filter filter, int addNum, int mulNum)
It creates constraint model for scheduling of filter operation in fashion allowing pipelining of multiplication operations.static java.util.List<java.util.List<IntVar>>
FilterBenchmark. makeLabelingList(IntVar[] T, IntVar[] R)
It creates an array of arrays using two arrays.Methods in org.jacop.examples.fd.filters with parameters of type IntVar Modifier and Type Method Description static java.util.List<java.util.List<IntVar>>
FilterBenchmark. makeLabelingList(IntVar[] T, IntVar[] R)
It creates an array of arrays using two arrays. -
Uses of IntVar in org.jacop.examples.fd.muca
Fields in org.jacop.examples.fd.muca declared as IntVar Modifier and Type Field Description IntVar[][]
MUCA. deltasI
For each transition and each good it specifies the delta change of that good before the transition takes place.IntVar[][]
MUCA. deltasO
For each transition and each good it specifies the delta change of that good after the transition takes place.IntVar[]
MUCA. sum
It specifies the number of goods after the last transition.IntVar[]
MUCA. transitions
It specifies the sequence of transitions used by an auctioneer.Fields in org.jacop.examples.fd.muca with type parameters of type IntVar Modifier and Type Field Description java.util.List<IntVar>
MUCA. bidCosts
For each bidder it specifies variable representing the cost of the chosen xor bid. -
Uses of IntVar in org.jacop.examples.fd.nonogram
Fields in org.jacop.examples.fd.nonogram declared as IntVar Modifier and Type Field Description IntVar[][]
Nonogram. board
A board to be painted in white/black dots.Methods in org.jacop.examples.fd.nonogram with parameters of type IntVar Modifier and Type Method Description void
Nonogram. printMatrix(IntVar[][] matrix)
It prints a matrix of variables. -
Uses of IntVar in org.jacop.examples.set
Fields in org.jacop.examples.set declared as IntVar Modifier and Type Field Description IntVar
ExampleSet. cost
It specifies the cost function, null if no cost function is used.Methods in org.jacop.examples.set with parameters of type IntVar Modifier and Type Method Description static void
ExampleSet. printMatrix(IntVar[][] matrix, int rows, int cols)
It prints a matrix of variables. -
Uses of IntVar in org.jacop.floats.constraints
Fields in org.jacop.floats.constraints declared as IntVar Modifier and Type Field Description IntVar
ElementFloat. index
It specifies variable index within an element constraint list[index-indexOffset] = value.IntVar
ElementFloatVariable. index
It specifies variable index within an element constraint list[index - indexOffset] = value.IntVar
XeqP. x
It specifies a left hand variable in equality constraint.Constructors in org.jacop.floats.constraints with parameters of type IntVar Constructor Description ElementFloat(IntVar index, double[] list, FloatVar value)
It constructs an element constraint with indexOffset by default set to 0.ElementFloat(IntVar index, double[] list, FloatVar value, int indexOffset)
It constructs an element constraint.ElementFloat(IntVar index, java.util.List<java.lang.Double> list, FloatVar value)
It constructs an element constraint with default indexOffset equal 0.ElementFloat(IntVar index, java.util.List<java.lang.Double> list, FloatVar value, int indexOffset)
It constructs an element constraint.ElementFloatVariable(IntVar index, java.util.List<? extends FloatVar> list, FloatVar value)
It constructs an element constraint.ElementFloatVariable(IntVar index, java.util.List<? extends FloatVar> list, FloatVar value, int indexOffset)
It constructs an element constraint.ElementFloatVariable(IntVar index, FloatVar[] list, FloatVar value)
It constructs an element constraint.ElementFloatVariable(IntVar index, FloatVar[] list, FloatVar value, int indexOffset)
It constructs an element constraint.XeqP(IntVar x, FloatVar p)
It constructs constraint X = P. -
Uses of IntVar in org.jacop.fz
Fields in org.jacop.fz with type parameters of type IntVar Modifier and Type Field Description java.util.Map<IntVar,IntVar>
Tables. aliasTable
java.util.Map<IntVar,IntVar>
Tables. aliasTable
(package private) java.util.HashMap<java.lang.Integer,IntVar>
Tables. constantTable
(package private) java.util.HashMap<java.lang.String,IntVar>
Tables. variableTable
Methods in org.jacop.fz that return IntVar Modifier and Type Method Description (package private) IntVar
Tables. getAlias(IntVar b)
IntVar
Tables. getConstant(int c)
(package private) IntVar
Solve. getCost(ASTSolveExpr node)
(package private) IntVar[]
VariablesParameters. getScalarFlatExpr_ArrayVar(Store store, SimpleNode node, int index)
(package private) IntVar
VariablesParameters. getScalarFlatExpr_var(Store store, SimpleNode node, int i)
(package private) IntVar[]
SearchItem. getVarArray(SimpleNode node)
(package private) IntVar
SearchItem. getVariable(ASTScalarFlatExpr node)
IntVar
Tables. getVariable(java.lang.String ident)
It returns the variable of the given identity.IntVar[]
Tables. getVariableArray(java.lang.String ident)
It returns the variable array of the given identity.Methods in org.jacop.fz that return types with arguments of type IntVar Modifier and Type Method Description (package private) Indomain<IntVar>
SearchItem. getIndomain(java.lang.String indomain)
ComparatorVariable<IntVar>
SearchItem. getVarSelect()
Methods in org.jacop.fz with parameters of type IntVar Modifier and Type Method Description void
Tables. addAlias(IntVar b, IntVar v)
void
Tables. addVariable(java.lang.String ident, IntVar var)
It adds a variable with a given identity to the storage.void
Tables. addVariableArray(java.lang.String ident, IntVar[] array)
It adds a variable array to the storage.(package private) IntVar
Tables. getAlias(IntVar b)
-
Uses of IntVar in org.jacop.fz.constraints
Fields in org.jacop.fz.constraints declared as IntVar Modifier and Type Field Description IntVar
Support. definedVar
Fields in org.jacop.fz.constraints with type parameters of type IntVar Modifier and Type Field Description (package private) java.util.Map<IntVar,java.util.Map<java.lang.Integer,IntVar>>
ReificationConstraints. cs
(package private) java.util.Map<IntVar,java.util.Map<java.lang.Integer,IntVar>>
ReificationConstraints. cs
Methods in org.jacop.fz.constraints that return IntVar Modifier and Type Method Description (package private) IntVar[]
Support. getVarArray(SimpleNode node)
IntVar
Support. getVariable(ASTScalarFlatExpr node)
(package private) IntVar[]
Support. unique(IntVar[] vs)
Methods in org.jacop.fz.constraints with parameters of type IntVar Modifier and Type Method Description void
ReificationConstraints. add(IntVar x, int v, IntVar b)
void
Support. addReified(IntVar x, int v, IntVar b)
(package private) boolean
LinearConstraints. allConstants(IntVar[] p)
(package private) boolean
ElementConstraints. allSingleton(IntVar[] vs)
(package private) boolean
GlobalConstraints. allVarGround(IntVar[] w)
(package private) boolean
BoolConstraints. allVarOne(IntVar[] w)
(package private) boolean
GlobalConstraints. allVarOne(IntVar[] w)
(package private) boolean
BoolConstraints. allVarZero(IntVar[] w)
(package private) boolean
BoolConstraints. atLeastOneVarOne(IntVar[] w)
(package private) boolean
BoolConstraints. atLeastOneVarZero(IntVar[] w)
(package private) boolean
ComparisonConstraints. binaryVar(IntVar v)
(package private) boolean
LinearConstraints. binaryVar(IntVar v)
(package private) boolean
LinearConstraints. boolSum(IntVar[] vs)
(package private) Constraint
ComparisonConstraints. fzXeqCImplied(IntVar x, java.lang.Integer c, IntVar b)
(package private) Constraint
ComparisonConstraints. fzXeqCReified(IntVar x, java.lang.Integer c, IntVar b)
(package private) boolean
ComparisonConstraints. generateForEq(IntVar v1, IntVar v2, IntVar b)
(package private) boolean
ComparisonConstraints. generateForEqC(IntVar v1, int i2, IntVar b)
(package private) boolean
ComparisonConstraints. generateForNeq(IntVar v1, IntVar v2, IntVar b)
(package private) boolean
ComparisonConstraints. generateForNeqC(IntVar v1, int i2, IntVar b)
(package private) void
GlobalConstraints. impliedCumulativeUnaryConstraints(IntVar[] s, IntVar[] d, IntVar[] r, IntVar b)
(package private) void
GlobalConstraints. impliedDisjunctionConstraints(IntVar[] s, IntVar[] d, IntVar[] r, IntVar b)
(package private) boolean
LinearConstraints. paramZero(IntVar v)
(package private) void
ElementConstraints. poseElementFloat(IntVar p1, double[] p2, FloatVar p3)
(package private) void
ElementConstraints. poseElementInteger(IntVar p1, int[] p2, IntVar p3)
int
ReificationConstraints. size(IntVar v)
(package private) IntVar[]
Support. unique(IntVar[] vs)
(package private) int[]
GlobalConstraints. uniqueIndex(IntVar[] vs)
(package private) boolean
GlobalConstraints. varsContain(IntVar[] x, int e)
-
Uses of IntVar in org.jacop.satwrapper
Fields in org.jacop.satwrapper with type parameters of type IntVar Modifier and Type Field Description java.util.Set<IntVar>
SatWrapper. registeredVars
Methods in org.jacop.satwrapper that return IntVar Modifier and Type Method Description IntVar
SatWrapper. boolVarToCpVar(int literal)
get the IntVar back from a literalMethods in org.jacop.satwrapper with parameters of type IntVar Modifier and Type Method Description int
SatWrapper. cpVarToBoolVar(IntVar variable, int value, boolean isEquality)
given a CP variable and a value, retrieve the associated boolean literal for either 'variable = value' or either 'variable <= value'void
SatChangesListener. ensureAccess(IntVar cpVar)
gets sure we won't have a NullPointerExceptionvoid
SatTranslation. generate_allZero_reif(IntVar[] as, IntVar c)
void
SatTranslation. generate_and(IntVar[] a, IntVar c)
void
SatTranslation. generate_clause(IntVar[] a1, IntVar[] a2)
void
SatTranslation. generate_clause_reif(IntVar[] a, IntVar[] b, IntVar r)
void
SatTranslation. generate_eq(IntVar a, IntVar b)
void
SatTranslation. generate_eq_reif(IntVar a, IntVar b, IntVar c)
void
SatTranslation. generate_implication(IntVar a, IntVar b)
void
SatTranslation. generate_implication_reif(IntVar a, IntVar b, IntVar c)
void
SatTranslation. generate_le(IntVar a, IntVar b)
void
SatTranslation. generate_le_reif(IntVar a, IntVar b, IntVar c)
void
SatTranslation. generate_lt(IntVar a, IntVar b)
void
SatTranslation. generate_lt_reif(IntVar a, IntVar b, IntVar c)
void
SatTranslation. generate_neq_reif(IntVar a, IntVar b, IntVar c)
void
SatTranslation. generate_not(IntVar a, IntVar b)
void
SatTranslation. generate_or(IntVar[] a, IntVar c)
void
SatTranslation. generate_xor(IntVar[] a, IntVar c)
To represent XOR function in CNF one needs to have 2^{n-1} clauses, where n is the size of your XOR function :( Our method cuts list to 3 or 2 element parts, generates XOR for them and composesd them back to the original XOR.void
SatTranslation. generate_xor(IntVar a, IntVar b, IntVar c)
void
SatTranslation. generate_xor(IntVar a, IntVar b, IntVar c, IntVar d)
void
SatWrapper. register(IntVar result)
void
SatWrapper. register(IntVar variable, boolean translate)
registers the variable so that we can use it in SAT solver -
Uses of IntVar in org.jacop.satwrapper.translation
Classes in org.jacop.satwrapper.translation with type parameters of type IntVar Modifier and Type Class Description class
LazyCpVarDomain<E extends IntVar>
Deprecated.Fields in org.jacop.satwrapper.translation declared as IntVar Modifier and Type Field Description IntVar
SatCPBridge. variable
Fields in org.jacop.satwrapper.translation with type parameters of type IntVar Modifier and Type Field Description java.util.Set<IntVar>
DomainTranslator. translatedVars
Methods in org.jacop.satwrapper.translation with parameters of type IntVar Modifier and Type Method Description void
DomainTranslator. translate(IntVar variable)
translates the variable to clauses, if not already done, and add those clauses to the wrapper queue.Constructors in org.jacop.satwrapper.translation with parameters of type IntVar Constructor Description LazyCpVarDomain(IntVar variable)
Deprecated.creates the var listSatCPBridge(IntVar variable)
simple constructor with a variableSimpleCpVarDomain(SatWrapper wrapper, IntVar variable)
SimpleCpVarDomain(SatWrapper wrapper, IntVar variable, boolean translate)
-
Uses of IntVar in org.jacop.search
Classes in org.jacop.search with type parameters of type IntVar Modifier and Type Class Description class
IndomainList<T extends IntVar>
IndomainList - implements enumeration method based on the selection of the preferred values for each variable.class
IndomainMax<T extends IntVar>
IndomainMax - implements enumeration method based on the selection of the maximal value in the domain of the variable.class
IndomainMedian<T extends IntVar>
IndomainMedian - implements enumeration method based on the selection of the median value in the domain of FD variable and then right and left values.class
IndomainMiddle<T extends IntVar>
IndomainMiddle - implements enumeration method based on the selection of the middle value in the domain of FD variable and then right and left values.class
IndomainMin<T extends IntVar>
IndomainMin - implements enumeration method based on the selection of the minimal value in the domain of variableclass
IndomainRandom<T extends IntVar>
IndomainRandom - implements enumeration method based on the selection of the random value in the domain of FD variable.class
IndomainSimpleRandom<T extends IntVar>
IndomainRandom - implements enumeration method based on the selection of the random value in the domain of FD variable.class
LargestMax<T extends IntVar>
Defines a LargestMax comparator for Variables.class
LargestMin<T extends IntVar>
Defines a LargestMin comparator for Variables.class
MaxRegret<T extends IntVar>
Defines a MaxRegret comparator for Variables.class
NoGoodsCollector<T extends IntVar>
NoGoodCollector collects no-goods from search when timeout has occurred.class
Shaving<T extends IntVar>
Defines functionality of shaving.class
SmallestMax<T extends IntVar>
Defines a SmallestMax comparator for Variables.class
SmallestMin<T extends IntVar>
Defines a SmallestMin comparator for variables.class
SplitRandomSelect<T extends IntVar>
It is simple and customizable selector of decisions (constraints) which will be enforced by search.class
SplitSelect<T extends IntVar>
It is simple and customizable selector of decisions (constraints) which will be enforced by search.Fields in org.jacop.search with type parameters of type IntVar Modifier and Type Field Description (package private) java.util.Map<IntVar,java.util.LinkedHashSet<java.lang.Integer>>
Shaving. notShavable
(package private) java.util.List<java.util.Map<IntVar,java.util.LinkedHashSet<java.lang.Integer>>>
Shaving. shavable
java.util.List<IntVar>
TransformExtensional. variablesTransformationScope
It contains all the information which will become variables in the scope of the extensional constraint produced by this search listener.java.util.HashSet<IntVar>
Shaving. varsOfFailedConstraint
It stores the variables of the last failed constraints.Methods in org.jacop.search with parameters of type IntVar Modifier and Type Method Description (package private) boolean
Shaving. checkIfShavable(IntVar var, java.lang.Integer val)
int
IndomainMedian. indomain(IntVar var)
It requires IntVar variable.int
IndomainMiddle. indomain(IntVar var)
It requires IntVar variable.int
IndomainMin. indomain(IntVar var)
int
IndomainRandom. indomain(IntVar var)
int
IndomainSimpleRandom. indomain(IntVar var)
boolean
Shaving. leftChild(IntVar var, int value, boolean status)
void
Shaving. rightChild(IntVar var, int value, boolean status)
Constructors in org.jacop.search with parameters of type IntVar Constructor Description SplitRandomSelect(T[] variables, ComparatorVariable<T> varSelect, ComparatorVariable<T> tieBreakerVarSelect, Indomain<T> indomain)
It constructs a simple selection mechanism for choice points.SplitRandomSelect(T[] variables, ComparatorVariable<T> varSelect, Indomain<T> indomain)
The constructor to create a simple choice select mechanism.SplitSelect(T[] variables, ComparatorVariable<T> varSelect, ComparatorVariable<T> tieBreakerVarSelect, Indomain<T> indomain)
It constructs a simple selection mechanism for choice points.SplitSelect(T[] variables, ComparatorVariable<T> varSelect, Indomain<T> indomain)
The constructor to create a simple choice select mechanism. -
Uses of IntVar in org.jacop.search.sgmpcs
Classes in org.jacop.search.sgmpcs with type parameters of type IntVar Modifier and Type Class Description class
SimpleImprovementSearch<T extends IntVar>
Defines an interface for defining different methods for selecting next search decision to be taken.class
SimpleImprovementSearch.CostListener<T extends IntVar>
Saves the cost produced by a given searchFields in org.jacop.search.sgmpcs declared as IntVar Modifier and Type Field Description IntVar
SGMPCSearch. cost
Cost variable(package private) IntVar
SimpleImprovementSearch. cost
IntVar[]
SGMPCSearch. vars
Variables for searchIntVar[]
SimpleImprovementSearch. vars
Fields in org.jacop.search.sgmpcs with type parameters of type IntVar Modifier and Type Field Description (package private) ImproveSolution<IntVar>
SGMPCSearch. search
Constructors in org.jacop.search.sgmpcs with parameters of type IntVar Constructor Description SGMPCSearch(Store store, IntVar[] vars, IntVar cost)
SGMPCSearch(Store store, IntVar[] vars, IntVar cost, ImproveSolution<IntVar> search)
SimpleImprovementSearch(Store store, IntVar[] vars, IntVar cost)
Constructor parameters in org.jacop.search.sgmpcs with type arguments of type IntVar Constructor Description SGMPCSearch(Store store, IntVar[] vars, IntVar cost, ImproveSolution<IntVar> search)
-
Uses of IntVar in org.jacop.set.constraints
Fields in org.jacop.set.constraints declared as IntVar Modifier and Type Field Description IntVar
CardAeqX. cardinality
It specifies integer variable c specifying the possible cardinality of set variable a.IntVar
ElementSet. index
It specifies what element from the list of sets is equal to set variable value.IntVar
ElementSetVariable. index
It specifies variable index within an element constraint list[index - indexOffset] = value.IntVar[]
Match. list
It specifies the list of integer variables which value is being matched against elements from a set variable a.IntVar
SumWeightedSet. totalWeight
Integer variable containing the total weight of all elements within a set variable a.IntVar
XeqA. x
It specifies variable a.IntVar
XinA. x
It specifies variable a.Constructors in org.jacop.set.constraints with parameters of type IntVar Constructor Description CardAeqX(SetVar a, IntVar cardinality)
It constructs a cardinality constraint to restrict the number of elements in the set assigned to set variable a.ElementSet(IntVar index, IntDomain[] list, SetVar value)
It constructs an elementSet constraint to restrict the domains of the variables index and value.ElementSet(IntVar index, IntDomain[] list, SetVar value, int indexOffset)
It constructs a constraint to restrict the domains of the variables index and value.ElementSetVariable(IntVar index, java.util.List<? extends SetVar> list, SetVar value)
It constructs an element constraint.ElementSetVariable(IntVar index, java.util.List<? extends SetVar> list, SetVar value, int indexOffset)
It constructs an element constraint.ElementSetVariable(IntVar index, SetVar[] list, SetVar value)
It constructs an element constraint.ElementSetVariable(IntVar index, SetVar[] list, SetVar value, int indexOffset)
It constructs an element constraint.Match(SetVar a, IntVar[] list)
It constructs a match constraint to connect the value of set variable a to the values of integer variables provided in the list.SumWeightedSet(SetVar a, int[] elements, int[] weights, IntVar totalWeight)
It constructs a weighted set sum constraint.SumWeightedSet(SetVar a, int[] weights, IntVar totalWeight)
It constructs a weighted set sum constraint.SumWeightedSet(SetVar a, IntVar totalWeight)
It constructs a weighted set sum constraint.XeqA(IntVar x, SetVar a)
It constructs an XeqA constraint to restrict the domain of the integer variables x and set variable a.XinA(IntVar x, SetVar a)
It constructs an XinA constraint to restrict the domain of the variables X and A.XinA(IntVar x, SetVar a, boolean strict)
It constructs an XinY constraint to restrict the domain of the variables X and Y. -
Uses of IntVar in org.jacop.ui
Fields in org.jacop.ui declared as IntVar Modifier and Type Field Description (package private) IntVar[]
PrintSchedule. r
(package private) IntVar[]
PrintSchedule. t
Constructors in org.jacop.ui with parameters of type IntVar Constructor Description PrintSchedule(java.lang.String[] name, IntVar[] t, int[] d, IntVar[] r)
It constructs PrintSchedule object.PrintSchedule(java.lang.String[] name, IntVar[] t, IntVar[] d, IntVar[] r)
It constructs PrintSchedule object.PrintSchedule(java.util.List<java.lang.String> name, IntVar[] t, int[] d, IntVar[] r)
It constructs PrintSchedule object.PrintSchedule(java.util.List<java.lang.String> name, IntVar[] t, IntVar[] d, IntVar[] r)
It constructs PrintSchedule object. -
Uses of IntVar in org.jacop.util
Fields in org.jacop.util declared as IntVar Modifier and Type Field Description (package private) IntVar
IndexDomainView. var
IntVar[]
MDD. vars
The ordered list of variables participating in MDD.Methods in org.jacop.util with parameters of type IntVar Modifier and Type Method Description MDD
MDD. reuse(IntVar[] vars)
If possible it will return an MDD which reuse an array representation of the current MDD.Constructors in org.jacop.util with parameters of type IntVar Constructor Description IndexDomainView(IntVar var, boolean forceSparse)
It creates an index domain view for a given variable.IndexDomainView(IntVar var, int[] valuesInFocus)
It creates an index domain view with only given values being in focus of the index domain view.MDD(IntVar[] vars)
It creates and MDD representation given the list of variables.MDD(IntVar[] vars, int[][] table)
It creates and MDD representation given the list of variables and (dis)allowed tuples.MDD(IntVar[] vars, int[] diagram, int[] domainLimits)
It creates an MDD.MDD(IntVar[] vars, int[] minimumDomainLimits, int[][] table)
It creates and MDD representation given the list of variables and (dis)allowed tuples. -
Uses of IntVar in org.jacop.util.fsm
Methods in org.jacop.util.fsm with parameters of type IntVar Modifier and Type Method Description MDD
FSM. transformDirectlyIntoMDD(IntVar[] vars)
It generates one by one tuples allowed by a Regular constraint, which are added to the MDD being built.MDD
FSM. transformIntoMDD(IntVar[] vars)
It generates one by one tuples allowed by a Regular constraint, which are added to the MDD being built.int[][]
FSM. transformIntoTuples(IntVar[] vars)
It creates an array of tuples representing this Regular context.
-