Uses of Interface
org.maxicp.modeling.algebra.integer.IntExpression

Packages that use IntExpression

Package	Description
org.maxicp	Root package of MaxiCP
org.maxicp.cp.engine.core	Solver objects
org.maxicp.cp.examples.modeling	Examples of models using the symbolic modeling API
org.maxicp.cp.modeling	CP Instantiation of the Symbolic Modeling API
org.maxicp.modeling	Symbolic Modeling API
org.maxicp.modeling.algebra	Abstract Syntax Tree for modeling expressions
org.maxicp.modeling.algebra.bool	Symbolic modeling over boolean variables
org.maxicp.modeling.algebra.integer	Symbolic modeling over integer variables
org.maxicp.modeling.algebra.scheduling	Symbolic modeling for scheduling problems
org.maxicp.modeling.concrete	Concrete modeling API
org.maxicp.modeling.constraints	Symbolic constraints
org.maxicp.modeling.constraints.scheduling	Symbolic constraints for scheduling
org.maxicp.modeling.constraints.seqvar	Symbolic constraints for sequence variables
org.maxicp.modeling.symbolic	Symbolic modeling of integer variables and objective functions
org.maxicp.modeling.xcsp3	Implementation of XCSP3 API using MaxiCP
org.maxicp.search	Search API

Uses of IntExpression in org.maxicp

Methods in org.maxicp that return IntExpression

Modifier and Type	Method	Description
IntExpression[]	ModelDispatcher.intVarArray(int n, Function<Integer,IntExpression> body)

Method parameters in org.maxicp with type arguments of type IntExpression

Modifier and Type	Method	Description
IntExpression[]	ModelDispatcher.intVarArray(int n, Function<Integer,IntExpression> body)

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

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

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

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

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 IntExpression

Modifier and Type	Method	Description
default IntExpression	CPIntVar.abs()
default IntExpression	CPIntVar.minus(int v)
default IntExpression	CPIntVar.minus(IntExpression v)
default IntExpression	CPIntVar.plus(int v)
default IntExpression	CPIntVar.plus(IntExpression v)

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

Modifier and Type	Method	Description
default IntExpression	CPIntVar.minus(IntExpression v)
default IntExpression	CPIntVar.plus(IntExpression v)

Uses of IntExpression in org.maxicp.cp.examples.modeling

Methods in org.maxicp.cp.examples.modeling with parameters of type IntExpression

Modifier and Type	Method	Description
static IntVar[]	Eternity.flatten(IntExpression[][] x)
static void	Eternity.prettyPrint(IntExpression[][] u, IntExpression[][] l, IntExpression[][] r, IntExpression[][] d)

Uses of IntExpression in org.maxicp.cp.modeling

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

Modifier and Type	Method	Description
void	ConcreteCPModel.enforceEqualityIntExpression(IntExpression expr, CPIntVar v)	Enforce that v == expr, without using Equal/NotEqual if possible.
ConcreteIntVar	ConcreteCPModel.getConcreteVar(IntExpression expr)
CPIntVar	ConcreteCPModel.getCPVar(IntExpression v)
CPIntVar[]	ConcreteCPModel.getCPVar(IntExpression[] v)
IntObjective	ConcreteCPModel.maximize(IntExpression v)
IntObjective	ConcreteCPModel.minimize(IntExpression v)

Uses of IntExpression in org.maxicp.modeling

Subinterfaces of IntExpression in org.maxicp.modeling

Modifier and Type	Interface	Description
interface	BoolVar
interface	IntVar

Methods in org.maxicp.modeling that return IntExpression

Modifier and Type	Method	Description
static IntExpression	Factory.abs(IntExpression x)
static IntExpression	Factory.cst(ModelProxy modelProxy, int v)
static IntExpression	Factory.end(IntervalVar interval)
static IntExpression	Factory.endOr(IntervalVar interval, int v)
static IntExpression	Factory.get(int[][] T, IntVar x, IntVar y)
static IntExpression	Factory.get(int[] T, IntExpression y)
static IntExpression	Factory.get(IntExpression[][] T, IntVar x, IntVar y)
static IntExpression	Factory.get(IntExpression[] T, IntExpression y)
static IntExpression	Factory.length(IntervalVar interval)
static IntExpression	Factory.lengthOr(IntervalVar interval, int v)
static IntExpression	Factory.max(IntExpression... x)
static IntExpression	Factory.min(IntExpression... x)
static IntExpression	Factory.minus(IntExpression a)
static IntExpression	Factory.minus(IntExpression a, int v)
static IntExpression	Factory.minus(IntExpression a, IntExpression b)
static IntExpression	Factory.mul(int b, IntExpression a)
static IntExpression	Factory.mul(IntExpression... x)
static IntExpression	Factory.mul(IntExpression a, int b)
static IntExpression	Factory.mul(IntExpression x, BoolExpression b)
static IntExpression	Factory.plus(IntExpression a, int v)
static IntExpression	Factory.plus(IntExpression a, IntExpression b)
static IntExpression	Factory.start(IntervalVar interval)
static IntExpression	Factory.startOr(IntervalVar interval, int v)
static IntExpression	Factory.sum(IntExpression... x)

Methods in org.maxicp.modeling with parameters of type IntExpression

Modifier and Type	Method	Description
static IntExpression	Factory.abs(IntExpression x)
static Constraint	Factory.allDifferent(IntExpression... x)
static Constraint	Factory.alternative(IntervalVar real, IntExpression n, IntervalVar... alternatives)
static Constraint	Factory.binPacking(IntExpression[] x, int[] weights, IntExpression[] loads)
static Constraint	Factory.circuit(IntExpression... x)
static Constraint	Factory.cumulative(IntExpression[] start, int[] duration, int[] demand, int capa)
static Constraint	Factory.disjunctive(IntExpression[] start, int[] duration)
static Constraint	Factory.distance(SeqVar seqVar, int[][] distanceMatrix, IntExpression distance)
static BoolExpression	Factory.endAfter(IntervalVar intervalVar, IntExpression value)
static BoolExpression	Factory.endBefore(IntervalVar intervalVar, IntExpression value)
static BoolExpression	Factory.eq(int a, IntExpression b)
static BoolExpression	Factory.eq(IntExpression a, int b)
static BoolExpression	Factory.eq(IntExpression a, IntExpression b)
static BoolExpression	Factory.ge(int a, IntExpression b)
static BoolExpression	Factory.ge(IntExpression a, int b)
static BoolExpression	Factory.ge(IntExpression a, IntExpression b)
static IntExpression	Factory.get(int[] T, IntExpression y)
static IntExpression	Factory.get(IntExpression[][] T, IntVar x, IntVar y)
static IntExpression	Factory.get(IntExpression[] T, IntExpression y)
static BoolExpression	Factory.gt(int a, IntExpression b)
static BoolExpression	Factory.gt(IntExpression a, int b)
static BoolExpression	Factory.gt(IntExpression a, IntExpression b)
static BoolExpression	Factory.le(int a, IntExpression b)
static BoolExpression	Factory.le(IntExpression a, int b)
static BoolExpression	Factory.le(IntExpression a, IntExpression b)
static BoolExpression	Factory.lt(int a, IntExpression b)
static BoolExpression	Factory.lt(IntExpression a, int b)
static BoolExpression	Factory.lt(IntExpression a, IntExpression b)
static IntExpression	Factory.max(IntExpression... x)
static Objective	Factory.maximize(IntExpression x)
static Objective	Factory.maximize(IntExpression x, boolean shared)
static IntExpression	Factory.min(IntExpression... x)
static Objective	Factory.minimize(IntExpression x)
static Objective	Factory.minimize(IntExpression x, boolean shared)
static IntExpression	Factory.minus(IntExpression a)
static IntExpression	Factory.minus(IntExpression a, int v)
static IntExpression	Factory.minus(IntExpression a, IntExpression b)
static IntExpression	Factory.mul(int b, IntExpression a)
static IntExpression	Factory.mul(IntExpression... x)
static IntExpression	Factory.mul(IntExpression a, int b)
static IntExpression	Factory.mul(IntExpression x, BoolExpression b)
static Constraint	Factory.negTable(IntExpression[] x, int[][] array, Optional<Integer> starred)
static BoolExpression	Factory.neq(int a, IntExpression b)
static BoolExpression	Factory.neq(IntExpression a, int b)
static BoolExpression	Factory.neq(IntExpression a, IntExpression b)
static IntExpression	Factory.plus(IntExpression a, int v)
static IntExpression	Factory.plus(IntExpression a, IntExpression b)
static BoolExpression	Factory.startAfter(IntervalVar intervalVar, IntExpression value)
static BoolExpression	Factory.startBefore(IntervalVar intervalVar, IntExpression value)
static IntExpression	Factory.sum(IntExpression... x)
static Constraint	Factory.table(IntExpression[] x, int[][] array, Optional<Integer> starred)
static Constraint	Factory.transitionTimes(SeqVar seqVar, IntExpression[] time, int[][] dist)
static Constraint	Factory.transitionTimes(SeqVar seqVar, IntExpression[] time, int[][] dist, int[] serviceTime)

Uses of IntExpression in org.maxicp.modeling.algebra

Method parameters in org.maxicp.modeling.algebra with type arguments of type IntExpression

Modifier and Type	Method	Description
static Function<Expression,Expression>	ExpressionMapper.recursiveIntExprMapper(Function<IntExpression,IntExpression> f)
static Function<Expression,Expression>	ExpressionMapper.recursiveIntExprMapper(Function<IntExpression,IntExpression> f)

Uses of IntExpression in org.maxicp.modeling.algebra.bool

Subinterfaces of IntExpression in org.maxicp.modeling.algebra.bool

Modifier and Type	Interface	Description
interface	BoolExpression
interface	SymbolicBoolExpression

Classes in org.maxicp.modeling.algebra.bool that implement IntExpression

Modifier and Type	Class	Description
final record	And
final record	EndAfter
final record	EndBefore
final record	EndBeforeStart
final record	Eq
final record	GreaterOrEq
final record	InSet
final record	LessOrEq
final record	Not
final record	NotEq
final record	Or
final record	Present
final record	StartAfter
final record	StartBefore	Boolean variable that represents if an interval is executed before a given value

Methods in org.maxicp.modeling.algebra.bool that return IntExpression

Modifier and Type	Method	Description
IntExpression	Eq.a()	Returns the value of the a record component.
IntExpression	GreaterOrEq.a()	Returns the value of the a record component.
IntExpression	InSet.a()	Returns the value of the a record component.
IntExpression	LessOrEq.a()	Returns the value of the a record component.
IntExpression	NotEq.a()	Returns the value of the a record component.
IntExpression	Eq.b()	Returns the value of the b record component.
IntExpression	GreaterOrEq.b()	Returns the value of the b record component.
IntExpression	LessOrEq.b()	Returns the value of the b record component.
IntExpression	NotEq.b()	Returns the value of the b record component.
IntExpression	EndBefore.end()	Returns the value of the end record component.
IntExpression	And.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	EndAfter.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	EndBefore.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	EndBeforeStart.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	Eq.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	GreaterOrEq.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	InSet.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	LessOrEq.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	Not.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	NotEq.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	Or.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	Present.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	StartAfter.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	StartBefore.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	EndAfter.value()	Returns the value of the value record component.
IntExpression	StartAfter.value()	Returns the value of the value record component.
IntExpression	StartBefore.value()	Returns the value of the value record component.

Constructors in org.maxicp.modeling.algebra.bool with parameters of type IntExpression

Modifier	Constructor	Description
	EndAfter(IntervalVar interval, IntExpression value)	Creates an instance of a EndAfter record class.
	EndBefore(IntervalVar intervalVar, IntExpression end)	Creates an instance of a EndBefore record class.
	Eq(int a, IntExpression b)
	Eq(IntExpression a, int b)
	Eq(IntExpression a, IntExpression b)	Creates an instance of a Eq record class.
	GreaterOrEq(int a, IntExpression b)
	GreaterOrEq(IntExpression a, int b)
	GreaterOrEq(IntExpression a, IntExpression b)	Creates an instance of a GreaterOrEq record class.
	InSet(IntExpression a, Set<Integer> b)	Creates an instance of a InSet record class.
	LessOrEq(int a, IntExpression b)
	LessOrEq(IntExpression a, int b)
	LessOrEq(IntExpression a, IntExpression b)	Creates an instance of a LessOrEq record class.
	NotEq(int a, IntExpression b)
	NotEq(IntExpression a, int b)
	NotEq(IntExpression a, IntExpression b)	Creates an instance of a NotEq record class.
	StartAfter(IntervalVar interval, IntExpression value)	Creates an instance of a StartAfter record class.
	StartBefore(IntervalVar interval, IntExpression value)	Creates an instance of a StartBefore record class.

Uses of IntExpression in org.maxicp.modeling.algebra.integer

Subinterfaces of IntExpression in org.maxicp.modeling.algebra.integer

Modifier and Type	Interface	Description
interface	SymbolicIntExpression

Classes in org.maxicp.modeling.algebra.integer that implement IntExpression

Modifier and Type	Class	Description
final record	Abs
final record	Constant
final record	CstMul
final record	CstOffset
final record	Element1D
final record	Element1DVar
final record	Element2D
final record	Element2DVar
final record	IntervalEnd	Gives the end of an IntervalVar
final record	IntervalEndOrValue	Gives the end of an IntervalVar or a given value if the interval is not present
final record	IntervalLength	Gives the length of an IntervalVar
final record	IntervalLengthOrValue	Gives the length an IntervalVar or a given value if the interval is not present
final record	IntervalStart	Gives the start of an IntervalVar
final record	IntervalStartOrValue	Gives the start of an IntervalVar or a given value if the interval is not present
final record	Max
final record	Min
final record	Mul
final record	MulBinary
final record	Sum
final record	UnaryMinus
final record	WeightedSum

Methods in org.maxicp.modeling.algebra.integer that return IntExpression

Modifier and Type	Method	Description
IntExpression	IntExpression.abs()
default IntExpression	SymbolicIntExpression.abs()
IntExpression[]	Element1DVar.array()	Returns the value of the array record component.
IntExpression[][]	Element2DVar.array()	Returns the value of the array record component.
IntExpression	Abs.expr()	Returns the value of the expr record component.
IntExpression	CstMul.expr()	Returns the value of the expr record component.
IntExpression	CstOffset.expr()	Returns the value of the expr record component.
IntExpression	UnaryMinus.expr()	Returns the value of the expr record component.
IntExpression[]	Max.exprs()	Returns the value of the exprs record component.
IntExpression[]	Min.exprs()	Returns the value of the exprs record component.
IntExpression	Element1D.index()	Returns the value of the index record component.
IntExpression	Element1DVar.index()	Returns the value of the index record component.
IntExpression	IntervalEnd.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntervalEndOrValue.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntervalLength.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntervalLengthOrValue.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntervalStart.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntervalStartOrValue.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntExpression.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntExpression.minus(int v)
IntExpression	IntExpression.minus(IntExpression v)
default IntExpression	SymbolicIntExpression.minus(int v)
default IntExpression	SymbolicIntExpression.minus(IntExpression v)
IntExpression	IntExpression.plus(int v)
IntExpression	IntExpression.plus(IntExpression v)
default IntExpression	SymbolicIntExpression.plus(int v)
default IntExpression	SymbolicIntExpression.plus(IntExpression v)
IntExpression[]	Mul.subexprs()	Returns the value of the subexprs record component.
IntExpression[]	Sum.subexprs()	Returns the value of the subexprs record component.
IntExpression[]	WeightedSum.subexprs()	Returns the value of the subexprs record component.
IntExpression	Element2D.x()	Returns the value of the x record component.
IntExpression	Element2DVar.x()	Returns the value of the x record component.
IntExpression	MulBinary.x()	Returns the value of the x record component.
IntExpression	Element2D.y()	Returns the value of the y record component.
IntExpression	Element2DVar.y()	Returns the value of the y record component.

Methods in org.maxicp.modeling.algebra.integer with parameters of type IntExpression

Modifier and Type	Method	Description
IntExpression	IntExpression.minus(IntExpression v)
default IntExpression	SymbolicIntExpression.minus(IntExpression v)
IntExpression	IntExpression.plus(IntExpression v)
default IntExpression	SymbolicIntExpression.plus(IntExpression v)

Constructors in org.maxicp.modeling.algebra.integer with parameters of type IntExpression

Modifier	Constructor	Description
	Abs(IntExpression expr)	Creates an instance of a Abs record class.
	CstMul(IntExpression expr, int mul)	Creates an instance of a CstMul record class.
	CstOffset(IntExpression expr, int v)	Creates an instance of a CstOffset record class.
	Element1D(int[] array, IntExpression index)	Creates an instance of a Element1D record class.
	Element1DVar(IntExpression[] array, IntExpression index)	Creates an instance of a Element1DVar record class.
	Element2D(int[][] array, IntExpression x, IntExpression y)	Creates an instance of a Element2D record class.
	Element2DVar(IntExpression[][] array, IntExpression x, IntExpression y)	Creates an instance of a Element2DVar record class.
	Max(IntExpression[] exprs)	Creates an instance of a Max record class.
	Min(IntExpression[] exprs)	Creates an instance of a Min record class.
	Mul(IntExpression... subexprs)	Creates an instance of a Mul record class.
	MulBinary(IntExpression x, BoolExpression b)	Creates an instance of a MulBinary record class.
	Sum(IntExpression... subexprs)	Creates an instance of a Sum record class.
	UnaryMinus(IntExpression expr)	Creates an instance of a UnaryMinus record class.
	WeightedSum(IntExpression[] subexprs, int[] weights)	Creates an instance of a WeightedSum record class.

Uses of IntExpression in org.maxicp.modeling.algebra.scheduling

Methods in org.maxicp.modeling.algebra.scheduling that return IntExpression

Modifier and Type	Method	Description
IntExpression	CumulFunction.heightAtEnd(IntervalVar interval)	Returns an IntExpression representing the height of the cumul function at the end of the interval variable given in parameter.
IntExpression	FlatCumulFunction.heightAtEnd(IntervalVar interval)
IntExpression	MinusCumulFunction.heightAtEnd(IntervalVar interval)
IntExpression	PlusCumulFunction.heightAtEnd(IntervalVar interval)
IntExpression	PulseCumulFunction.heightAtEnd(IntervalVar interval)
IntExpression	StepAtEndCumulFunction.heightAtEnd(IntervalVar interval)
IntExpression	StepAtStartCumulFunction.heightAtEnd(IntervalVar interval)
IntExpression	SumCumulFunction.heightAtEnd(IntervalVar interval)
IntExpression	CumulFunction.heightAtStart(IntervalVar interval)	Returns an IntExpression representing the height of the cumul function at the start of the interval variable given in parameter.
IntExpression	FlatCumulFunction.heightAtStart(IntervalVar interval)
IntExpression	MinusCumulFunction.heightAtStart(IntervalVar interval)
IntExpression	PlusCumulFunction.heightAtStart(IntervalVar interval)
IntExpression	PulseCumulFunction.heightAtStart(IntervalVar interval)
IntExpression	StepAtEndCumulFunction.heightAtStart(IntervalVar interval)
IntExpression	StepAtStartCumulFunction.heightAtStart(IntervalVar interval)
IntExpression	SumCumulFunction.heightAtStart(IntervalVar interval)

Uses of IntExpression in org.maxicp.modeling.concrete

Subinterfaces of IntExpression in org.maxicp.modeling.concrete

Modifier and Type	Interface	Description
interface	ConcreteBoolVar
interface	ConcreteIntVar

Methods in org.maxicp.modeling.concrete with parameters of type IntExpression

Modifier and Type	Method	Description
ConcreteIntVar	ConcreteModel.getConcreteVar(IntExpression expr)
ConcreteIntVar	ConcreteModelProxy.getConcreteVar(IntExpression expr)

Uses of IntExpression in org.maxicp.modeling.constraints

Methods in org.maxicp.modeling.constraints that return IntExpression

Modifier and Type	Method	Description
IntExpression[]	BinPacking.loads()	Returns the value of the loads record component.
IntExpression[]	Sorted.o()	Returns the value of the o record component.
IntExpression[]	Cumulative.start()	Returns the value of the start record component.
IntExpression[]	Disjunctive.start()	Returns the value of the start record component.
IntExpression[]	Circuit.successor()	Returns the value of the successor record component.
IntExpression[]	BinPacking.x()	Returns the value of the x record component.
IntExpression[]	CardinalityMax.x()	Returns the value of the x record component.
IntExpression[]	CardinalityMin.x()	Returns the value of the x record component.
IntExpression[]	NegTable.x()	Returns the value of the x record component.
IntExpression[]	Sorted.x()	Returns the value of the x record component.
IntExpression[]	Table.x()	Returns the value of the x record component.
IntExpression[]	Sorted.y()	Returns the value of the y record component.

Methods in org.maxicp.modeling.constraints that return types with arguments of type IntExpression

Modifier and Type	Method	Description
ImmutableSet<IntExpression>	AllDifferent.x()	Returns the value of the x record component.

Constructors in org.maxicp.modeling.constraints with parameters of type IntExpression

Modifier	Constructor	Description
	AllDifferent(IntExpression... x)
	BinPacking(IntExpression[] x, int[] weights, IntExpression[] loads)	Creates an instance of a BinPacking record class.
	CardinalityMax(IntExpression[] x, int[] array)	Creates an instance of a CardinalityMax record class.
	CardinalityMin(IntExpression[] x, int[] array)	Creates an instance of a CardinalityMin record class.
	Circuit(IntExpression[] successor)	Creates an instance of a Circuit record class.
	Cumulative(IntExpression[] start, int[] duration, int[] demand, int capa)	Creates an instance of a Cumulative record class.
	Disjunctive(IntExpression[] start, int[] duration)	Creates an instance of a Disjunctive record class.
	NegTable(IntExpression[] x, int[][] array)
	NegTable(IntExpression[] x, int[][] array, Optional<Integer> starred)	Creates an instance of a NegTable record class.
	Sorted(IntExpression[] x, IntExpression[] o, IntExpression[] y)	Creates an instance of a Sorted record class.
	Table(IntExpression[] x, int[][] array)
	Table(IntExpression[] x, int[][] array, Optional<Integer> starred)	Creates an instance of a Table record class.

Constructor parameters in org.maxicp.modeling.constraints with type arguments of type IntExpression

Modifier	Constructor	Description
	AllDifferent(ImmutableSet<IntExpression> x)	Creates an instance of a AllDifferent record class.

Uses of IntExpression in org.maxicp.modeling.constraints.scheduling

Methods in org.maxicp.modeling.constraints.scheduling that return IntExpression

Modifier and Type	Method	Description
IntExpression	Alternative.n()	Returns the value of the n record component.

Constructors in org.maxicp.modeling.constraints.scheduling with parameters of type IntExpression

Modifier	Constructor	Description
	Alternative(IntervalVar real, IntExpression n, IntervalVar... alternatives)	Creates an instance of a Alternative record class.

Uses of IntExpression in org.maxicp.modeling.constraints.seqvar

Fields in org.maxicp.modeling.constraints.seqvar declared as IntExpression

Modifier and Type	Field	Description
final IntExpression	Distance.distance
final IntExpression[]	TransitionTimes.time

Constructors in org.maxicp.modeling.constraints.seqvar with parameters of type IntExpression

Modifier	Constructor	Description
	Distance(SeqVar seqVar, int[][] distanceMatrix, IntExpression distance)
	TransitionTimes(SeqVar seqVar, IntExpression[] time, int[][] dist)	Constraint linking nodes with time windows, updating the time windows of nodes depending on when they are visited, based on a distance matrix and service time.
	TransitionTimes(SeqVar seqVar, IntExpression[] time, int[][] dist, int[] serviceTime)	Constraint linking nodes with time windows, updating the time windows of nodes depending on when they are visited, based on a distance matrix and service time.

Uses of IntExpression in org.maxicp.modeling.symbolic

Subinterfaces of IntExpression in org.maxicp.modeling.symbolic

Modifier and Type	Interface	Description
interface	SymbolicBoolVar
interface	SymbolicIntVar

Classes in org.maxicp.modeling.symbolic that implement IntExpression

Modifier and Type	Class	Description
class	BoolVarImpl
class	IntervalStatus
class	IntVarRangeImpl
class	IntVarSetImpl
class	IsNodeRequired

Fields in org.maxicp.modeling.symbolic declared as IntExpression

Modifier and Type	Field	Description
final IntExpression	SharedMaximization.expr
final IntExpression	SharedMinimization.expr

Methods in org.maxicp.modeling.symbolic that return IntExpression

Modifier and Type	Method	Description
IntExpression	Maximization.expr()	Returns the value of the expr record component.
IntExpression	Minimization.expr()	Returns the value of the expr record component.

Constructors in org.maxicp.modeling.symbolic with parameters of type IntExpression

Modifier	Constructor	Description
	Maximization(IntExpression expr)	Creates an instance of a Maximization record class.
	Minimization(IntExpression expr)	Creates an instance of a Minimization record class.
	SharedMaximization(IntExpression expr)
	SharedMaximization(IntExpression expr, int initialValue)
	SharedMinimization(IntExpression expr)
	SharedMinimization(IntExpression expr, int initialValue)

Uses of IntExpression in org.maxicp.modeling.xcsp3

Fields in org.maxicp.modeling.xcsp3 with type parameters of type IntExpression

Modifier and Type	Field	Description
protected HashMap<String,IntExpression>	XCSP3.expr_cache

Methods in org.maxicp.modeling.xcsp3 that return IntExpression

Modifier and Type	Method	Description
IntExpression[]	XCSP3.XCSP3LoadedInstance.decisionVars()	Returns the value of the decisionVars record component.

Constructors in org.maxicp.modeling.xcsp3 with parameters of type IntExpression

Modifier	Constructor	Description
	XCSP3LoadedInstance(ModelDispatcher md, IntExpression[] decisionVars, Supplier<String> solutionGenerator)	Creates an instance of a XCSP3LoadedInstance record class.

Uses of IntExpression in org.maxicp.search

Methods in org.maxicp.search that return types with arguments of type IntExpression

Modifier and Type	Method	Description
static Function<IntExpression,Integer>	Searches.boundImpactValueSelector(IntExpression objective)	Bound-Impact value selector.
static Supplier<IntExpression>	Searches.minDomVariableSelector(IntExpression... xs)	It selects the first not fixed variable with the smallest domain.
static Supplier<IntExpression>	Searches.staticOrderVariableSelector(IntExpression... xs)

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

Modifier and Type	Method	Description
static Function<IntExpression,Integer>	Searches.boundImpactValueSelector(IntExpression objective)	Bound-Impact value selector.
static Supplier<Runnable[]>	Searches.conflictOrderingSearch(IntExpression... xs)	Conflict Ordering Search with default variable selector (first-fail min dom) and value selector (min value).
static Supplier<Runnable[]>	Searches.firstFailBinary(IntExpression... x)	First-Fail Binary search strategy.
static Supplier<Runnable[]>	Searches.firstFailNary(IntExpression... x)	First-Fail N-Ary search strategy.
static Supplier<IntExpression>	Searches.minDomVariableSelector(IntExpression... xs)	It selects the first not fixed variable with the smallest domain.
static Supplier<Runnable[]>	Searches.staticOrderBinary(Function<IntExpression,Integer> valueSelector, IntExpression... xs)	Binary Branching with static variable ordering and custom value heuristic.
static Supplier<Runnable[]>	Searches.staticOrderBinary(IntExpression... xs)	Binary Branching with static variable ordering and natural value ordering.
static Supplier<Runnable[]>	Searches.staticOrderNary(IntExpression... xs)	N-ary Branching with static variable ordering and natural value ordering.
static Supplier<IntExpression>	Searches.staticOrderVariableSelector(IntExpression... xs)

Method parameters in org.maxicp.search with type arguments of type IntExpression

Modifier and Type	Method	Description
static Supplier<Runnable[]>	Searches.conflictOrderingSearch(Supplier<IntExpression> variableSelector, Function<IntExpression,Integer> valueSelector)	Conflict Ordering Search
static Supplier<Runnable[]>	Searches.conflictOrderingSearch(Supplier<IntExpression> variableSelector, Function<IntExpression,Integer> valueSelector)	Conflict Ordering Search
static Supplier<Runnable[]>	Searches.heuristicBinary(Supplier<IntExpression> variableSelector)	Binary Branching with custom variable heuristic and natural value ordering.
static Supplier<Runnable[]>	Searches.heuristicBinary(Supplier<IntExpression> variableSelector, Function<IntExpression,Integer> valueSelector)	Binary Branching with custom variable and value heuristics.
static Supplier<Runnable[]>	Searches.heuristicBinary(Supplier<IntExpression> variableSelector, Function<IntExpression,Integer> valueSelector)	Binary Branching with custom variable and value heuristics.
static Supplier<Runnable[]>	Searches.heuristicNary(Supplier<IntExpression> variableSelector)	N-ary Branching with custom variable heuristic and natural value ordering.
static Supplier<Runnable[]>	Searches.heuristicNary(Supplier<IntExpression> variableSelector, Function<Integer,Integer> valueHeuristic)	N-ary Branching with custom variable and value heuristics.
static Supplier<Runnable[]>	Searches.lastConflict(Supplier<IntExpression> variableSelector, Function<IntExpression,Integer> valueSelector)	Last conflict heuristic Attempts to branch first on the last variable that caused an Inconsistency
static Supplier<Runnable[]>	Searches.lastConflict(Supplier<IntExpression> variableSelector, Function<IntExpression,Integer> valueSelector)	Last conflict heuristic Attempts to branch first on the last variable that caused an Inconsistency
static Supplier<Runnable[]>	Searches.staticOrderBinary(Function<IntExpression,Integer> valueSelector, IntExpression... xs)	Binary Branching with static variable ordering and custom value heuristic.