Uses of Interface
org.maxicp.cp.engine.core.CPIntVar

Packages that use CPIntVar

Package	Description
org.maxicp.cp	Constraint Programming Solver Implementation
org.maxicp.cp.engine.constraints	Constraints implementation (propagators)
org.maxicp.cp.engine.constraints.scheduling	Constraints implementation for Scheduling over Interval Variables and Cumulative Functions
org.maxicp.cp.engine.constraints.seqvar	Constraints implementation for Sequence Variables
org.maxicp.cp.engine.constraints.setvar	Constraints implementation for Set Variables
org.maxicp.cp.engine.core	Solver objects
org.maxicp.cp.examples.raw	Examples of models using the implementation object API
org.maxicp.cp.examples.raw.darp
org.maxicp.cp.modeling	CP Instantiation of the Symbolic Modeling API
org.maxicp.search	Search API

Uses of CPIntVar in org.maxicp.cp

Methods in org.maxicp.cp that return CPIntVar

Modifier and Type	Method	Description
static CPIntVar	CPFactory.abs(CPIntVar x)	Computes a variable that is the absolute value of the given variable.
static CPIntVar	CPFactory.element(int[][] matrix, CPIntVar x, CPIntVar y)	Returns a variable representing the value in a matrix at the position specified by the two given row and column index variables This relation is enforced by the Element2D constraint posted by calling this method.
static CPIntVar	CPFactory.element(int[] array, CPIntVar y)	Returns a variable representing the value in an array at the position specified by the given index variable This relation is enforced by the Element1D constraint posted by calling this method.
static CPIntVar	CPFactory.element(CPIntVar[] array, CPIntVar y)	Returns a variable representing the value in an array at the position specified by the given index variable This relation is enforced by the Element1D constraint posted by calling this method.
static CPIntVar	CPFactory.elementDC(int[] array, CPIntVar y)	Returns a variable representing the value in an array at the position specified by the given index variable This relation is enforced by the Element1D constraint posted by calling this method.
static CPIntVar	CPFactory.end(CPIntervalVar var)	Returns a CPIntVar that is equal to the start of interval.
static CPIntVar	CPFactory.endOr(CPIntervalVar interval, int val)	Returns a CPIntVar that is equal to the end of interval if it is present, or equal to val if interval is absent
static CPIntVar	CPFactory.length(CPIntervalVar var)	Returns a CPIntVar that is equal to the length of interval.
static CPIntVar	CPFactory.lengthOr(CPIntervalVar interval, int val)	Returns a CPIntVar that is equal to the length of interval if it is present, or equal to val if interval is absent
static CPIntVar	CPFactory.makeIntVar(CPSolver cp, int sz)	Creates a variable with a domain of specified arity.
static CPIntVar	CPFactory.makeIntVar(CPSolver cp, int min, int max)	Creates a variable with a domain equal to the specified range.
static CPIntVar	CPFactory.makeIntVar(CPSolver cp, Set<Integer> values)	Creates a variable with a domain equal to the specified set of values.
static CPIntVar[]	CPFactory.makeIntVarArray(int n, Function<Integer,CPIntVar> body)	Creates an array of variables with specified lambda function
static CPIntVar[]	CPFactory.makeIntVarArray(CPSolver cp, int n, int sz)	Creates an array of variables with specified domain size.
static CPIntVar[]	CPFactory.makeIntVarArray(CPSolver cp, int n, int min, int max)	Creates an array of variables with specified domain bounds.
static CPIntVar	CPFactory.makespan(CPIntervalVar... vars)	Returns a CPIntVar that is equal to the makespan (the latest end) of the intervals.
static CPIntVar	CPFactory.max(CPIntVar... x)	Computes a variable that is the maximum of a set of variables.
static CPIntVar	CPFactory.minimum(CPIntVar... x)	Computes a variable that is the minimum of a set of variables.
static CPIntVar	CPFactory.minus(CPIntVar x)	A variable that is a view of -x.
static CPIntVar	CPFactory.minus(CPIntVar x, int v)	A variable that is a view of x-v.
static CPIntVar	CPFactory.mul(CPIntVar... x)	Returns a variable representing the multiplication of a given set of variables.
static CPIntVar	CPFactory.mul(CPIntVar x, int a)	A variable that is a view of x*a.
static CPIntVar	CPFactory.mul(CPIntVar x, CPBoolVar b)	A variable that is x*b.
static CPIntVar	CPFactory.mul(CPIntVar x, CPIntVar y)
static CPIntVar	CPFactory.plus(CPIntVar x, int v)	A variable that is a view of x+v.
static CPIntVar	CPFactory.start(CPIntervalVar var)	Returns a CPIntVar that is equal to the start of interval.
static CPIntVar	CPFactory.startOr(CPIntervalVar interval, int val)	Returns a CPIntVar that is equal to the start of interval if it is present, or equal to val if interval is absent
static CPIntVar	CPFactory.status(CPIntervalVar var)	Returns a CPBoolVar that is equal to the status of the interval.
static CPIntVar	CPFactory.sum(CPIntVar... x)	Returns a variable representing the sum of a given set of variables.

Methods in org.maxicp.cp with parameters of type CPIntVar

Modifier and Type	Method	Description
static CPIntVar	CPFactory.abs(CPIntVar x)	Computes a variable that is the absolute value of the given variable.
static CPConstraint	CPFactory.allDifferent(CPIntVar[] x)	Returns an allDifferent constraint using forward checking algo
static CPConstraint	CPFactory.allDifferentDC(CPIntVar[] x)	Returns an allDifferent constraint that enforces global arc consistency.
static CPConstraint	CPFactory.alternative(CPIntervalVar interval, CPIntervalVar[] alternatives, CPIntVar cardinality)	Returns an Alternative constraint: Enforces that if the interval variable interval is present, then cardinality intervals from the array alternatives must be present and synchronized with interval.
static CPConstraint	CPFactory.among(CPIntVar[] x, Set<Integer> vals, CPIntVar N)	Return a constraint that enforce that N is the number of indices i such that x[i] is in vals
static CPConstraint	CPFactory.atLeastNValue(CPIntVar[] x, CPIntVar nValue)	Returns an atLeastNValue constraint using a forward checking algo
static CPConstraint	CPFactory.circuit(CPIntVar[] x)	Returns a circuit constraint (using the successor model)
static CPIntVar	CPFactory.element(int[][] matrix, CPIntVar x, CPIntVar y)	Returns a variable representing the value in a matrix at the position specified by the two given row and column index variables This relation is enforced by the Element2D constraint posted by calling this method.
static CPIntVar	CPFactory.element(int[] array, CPIntVar y)	Returns a variable representing the value in an array at the position specified by the given index variable This relation is enforced by the Element1D constraint posted by calling this method.
static CPIntVar	CPFactory.element(CPIntVar[] array, CPIntVar y)	Returns a variable representing the value in an array at the position specified by the given index variable This relation is enforced by the Element1D constraint posted by calling this method.
static CPIntVar	CPFactory.elementDC(int[] array, CPIntVar y)	Returns a variable representing the value in an array at the position specified by the given index variable This relation is enforced by the Element1D constraint posted by calling this method.
static CPConstraint	CPFactory.eq(CPIntVar x, int v)	Returns a constraint imposing that the variable is equal to some given value.
static CPConstraint	CPFactory.eq(CPIntVar x, CPIntVar y)	Returns a constraint imposing that the two different variables must take the value.
static CPConstraint	CPFactory.ge(CPIntVar x, int v)	Returns a constraint imposing that the variable is larger or equal to some given value.
static CPConstraint	CPFactory.ge(CPIntVar x, CPIntVar y)	Returns a constraint imposing that the a first variable is larger or equal to a second one.
static CPConstraint	CPFactory.gt(CPIntVar x, int v)	Returns a constraint imposing that the variable is larger to some given value.
static CPConstraint	CPFactory.gt(CPIntVar x, CPIntVar y)	Returns a constraint imposing that the a first variable is larger to a second one.
static CPBoolVar	CPFactory.isEq(CPIntVar x, int c)	Returns a boolean variable representing whether one variable is equal to the given constant.
static CPBoolVar	CPFactory.isEq(CPIntVar x, CPIntVar y)	Returns a boolean variable representing whether two variables are equal This relation is enforced by the IsEqualVar constraint posted by calling this method.
static CPBoolVar	CPFactory.isGe(CPIntVar x, int c)	Returns a boolean variable representing whether one variable is larger or equal to the given constant.
static CPBoolVar	CPFactory.isGe(CPIntVar x, CPIntVar y)	Returns a boolean variable representing whether one variable is larger or equal to another.
static CPBoolVar	CPFactory.isGt(CPIntVar x, int c)	Returns a boolean variable representing whether one variable is larger than the given constant.
static CPBoolVar	CPFactory.isGt(CPIntVar x, CPIntVar y)	Returns a boolean variable representing whether one variable is larger than the given constant.
static CPConstraint	CPFactory.isLe(CPBoolVar b, CPIntVar x, CPIntVar y)	Returns the reified version of the constraint x <= y, i.e. the boolean variable that is set to true if and only if x <= y.
static CPBoolVar	CPFactory.isLe(CPIntVar x, int c)	Returns a boolean variable representing whether one variable is less or equal to the given constant.
static CPBoolVar	CPFactory.isLe(CPIntVar x, CPIntVar y)	Returns a boolean variable representing whether one variable is less or equal to another.
static CPConstraint	CPFactory.isLt(CPBoolVar b, CPIntVar x, CPIntVar y)	Returns the reified version of the constraint x < y, i.e. the boolean variable that is set to true if and only if x < y.
static CPBoolVar	CPFactory.isLt(CPIntVar x, int c)	Returns a boolean variable representing whether one variable is less than the given constant.
static CPBoolVar	CPFactory.isLt(CPIntVar x, CPIntVar y)	Returns a boolean variable representing whether one variable is less than the given constant.
static CPBoolVar	CPFactory.isNeq(CPIntVar x, int c)	Returns a boolean variable representing whether one variable is not equal to the given constant.
static CPBoolVar	CPFactory.isNeq(CPIntVar x, CPIntVar y)	Returns a boolean variable representing whether two variables are not equal
static CPConstraint	CPFactory.le(CPIntVar x, int v)	Returns a constraint imposing that the variable is less or equal to some given value.
static CPConstraint	CPFactory.le(CPIntVar x, CPIntVar y)	Returns a constraint imposing that the first variable is less or equal to a second one.
static CPConstraint	CPFactory.lt(CPIntVar x, int v)	Returns a constraint imposing that the variable is less to some given value.
static CPConstraint	CPFactory.lt(CPIntVar x, CPIntVar y)	Returns a constraint imposing that the first variable is less to a second one.
static BlackBoxSearch	CPFactory.makeBlackBox(CPSolver cp, CPIntVar... vars)	Creates a black-box search over the specified integer variables.
static CPIntVar	CPFactory.max(CPIntVar... x)	Computes a variable that is the maximum of a set of variables.
static CPIntVar	CPFactory.minimum(CPIntVar... x)	Computes a variable that is the minimum of a set of variables.
static CPIntVar	CPFactory.minus(CPIntVar x)	A variable that is a view of -x.
static CPIntVar	CPFactory.minus(CPIntVar x, int v)	A variable that is a view of x-v.
static CPIntVar	CPFactory.mul(CPIntVar... x)	Returns a variable representing the multiplication of a given set of variables.
static CPIntVar	CPFactory.mul(CPIntVar x, int a)	A variable that is a view of x*a.
static CPIntVar	CPFactory.mul(CPIntVar x, CPBoolVar b)	A variable that is x*b.
static CPIntVar	CPFactory.mul(CPIntVar x, CPIntVar y)
static CPConstraint	CPFactory.negTable(CPIntVar[] x, int[][] table)	Returns a short table constraint
static CPConstraint	CPFactory.neq(CPIntVar x, int v)	Returns a constraint imposing that the variable is different from some given value.
static CPConstraint	CPFactory.neq(CPIntVar x, CPIntVar y)	Returns a constraint imposing that the two different variables must take different values.
static CPConstraint	CPFactory.neq(CPIntVar x, CPIntVar y, int c)	Returns a constraint imposing that the first variable differs from the second one minus a constant value.
static NoOverlapWithPosition	CPFactory.noOverlap(CPIntervalVar[] intervals, CPIntVar[] posOfInterval, CPIntVar[] intervalInPos)	Creates a NoOverlapWithPosition constraint that enforces a no-overlap between the intervals and links them with the given position variables, with zero transition times.
static NoOverlapWithPosition	CPFactory.noOverlap(CPIntervalVar[] intervals, CPIntVar[] posOfInterval, CPIntVar[] intervalInPos, int[][] minTransition)	Creates a NoOverlapWithPosition constraint that enforces a no-overlap between the intervals with minimum transition times and links them with the given position variables.
static CPIntVar	CPFactory.plus(CPIntVar x, int v)	A variable that is a view of x+v.
static CPCumulFunction	CPFactory.pulse(CPIntervalVar var, CPIntVar height)
static CPConstraint	CPFactory.shortTable(CPIntVar[] x, int[][] table, int star)	Returns a short table constraint
static CPBoolVar	CPFactory.strictOrder(CPIntVar x, CPIntVar y)	Creates a Boolean variable b encoding the strict ordering between x and y.
static CPConstraint	CPFactory.sum(int y, CPIntVar... x)	Returns a sum constraint.
static CPIntVar	CPFactory.sum(CPIntVar... x)	Returns a variable representing the sum of a given set of variables.
static CPConstraint	CPFactory.sum(CPIntVar[] x, int y)	Returns a sum constraint.
static CPConstraint	CPFactory.sum(CPIntVar[] x, CPIntVar y)	Returns a sum constraint.
static CPConstraint	CPFactory.table(CPIntVar[] x, int[][] table)	Returns a table constraint

Method parameters in org.maxicp.cp with type arguments of type CPIntVar

Modifier and Type	Method	Description
static CPIntVar[]	CPFactory.makeIntVarArray(int n, Function<Integer,CPIntVar> body)	Creates an array of variables with specified lambda function

Uses of CPIntVar in org.maxicp.cp.engine.constraints

Methods in org.maxicp.cp.engine.constraints with parameters of type CPIntVar

Modifier and Type	Method	Description
protected int	Among.interSize(CPIntVar var)

Constructors in org.maxicp.cp.engine.constraints with parameters of type CPIntVar

Modifier	Constructor	Description
	Absolute(CPIntVar x, CPIntVar y)	Creates the absolute value constraint y = |x|.
	AllDifferentDC(CPIntVar... x)	Creates an AllDifferent constraint that enforces that all variables in x take pairwise different values, using domain-consistent filtering.
	AllDifferentFWC(CPIntVar... x)	Creates an AllDifferent constraint with forward checking filtering.
	Among(CPIntVar[] x, Set<Integer> vals, CPIntVar N)	Creates an Among constraint enforcing that N variables in x take their value in vals.
	AtLeastNValueDC(CPIntVar[] x, CPIntVar nVal)	Creates a domain-consistent constraint enforcing that at least nVal distinct values appear among the variables in x.
	AtLeastNValueDC(CPIntVar[] x, CPIntVar nval, boolean dontPostFWC)	Creates a domain-consistent constraint enforcing that at least nval distinct values appear among the variables in x.
	AtLeastNValueFWC(CPIntVar[] x, CPIntVar nValue)	The number of values that are used in the array x is at least nValue: #{x[i] | i in 0..x.length-1} >= nValue.
	BinaryKnapsack(CPBoolVar[] b, int[] weights, CPIntVar load)	A Binary Knapsack constraint ensures that the total load is equal to the sum of the weights of the selected items.
	BinaryKnapsack(CPBoolVar[] b, int[] weights, CPIntVar load, int n)	Creates a Binary Knapsack constraint ensuring that the total load is equal to the sum of the weights of the selected items, with a given number of items n.
	BinPacking(CPIntVar[] x, int[] w, CPIntVar[] load)	Constructs a BinPacking constraint that ensures a set of weighted items are assigned to bins such that the total weight in each bin matches its specified load.
	CardinalityMaxFWC(CPIntVar[] x, int[] upper)	Constraint the maximum number of occurrences of a range of values in X.
	CardinalityMinFWC(CPIntVar[] x, int[] lower)	Constraint the minimum number of occurrences of a range of values in X.
	Circuit(CPIntVar[] x)	Creates a Hamiltonian Circuit Constraint with a successor model.
	CostAllDifferentDC(CPIntVar[] x, int[][] costs, CPIntVar H)	Creates a domain-consistent AllDifferent constraint with costs, enforcing that all variables in x take pairwise distinct values and that the total assignment cost sum_i costs[i][x[i]] <= H.
	CostCardinalityMaxDC(CPIntVar[] x, int[] upper, int[][] costs, CPIntVar H)	Constraint the maximum number of occurrences of a range of values in x.
	CostCardinalityMaxDC(CPIntVar[] x, int[] upper, int[][] costs, CPIntVar H, CostCardinalityMaxDC.Algorithm algorithm)	Constraint the maximum number of occurrences of a range of values in x.
	DivVar(CPIntVar x, CPIntVar y, CPIntVar z)	Creates an integer division constraint x / y == z.
	Element1D(int[] array, CPIntVar y, CPIntVar z)	Creates an element constraint array[y] = z with a domain consistent filtering
	Element1DDC(int[] array, CPIntVar y, CPIntVar z)	Creates a domain-consistent element constraint array[y] = z.
	Element1DVar(CPIntVar[] array, CPIntVar y, CPIntVar z)	Creates an element constraint array[y] = z where array is an array of integer variables.
	Element2D(int[][] mat, CPIntVar x, CPIntVar y, CPIntVar z)	Creates an element constraint mat[x][y] = z
	Equal(CPIntVar x, CPIntVar y)	Creates a constraint such that x = y
	InversePerm(CPIntVar[] x, CPIntVar[] y)	Creates a constraint that enforces that one permutation is the inverse of another.
	IsEqual(CPBoolVar b, CPIntVar x, int v)	Returns a boolean variable representing whether one variable is equal to the given constant.
	IsEqualVar(CPBoolVar b, CPIntVar x, CPIntVar y)	Returns a boolean variable representing whether two variables are equal
	IsLessOrEqual(CPBoolVar b, CPIntVar x, int v)	Creates a constraint that link a boolean variable representing whether one variable is less or equal to the given constant.
	IsLessOrEqualVar(CPBoolVar b, CPIntVar x, CPIntVar y)	Creates a reified is less or equal constraint b <=> x <= y.
	LessOrEqual(CPIntVar x, CPIntVar y)	Creates a constraint enforcing x <= y.
	LexLe(CPIntVar[] x, CPIntVar[] y)	Creates a non-strict lexicographic ordering constraint x <=_lex y.
	LexLe(CPIntVar[] x, CPIntVar[] y, boolean strict)	Creates a lexicographic ordering constraint between two arrays of variables x and y.
	LightBinaryKnapsack(CPBoolVar[] items, int[] weights, CPIntVar load)	Creates a lightweight binary knapsack constraint load = sum_i items[i] * weights[i].
	Maximum(CPIntVar[] x, CPIntVar y)	Creates the maximum constraint y = maximum(x[0],x[1],...,x[n])?
	MaximumMatching(CPIntVar... x)	Creates a maximum matching structure over the variable-value bipartite graph of x.
	Mul(CPIntVar x, CPBoolVar b, CPIntVar y)	Creates the constraint x * b = y.
	MulCte(CPIntVar x, int c, CPIntVar z)	Creates a multiplication constraint x * c == z.
	MulCteRes(CPIntVar x, CPIntVar y, int c)	Creates a multiplication constraint x * y == c.
	MulVar(CPIntVar x, CPIntVar y, CPIntVar z)	Creates a multiplication constraint x * y == z.
	NegTableCT(CPIntVar[] x, int[][] table)	Negative Table constraint.
	NotEqual(CPIntVar x, CPIntVar y)	Creates a constraint such that x != y
	NotEqual(CPIntVar x, CPIntVar y, int v)	Creates a constraint such that x != y + v
	ShortTableCT(CPIntVar[] x, int[][] table, int star)	Create a Table constraint with short tuples.
	SoftCardinalityDC(CPIntVar[] x, int[] low, int[] up, CPIntVar viol)	Constraint the values i to appear between low[i] and up[i] times in x but accept some violations to this rule.
	SoftCardinalityDC(CPIntVar[] x, int minval, int[] low, int[] up, CPIntVar viol)	Constraint the values minval+i to appear between low[i] and up[i] times in x but accept some violations to this rule.
	Sorted(CPIntVar[] x, CPIntVar[] o, CPIntVar[] y)	x is sorted in y according to permutation o: y[0] <= y[1] <= ... <= y[n-1] and x[i] = y[o[i]] for all i.
	Square(CPIntVar x, CPIntVar y)	Creates a square constraint x * x == y.
	SubCircuit(CPIntVar[] x)	Creates a SubCircuit Constraint.
	Sum(CPIntVar[] x)	Creates a sum constraint.
	Sum(CPIntVar[] x, int y)	Creates a sum constraint.
	Sum(CPIntVar[] x, CPIntVar y)	Creates a sum constraint.
	TableCT(CPIntVar[] x, int[][] table)	Table constraint.

Uses of CPIntVar in org.maxicp.cp.engine.constraints.scheduling

Fields in org.maxicp.cp.engine.constraints.scheduling declared as CPIntVar

Modifier and Type	Field	Description
CPIntVar	CPPulseCumulFunction.height
CPIntVar	CPStepAtEndCumulFunction.height
CPIntVar	CPStepAtStartCumulFunction.height
final CPIntVar[]	NoOverlapWithPosition.intervalInPos	intervalInPos[p] is the interval at position p in the sequence.
final CPIntVar[]	NoOverlapWithPositionDecomposition.intervalInPos	intervalInPos[i] is the node at position i in the tour
final CPIntVar[]	NoOverlapWithPosition.posOfInterval	posOfInterval[i] is the position of interval i in the sequence.
final CPIntVar[]	NoOverlapWithPositionDecomposition.posOfInterval	posOfInterval[i] is the position of node i in the tour

Methods in org.maxicp.cp.engine.constraints.scheduling that return CPIntVar

Modifier and Type	Method	Description
CPIntVar	Activity.height()	Returns the value of the height record component.
CPIntVar	CPCumulFunction.heightAtEnd(IntervalVar interval)
CPIntVar	CPFlatCumulFunction.heightAtEnd(IntervalVar interval)
CPIntVar	CPMinusCumulFunction.heightAtEnd(IntervalVar interval)
CPIntVar	CPPlusCumulFunction.heightAtEnd(IntervalVar interval)
CPIntVar	CPPulseCumulFunction.heightAtEnd(IntervalVar interval)
CPIntVar	CPStepAtEndCumulFunction.heightAtEnd(IntervalVar interval)
CPIntVar	CPStepAtStartCumulFunction.heightAtEnd(IntervalVar interval)
CPIntVar	CPSumCumulFunction.heightAtEnd(IntervalVar interval)
CPIntVar	CPCumulFunction.heightAtStart(IntervalVar interval)
CPIntVar	CPFlatCumulFunction.heightAtStart(IntervalVar interval)
CPIntVar	CPMinusCumulFunction.heightAtStart(IntervalVar interval)
CPIntVar	CPPlusCumulFunction.heightAtStart(IntervalVar interval)
CPIntVar	CPPulseCumulFunction.heightAtStart(IntervalVar interval)
CPIntVar	CPStepAtEndCumulFunction.heightAtStart(IntervalVar interval)
CPIntVar	CPStepAtStartCumulFunction.heightAtStart(IntervalVar interval)
CPIntVar	CPSumCumulFunction.heightAtStart(IntervalVar interval)

Constructors in org.maxicp.cp.engine.constraints.scheduling with parameters of type CPIntVar

Modifier	Constructor	Description
	Activity(CPIntervalVar interval, CPIntVar height)	Creates an instance of a Activity record class.
	Alternative(CPIntervalVar a, CPIntervalVar[] alts, CPIntVar c)	Creates an Alternative constraint with cardinality c.
	CPPulseCumulFunction(CPIntervalVar var, CPIntVar height)	Creates a pulse cumulative function over an interval variable with variable height height.
	CumulativeDecomposition(CPIntVar[] start, int[] duration, int[] demand, int capa)	Creates a cumulative constraint with a decomposition into sum constraint.
	EndAfter(CPIntervalVar interval, CPIntVar var)	Enforces that the end of an interval comes after or at a given variable
	EndBefore(CPIntervalVar interval, CPIntVar var)	Enforces that the end of an interval comes before or at a given variable
	IntervalVarEnd(CPIntervalVar var, CPIntVar end)	Creates a constraint linking end(var) to end.
	IntervalVarEndOrValue(CPIntervalVar var, CPIntVar end, int value)	Creates a constraint enforcing end == end(var) if var is present, and end == value if var is absent.
	IntervalVarLength(CPIntervalVar var, CPIntVar length)	Creates a constraint linking length(var) to length.
	IntervalVarLengthOrValue(CPIntervalVar var, CPIntVar length, int value)	Creates a constraint enforcing length == length(var) if var is present, and length == value if var is absent.
	IntervalVarStart(CPIntervalVar var, CPIntVar start)	Creates a constraint linking start(var) to start.
	IntervalVarStartOrValue(CPIntervalVar var, CPIntVar start, int value)	Creates a constraint enforcing start == start(var) if var is present, and start == value if var is absent.
	IsEndAfter(CPBoolVar boolVar, CPIntervalVar intervalVar, CPIntVar var)	Creates a reified constraint linking boolVar to end(intervalVar) >= var.
	IsEndBefore(CPBoolVar boolVar, CPIntervalVar intervalVar, CPIntVar var)	Creates a reified constraint linking boolVar to end(intervalVar) <= var.
	IsStartBefore(CPBoolVar boolVar, CPIntervalVar intervalVar, CPIntVar var)	Creates a reified constraint linking boolVar to start(intervalVar) <= var.
	NoOverlapWithPosition(CPIntervalVar[] intervals, CPIntVar[] posOfInterval, CPIntVar[] intervalInPos)	Creates a global permutation constraint with zero transition times.
	NoOverlapWithPosition(CPIntervalVar[] intervals, CPIntVar[] posOfInterval, CPIntVar[] intervalInPos, int[][] minTransition)	Creates a global permutation constraint with minimum transition times between intervals.
	NoOverlapWithPositionDecomposition(CPIntervalVar[] intervals, CPIntVar[] posOfInterval, CPIntVar[] intervalInPos)	Creates a permutation constraint with zero transition times.
	NoOverlapWithPositionDecomposition(CPIntervalVar[] intervals, CPIntVar[] posOfInterval, CPIntVar[] intervalInPos, int[][] minTransition)	Creates a permutation constraint with minimum transition times between intervals.
	StartAfter(CPIntervalVar interval, CPIntVar var)	Enforces that the start of an interval comes after or at a given variable
	StartBefore(CPIntervalVar interval, CPIntVar var)	Enforces that the start of an interval comes before or at a given variable

Uses of CPIntVar in org.maxicp.cp.engine.constraints.seqvar

Constructors in org.maxicp.cp.engine.constraints.seqvar with parameters of type CPIntVar

Modifier	Constructor	Description
	Distance(CPSeqVar seqVar, int[][] dist, CPIntVar totalDist)	Creates a constraint maintaining that totalDist equals the sum of transition distances between consecutive nodes visited in seqVar.
	TransitionTimes(CPSeqVar seqVar, CPIntVar[] time, int[][] dist)	Links visits of nodes within a CPSeqVar to given time windows CPIntVar.
	TransitionTimes(CPSeqVar seqVar, CPIntVar[] time, int[][] dist, int[] serviceTime)	Links visits of nodes within a CPSeqVar to given time windows CPIntVar.
	TransitionTimes(CPSeqVar seqVar, CPIntVar[] time, int[][] dist, Optional<int[]> serviceTime)	Links visits of nodes within a CPSeqVar to given time windows CPIntVar.

Uses of CPIntVar in org.maxicp.cp.engine.constraints.setvar

Constructors in org.maxicp.cp.engine.constraints.setvar with parameters of type CPIntVar

Modifier	Constructor	Description
	SetCard(CPSetVar set, CPIntVar card)	Creates a constraint that links a set variable to the cardinality of the set.

Uses of CPIntVar in org.maxicp.cp.engine.core

Subinterfaces of CPIntVar in org.maxicp.cp.engine.core

Modifier and Type	Interface	Description
interface	CPBoolVar	Boolean variable, that can be used as a 0-1 IntVar.

Classes in org.maxicp.cp.engine.core that implement CPIntVar

Modifier and Type	Class	Description
class	CPBoolVarImpl
class	CPBoolVarIsEqual
class	CPIntVarConstant
class	CPIntVarImpl	Implementation of a variable with a SparseSetDomain.
class	CPIntVarViewMul	A view on a variable of type a*x
class	CPIntVarViewOffset	A view on a variable of type x+o
class	CPIntVarViewOpposite	A view on a variable of type -x

Methods in org.maxicp.cp.engine.core that return CPIntVar

Modifier and Type	Method	Description
CPIntVar	CPFixedSetVar.card()
CPIntVar	CPSetVar.card()	Returns a variable that represents the cardinality of the set.
CPIntVar	CPSetVarImpl.card()
CPIntVar	Maximize.getVar()
CPIntVar	Minimize.getVar()
CPIntVar	DeltaCPIntVar.variable()	The variable related to this delta set
CPIntVar	DeltaCPIntVarImpl.variable()

Methods in org.maxicp.cp.engine.core with parameters of type CPIntVar

Modifier and Type	Method	Description
default BlackBoxSearch	CPSolver.blackBoxSearch(CPIntVar... vars)	Creates a black-box search over the specified integer variables.
IntObjective	CPSolver.maximize(CPIntVar x)	Creates a maximization objective on the given variable.
IntObjective	MaxiCP.maximize(CPIntVar x)
IntObjective	CPSolver.minimize(CPIntVar x)	Creates a minimization objective on the given variable.
IntObjective	MaxiCP.minimize(CPIntVar x)

Constructors in org.maxicp.cp.engine.core with parameters of type CPIntVar

Modifier	Constructor	Description
	CPBoolVarImpl(CPIntVar binaryVar)	Create a boolean variable view from the binary variable
	CPBoolVarIsEqual(CPIntVar x, int v)
	CPConstraintClosureWithDelta(CPSolver cp, CPIntVar x, Consumer<DeltaCPIntVar> filtering)
	CPIntVarViewMul(CPIntVar x, int a)
	CPIntVarViewOffset(CPIntVar x, int offset)
	CPIntVarViewOpposite(CPIntVar x)
	DeltaCPIntVarImpl(CPIntVar x)
	Maximize(CPIntVar x)
	Maximize(CPIntVar x, AtomicInteger bound)
	Minimize(CPIntVar x)
	Minimize(CPIntVar x, AtomicInteger bound)
	MinimizeObjectiveSum(CPIntVar... x)	Create a new objective to minimize x[0] + x[1] + ... + x[n-1]

Uses of CPIntVar in org.maxicp.cp.examples.raw

Methods in org.maxicp.cp.examples.raw that return CPIntVar

Modifier and Type	Method	Description
static CPIntVar[]	MagicSerie.flatten(CPIntVar[][] x)

Methods in org.maxicp.cp.examples.raw with parameters of type CPIntVar

Modifier and Type	Method	Description
static CPIntVar[]	MagicSerie.flatten(CPIntVar[][] x)

Uses of CPIntVar in org.maxicp.cp.examples.raw.darp

Methods in org.maxicp.cp.examples.raw.darp that return CPIntVar

Modifier and Type	Method	Description
static CPIntVar	DARP.elementVar(CPIntVar[] array, CPIntVar y)

Methods in org.maxicp.cp.examples.raw.darp with parameters of type CPIntVar

Modifier and Type	Method	Description
static CPIntVar	DARP.elementVar(CPIntVar[] array, CPIntVar y)

Uses of CPIntVar in org.maxicp.cp.modeling

Methods in org.maxicp.cp.modeling that return CPIntVar

Modifier and Type	Method	Description
CPIntVar	ConcreteCPModel.getCPVar(IntExpression v)
CPIntVar[]	ConcreteCPModel.getCPVar(IntExpression[] v)

Methods in org.maxicp.cp.modeling with parameters of type CPIntVar

Modifier and Type	Method	Description
CPBoolVar	ConcreteCPModel.asBoolVar(CPIntVar v)
void	ConcreteCPModel.enforceEqualityIntExpression(IntExpression expr, CPIntVar v)	Enforce that v == expr, without using Equal/NotEqual if possible.

Uses of CPIntVar in org.maxicp.search

Methods in org.maxicp.search with parameters of type CPIntVar

Modifier and Type	Method	Description
static Supplier<Runnable[]>	Searches.fds(CPIntervalVar[][] intervals, CPIntVar... intVars)
static Supplier<Runnable[]>	Searches.fds(CPIntervalVar[] intervals, CPIntVar... intVars)
static Supplier<Runnable[]>	Searches.fds(CPIntVar... intVars)
static Supplier<Runnable[]>	Searches.fds(CPIntVar[][] intVars)

Constructors in org.maxicp.search with parameters of type CPIntVar

Modifier	Constructor	Description
	FDS(double alpha, CPIntervalVar[][] intervals, CPIntVar... intVars)	Creates a Failure-Directed Search for mixed 2D interval and integer decisions.
	FDS(double alpha, CPIntervalVar[] intervals, CPIntVar... intVars)	Creates a Failure-Directed Search for mixed interval and integer decisions.
	FDS(double alpha, CPIntVar... intVars)	Creates a Failure-Directed Search for integer variables.
	FDS(double alpha, CPIntVar[][] intVars)	Creates a Failure-Directed Search for a 2D matrix of integer variables.
	FDS(CPIntervalVar[][] intervals, CPIntVar... intVars)	Creates a Failure-Directed Search for mixed 2D interval and integer decisions.
	FDS(CPIntervalVar[] intervals, CPIntVar... intVars)	Creates a Failure-Directed Search for mixed interval and integer decisions.
	FDS(CPIntVar... intVars)	Creates a Failure-Directed Search for integer variables.
	FDS(CPIntVar[][] intVars)	Creates a Failure-Directed Search for a 2D matrix of integer variables.