Uses of Class
org.jacop.core.IntVar

Packages that use IntVar

Package	Description
org.jacop.constraints
org.jacop.constraints.binpacking
org.jacop.constraints.cumulative
org.jacop.constraints.diffn
org.jacop.constraints.geost
org.jacop.constraints.knapsack
org.jacop.constraints.netflow
org.jacop.constraints.regular
org.jacop.constraints.table
org.jacop.core
org.jacop.examples.cpviz
org.jacop.examples.fd
org.jacop.examples.fd.crosswords
org.jacop.examples.fd.filters
org.jacop.examples.fd.muca
org.jacop.examples.fd.nonogram
org.jacop.examples.set
org.jacop.floats.constraints
org.jacop.fz
org.jacop.fz.constraints
org.jacop.satwrapper
org.jacop.satwrapper.translation
org.jacop.search
org.jacop.search.sgmpcs
org.jacop.set.constraints
org.jacop.ui
org.jacop.util
org.jacop.util.fsm

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| = z
Element(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 variable
static IntVar	Arithmetic.NULL_VAR
IntVar	DomainStructure.variable
private IntVar	MultiVarHandler.variable
IntVar	ArcCompanion.wVar	The FDV for lower and upper cost
IntVar	ArcCompanion.xVar	The FDV for lower and upper capacity

Fields 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 handlers
java.util.Set<IntVar>	NetworkFlow.queue	The set of queued variables
protected 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-variable
DomainStructure(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 levels

Fields 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 constraint
IntVar[]	Table.x	Variables within the scope of table constraint

Fields 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 literal

Methods 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 NullPointerException
void	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 list
SatCPBridge(IntVar variable)	simple constructor with a variable
SimpleCpVarDomain(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 variable
class	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 search

Fields 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 search
IntVar[]	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.