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
org.maxicp.search.blackbox

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)

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

Modifier and Type	Method	Description
List<IntExpression>	ModelDispatcher.getDecisionVariables()	Infers the decision variables from the constraint graph of the current model.

Methods in org.maxicp with parameters of type IntExpression

Modifier and Type	Method	Description
BlackBoxSearch	ModelDispatcher.blackBoxSearch(IntExpression... vars)	Creates a black-box search over the specified integer decision variables.

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

Modifier and Type	Method	Description
void	ModelDispatcher.addVariableGroup(List<IntExpression> group)
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 that return types with arguments of type IntExpression

Modifier and Type	Method	Description
List<List<IntExpression>>	ConcreteCPModel.getVariableGroups()

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)	Returns an integer expression representing the absolute value |x|.
static IntExpression	Factory.cst(ModelProxy modelProxy, int v)	Creates a constant integer expression with value v.
static IntExpression	Factory.div(IntExpression a, int b)	Returns an integer expression representing the integer division a / b.
static IntExpression	Factory.div(IntExpression x, IntExpression y)	Returns an integer expression representing the integer division x / y.
static IntExpression	Factory.end(IntervalVar interval)
static IntExpression	Factory.endOr(IntervalVar interval, int v)
static IntExpression	Factory.get(int[][] T, IntExpression x, IntExpression y)	Returns an integer expression representing T[x][y].
static IntExpression	Factory.get(int[] T, IntExpression y)	Returns an integer expression representing T[y].
static IntExpression	Factory.get(IntExpression[][] T, IntExpression x, IntExpression y)	Returns an integer expression representing T[x][y].
static IntExpression	Factory.get(IntExpression[] T, IntExpression y)	Returns an integer expression representing T[y].
static IntExpression	Factory.length(IntervalVar interval)
static IntExpression	Factory.lengthOr(IntervalVar interval, int v)
static IntExpression	Factory.max(IntExpression... x)	Returns an integer expression representing the maximum of the given expressions.
static IntExpression	Factory.min(IntExpression... x)	Returns an integer expression representing the minimum of the given expressions.
static IntExpression	Factory.minus(IntExpression a)	Returns an integer expression representing the unary negation -a.
static IntExpression	Factory.minus(IntExpression a, int v)	Returns an integer expression representing a - v.
static IntExpression	Factory.minus(IntExpression a, IntExpression b)	Returns an integer expression representing a - b.
static IntExpression	Factory.mul(int b, IntExpression a)	Returns an integer expression representing b * a.
static IntExpression	Factory.mul(IntExpression... x)	Returns an integer expression representing the product of the given expressions.
static IntExpression	Factory.mul(IntExpression a, int b)	Returns an integer expression representing a * b.
static IntExpression	Factory.mul(IntExpression x, BoolExpression b)	Returns an integer expression representing x * b where b is a boolean expression.
static IntExpression	Factory.plus(IntExpression a, int v)	Returns an integer expression representing a + v.
static IntExpression	Factory.plus(IntExpression a, IntExpression b)	Returns an integer expression representing a + b.
static IntExpression	Factory.start(IntervalVar interval)
static IntExpression	Factory.startOr(IntervalVar interval, int v)
static IntExpression	Factory.sum(IntExpression... x)	Returns an integer expression representing the sum of the given expressions.

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

Modifier and Type	Method	Description
static List<IntExpression>	DecisionVarCollector.collect(ModelDispatcher model)	Collects all candidate integer/boolean decision variables inferred from the model's constraint graph.
static List<IntExpression>	DecisionVarCollector.collectAllIntVars(ModelDispatcher model, Objective objective)	Collects all integer/boolean variables relevant for black-box search on the model, starting with primary decision variables from DecisionVarCollector.collect(ModelDispatcher), followed by any leaf IntVar in the objective and any remaining registered IntVar on the ModelDispatcher.
Collection<IntExpression>	DecisionVarsProvider.decisionVariables()	Returns the sub-expressions of this node that should be considered decision variables (i.e., variables to branch on / freeze in LNS).
default List<List<IntExpression>>	Model.getVariableGroups()

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

Modifier and Type	Method	Description
static IntExpression	Factory.abs(IntExpression x)	Returns an integer expression representing the absolute value |x|.
static Constraint	Factory.allDifferent(IntExpression... x)	Creates an AllDifferent constraint ensuring that all expressions in x take pairwise distinct values.
static Constraint	Factory.alternative(IntervalVar real, IntExpression n, IntervalVar... alternatives)
static Constraint	Factory.among(IntExpression[] x, Set<Integer> values, IntExpression count)	Creates an Among constraint ensuring that count expressions in x take a value in values.
static Constraint	Factory.binPacking(IntExpression[] x, int[] weights, IntExpression[] loads)	Creates a BinPacking constraint linking item bin assignments x and item weights to bin loads.
static Constraint	Factory.cardinalityMax(IntExpression[] x, int[] maxCard)	Creates a CardinalityMax constraint ensuring that each value v appears at most maxCard[v] times in x.
static Constraint	Factory.cardinalityMin(IntExpression[] x, int[] minCard)	Creates a CardinalityMin constraint ensuring that each value v appears at least minCard[v] times in x.
static Constraint	Factory.circuit(IntExpression... x)	Creates a Circuit constraint ensuring that the successor array x forms a single Hamiltonian circuit.
static Constraint	Factory.cumulative(IntExpression[] start, int[] duration, int[] demand, int capa)	Creates a Cumulative scheduling constraint with constant durations, demands, and capacity.
static Constraint	Factory.cumulative(IntExpression[] start, IntExpression[] duration, IntExpression[] end, IntExpression[] demand, IntExpression capa)	Creates a Cumulative scheduling constraint with variable durations, ends, demands, and capacity.
static Constraint	Factory.disjunctive(IntExpression[] start, int[] duration)	Creates a Disjunctive scheduling constraint with constant activity durations.
static Constraint	Factory.disjunctive(IntExpression[] start, IntExpression[] duration)	Creates a Disjunctive scheduling constraint with variable activity durations.
static Constraint	Factory.distance(SeqVar seqVar, int[][] distanceMatrix, IntExpression distance)	Creates a Distance constraint on a sequence variable maintaining the total travel distance.
static IntExpression	Factory.div(IntExpression a, int b)	Returns an integer expression representing the integer division a / b.
static IntExpression	Factory.div(IntExpression x, IntExpression y)	Returns an integer expression representing the integer division x / y.
static BoolExpression	Factory.endAfter(IntervalVar intervalVar, IntExpression value)
static BoolExpression	Factory.endBefore(IntervalVar intervalVar, IntExpression value)
static BoolExpression	Factory.eq(int a, IntExpression b)	Returns a boolean expression representing a == b.
static BoolExpression	Factory.eq(IntExpression a, int b)	Returns a boolean expression representing a == b.
static BoolExpression	Factory.eq(IntExpression a, IntExpression b)	Returns a boolean expression representing a == b.
static BoolExpression	Factory.ge(int a, IntExpression b)	Returns a boolean expression representing a >= b.
static BoolExpression	Factory.ge(IntExpression a, int b)	Returns a boolean expression representing a >= b.
static BoolExpression	Factory.ge(IntExpression a, IntExpression b)	Returns a boolean expression representing a >= b.
static IntExpression	Factory.get(int[][] T, IntExpression x, IntExpression y)	Returns an integer expression representing T[x][y].
static IntExpression	Factory.get(int[] T, IntExpression y)	Returns an integer expression representing T[y].
static IntExpression	Factory.get(IntExpression[][] T, IntExpression x, IntExpression y)	Returns an integer expression representing T[x][y].
static IntExpression	Factory.get(IntExpression[] T, IntExpression y)	Returns an integer expression representing T[y].
static BoolExpression	Factory.gt(int a, IntExpression b)	Returns a boolean expression representing a > b.
static BoolExpression	Factory.gt(IntExpression a, int b)	Returns a boolean expression representing a > b.
static BoolExpression	Factory.gt(IntExpression a, IntExpression b)	Returns a boolean expression representing a > b.
static BoolExpression	Factory.le(int a, IntExpression b)	Returns a boolean expression representing a <= b.
static BoolExpression	Factory.le(IntExpression a, int b)	Returns a boolean expression representing a <= b.
static BoolExpression	Factory.le(IntExpression a, IntExpression b)	Returns a boolean expression representing a <= b.
static Constraint	Factory.lexLe(IntExpression[] x, IntExpression[] y)	Creates a non-strict lexicographic ordering constraint x <=_lex y.
static Constraint	Factory.lexLt(IntExpression[] x, IntExpression[] y)	Creates a strict lexicographic ordering constraint x <_lex y.
static BoolExpression	Factory.lt(int a, IntExpression b)	Returns a boolean expression representing a < b.
static BoolExpression	Factory.lt(IntExpression a, int b)	Returns a boolean expression representing a < b.
static BoolExpression	Factory.lt(IntExpression a, IntExpression b)	Returns a boolean expression representing a < b.
static IntExpression	Factory.max(IntExpression... x)	Returns an integer expression representing the maximum of the given expressions.
static Objective	Factory.maximize(IntExpression x)	Creates a maximization objective for the given integer expression.
static Objective	Factory.maximize(IntExpression x, boolean shared)	Creates a maximization objective for the given integer expression.
static IntExpression	Factory.min(IntExpression... x)	Returns an integer expression representing the minimum of the given expressions.
static Objective	Factory.minimize(IntExpression x)	Creates a minimization objective for the given integer expression.
static Objective	Factory.minimize(IntExpression x, boolean shared)	Creates a minimization objective for the given integer expression.
static IntExpression	Factory.minus(IntExpression a)	Returns an integer expression representing the unary negation -a.
static IntExpression	Factory.minus(IntExpression a, int v)	Returns an integer expression representing a - v.
static IntExpression	Factory.minus(IntExpression a, IntExpression b)	Returns an integer expression representing a - b.
static IntExpression	Factory.mul(int b, IntExpression a)	Returns an integer expression representing b * a.
static IntExpression	Factory.mul(IntExpression... x)	Returns an integer expression representing the product of the given expressions.
static IntExpression	Factory.mul(IntExpression a, int b)	Returns an integer expression representing a * b.
static IntExpression	Factory.mul(IntExpression x, BoolExpression b)	Returns an integer expression representing x * b where b is a boolean expression.
static Constraint	Factory.negTable(IntExpression[] x, int[][] array, Optional<Integer> starred)	Creates a negative NegTable constraint ensuring that the tuple assigned to x does not match any tuple in array.
static BoolExpression	Factory.neq(int a, IntExpression b)	Returns a boolean expression representing a != b.
static BoolExpression	Factory.neq(IntExpression a, int b)	Returns a boolean expression representing a != b.
static BoolExpression	Factory.neq(IntExpression a, IntExpression b)	Returns a boolean expression representing a != b.
static Constraint	Factory.noOverlap(IntervalVar[] intervals, IntExpression[] posOfInterval, IntExpression[] intervalInPos)	Creates a noOverlap constraint with position variables and zero transition times.
static Constraint	Factory.noOverlap(IntervalVar[] intervals, IntExpression[] posOfInterval, IntExpression[] intervalInPos, int[][] minTransition)	Creates a noOverlap constraint with position variables and minimum transition times.
static IntExpression	Factory.plus(IntExpression a, int v)	Returns an integer expression representing a + v.
static IntExpression	Factory.plus(IntExpression a, IntExpression b)	Returns an integer expression representing a + b.
static CumulFunction	Factory.pulse(IntervalVar interval, IntExpression height)
static BoolExpression	Factory.startAfter(IntervalVar intervalVar, IntExpression value)
static BoolExpression	Factory.startBefore(IntervalVar intervalVar, IntExpression value)
static Constraint	Factory.subCircuit(IntExpression... x)	Creates a SubCircuit constraint ensuring that the successor array x forms at most one circuit.
static IntExpression	Factory.sum(IntExpression... x)	Returns an integer expression representing the sum of the given expressions.
static Constraint	Factory.table(IntExpression[] x, int[][] array, Optional<Integer> starred)	Creates a positive Table constraint ensuring that the tuple assigned to x belongs to array.
static Constraint	Factory.transitionTimes(SeqVar seqVar, IntExpression[] time, int[][] dist)	Creates a TransitionTimes constraint linking visit times with transition distances in seqVar.
static Constraint	Factory.transitionTimes(SeqVar seqVar, IntExpression[] time, int[][] dist, int[] serviceTime)	Creates a TransitionTimes constraint linking visit times with transition distances and service durations in seqVar.

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	Div	Expression x / y
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)
default IntExpression	IntExpression.mul(IntExpression v)
default IntExpression	SymbolicIntExpression.mul(int 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	Div.x()	Returns the value of the x 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	Div.y()	Returns the value of the y 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 that return types with arguments of type IntExpression

Modifier and Type	Method	Description
Collection<IntExpression>	Element1D.decisionVariables()	The index variable is the decision variable; the array data and result are constant/derived.
Collection<IntExpression>	Element1DVar.decisionVariables()	The index variable selects the row; it is the decision variable.
Collection<IntExpression>	Element2D.decisionVariables()	Both row index x and column index y are decision variables; the result is derived.
Collection<IntExpression>	Element2DVar.decisionVariables()	Both row index x and column index y are decision variables; the result is derived.

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)
default IntExpression	IntExpression.mul(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.
	Div(IntExpression x, IntExpression y)	Creates an instance of a Div 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

Fields in org.maxicp.modeling.algebra.scheduling declared as IntExpression

Modifier and Type	Field	Description
final IntExpression	PulseCumulFunction.height

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)

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

Modifier	Constructor	Description
	PulseCumulFunction(IntervalVar interval, IntExpression height)

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
default BlackBoxSearch	ConcreteModel.blackBoxSearch(IntExpression... vars)
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	Cumulative.capa()	Returns the value of the capa record component.
IntExpression	Among.count()	Returns the value of the count record component.
IntExpression[]	Cumulative.demand()	Returns the value of the demand record component.
IntExpression[]	Cumulative.duration()	Returns the value of the duration record component.
IntExpression[]	Disjunctive.duration()	Returns the value of the duration record component.
IntExpression[]	Cumulative.end()	Returns the value of the end record component.
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[]	SubCircuit.successor()	Returns the value of the successor record component.
IntExpression[]	Among.x()	Returns the value of the x 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[]	LexLe.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[]	LexLe.y()	Returns the value of the y 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
Collection<IntExpression>	AllDifferent.decisionVariables()
Collection<IntExpression>	Among.decisionVariables()
Collection<IntExpression>	BinPacking.decisionVariables()
Collection<IntExpression>	CardinalityMax.decisionVariables()
Collection<IntExpression>	CardinalityMin.decisionVariables()
Collection<IntExpression>	Circuit.decisionVariables()
Collection<IntExpression>	Cumulative.decisionVariables()
Collection<IntExpression>	Disjunctive.decisionVariables()
Collection<IntExpression>	LexLe.decisionVariables()
Collection<IntExpression>	NegTable.decisionVariables()
Collection<IntExpression>	Sorted.decisionVariables()
Collection<IntExpression>	SubCircuit.decisionVariables()
Collection<IntExpression>	Table.decisionVariables()
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)	Creates an AllDifferent constraint over the given array of integer expressions.
	Among(IntExpression[] x, Set<Integer> values, IntExpression count)	Creates an instance of a Among record class.
	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 a Cumulative constraint with constant durations, demands, and capacity.
	Cumulative(IntExpression[] start, IntExpression[] duration, IntExpression[] end, IntExpression[] demand, IntExpression capa)	Creates an instance of a Cumulative record class.
	Disjunctive(IntExpression[] start, int[] duration)	Creates a Disjunctive constraint with constant activity durations.
	Disjunctive(IntExpression[] start, IntExpression[] duration)	Creates an instance of a Disjunctive record class.
	LexLe(IntExpression[] x, IntExpression[] y)	Creates a non-strict lexicographic ordering constraint (x <=_lex y).
	LexLe(IntExpression[] x, IntExpression[] y, boolean strict)	Creates an instance of a LexLe record class.
	NegTable(IntExpression[] x, int[][] array)	Creates a negative table constraint without wildcard values.
	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.
	SubCircuit(IntExpression[] successor)	Creates an instance of a SubCircuit record class.
	Table(IntExpression[] x, int[][] array)	Creates a positive table constraint without wildcard values.
	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[]	NoOverlapWithPosition.intervalInPos()	Returns the value of the intervalInPos record component.
IntExpression	Alternative.n()	Returns the value of the n record component.
IntExpression[]	NoOverlapWithPosition.posOfInterval()	Returns the value of the posOfInterval 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.
	NoOverlapWithPosition(IntervalVar[] intervals, IntExpression[] posOfInterval, IntExpression[] intervalInPos, int[][] minTransition)	Creates an instance of a NoOverlapWithPosition 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)	Creates a constraint maintaining that distance equals the sum of transition distances between consecutive nodes visited in seqVar.
	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.

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

Modifier and Type	Method	Description
List<List<IntExpression>>	SymbolicModel.getVariableGroups()
List<List<IntExpression>>	SymbolicModel.variableGroups()	Returns the value of the variableGroups record component.

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

Modifier and Type	Method	Description
SymbolicModel	SymbolicModel.addVariableGroup(List<IntExpression> group)

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)

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

Modifier	Constructor	Description
	SymbolicModel(Constraint constraint, SymbolicModel parent, ModelProxy modelProxy, List<List<IntExpression>> variableGroups)	Creates an instance of a SymbolicModel record class.

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 IdentityHashMap<org.xcsp.common.predicates.XNode<?>,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, String[] decisionVarIds, Supplier<String> solutionGenerator, Objective objective)
	XCSP3LoadedInstance(ModelDispatcher md, IntExpression[] decisionVars, String[] decisionVarIds, Supplier<String> solutionGenerator, Objective objective, Function<List<Integer>,String> solutionFormatter)	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.fds(IntExpression... intExpressions)
static Supplier<Runnable[]>	Searches.fds(IntExpression[][] intExpressions)
static Supplier<Runnable[]>	Searches.fds(IntervalVar[][] intervals, IntExpression... intExpressions)
static Supplier<Runnable[]>	Searches.fds(IntervalVar[] intervals, IntExpression... intExpressions)
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.

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

Modifier	Constructor	Description
	FDSModeling(double alpha, IntExpression... intExpressions)	Creates a Failure-Directed Search for integer expressions.
	FDSModeling(double alpha, IntExpression[][] intExpressions)	Creates a Failure-Directed Search for a 2D matrix of integer expressions.
	FDSModeling(double alpha, IntervalVar[][] intervals, IntExpression... intExpressions)	Creates a Failure-Directed Search for mixed 2D interval and integer decisions.
	FDSModeling(double alpha, IntervalVar[] intervals, IntExpression... intExpressions)	Creates a Failure-Directed Search for mixed interval and integer decisions.
	FDSModeling(IntExpression... intExpressions)	Creates a Failure-Directed Search for integer expressions.
	FDSModeling(IntExpression[][] intExpressions)	Creates a Failure-Directed Search for a 2D matrix of integer expressions.
	FDSModeling(IntervalVar[][] intervals, IntExpression... intExpressions)	Creates a Failure-Directed Search for mixed 2D interval and integer decisions.
	FDSModeling(IntervalVar[] intervals, IntExpression... intExpressions)	Creates a Failure-Directed Search for mixed interval and integer decisions.

Uses of IntExpression in org.maxicp.search.blackbox

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

Modifier and Type	Method	Description
Map<IntExpression,Integer>	BlackBoxSearch.bestVarValuesMap()	Returns an unmodifiable view of the recorded variable values in the best solution.
Map<IntExpression,Integer>	ModelingBlackBox.Result.varValues()	Returns the value of the varValues record component.

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

Modifier and Type	Method	Description
Optional<Integer>	BlackBoxSearch.bestValue(IntExpression var)	Returns the value of var in the best incumbent solution found so far, if available.
Optional<List<Integer>>	BlackBoxSearch.bestValues(IntExpression... targetVars)	Returns the values of the given expressions in the best incumbent solution found so far.
static ModelingBlackBox.Result	ModelingBlackBox.optimize(ModelDispatcher model, IntExpression[] decisionVars, Objective objective, int timeLimitInSeconds)	Solves an optimization model with default black-box settings.
static ModelingBlackBox.Result	ModelingBlackBox.optimize(ModelDispatcher model, IntExpression[] decisionVars, Objective objective, int timeLimitInSeconds, UnaryOperator<ModelingBlackBox.OptimizeConfig> configurer)	Solves an optimization model with caller-provided configuration.
static ModelingBlackBox.Result	ModelingBlackBox.solve(ModelDispatcher model, IntExpression[] decisionVars, int timeLimitInSeconds)	Solves a feasibility model with default black-box settings.
static ModelingBlackBox.Result	ModelingBlackBox.solve(ModelDispatcher model, IntExpression[] decisionVars, int timeLimitInSeconds, UnaryOperator<ModelingBlackBox.SolveConfig> configurer)	Solves a feasibility model with caller-provided configuration.
Optional<Integer>	ModelingBlackBox.Result.value(IntExpression expr)	Returns the value of expr in the best incumbent solution, if available.
Optional<List<Integer>>	ModelingBlackBox.Result.values(IntExpression... vars)	Returns the values of vars in the best incumbent solution, if available.

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

Modifier and Type	Method	Description
static ModelStructureAnalyzer	ModelStructureAnalyzer.analyze(ModelDispatcher model, List<IntExpression> vars, Objective objective)

Constructors in org.maxicp.search.blackbox with parameters of type IntExpression

Modifier	Constructor	Description
	BlackBoxSearch(ModelDispatcher model, IntExpression[] vars)	Creates a black-box search on an array of integer decision variables without objective (feasibility).
	BlackBoxSearch(ModelDispatcher model, IntExpression[] vars, Objective objective)	Creates a black-box search on an array of integer decision variables with an objective.

Constructor parameters in org.maxicp.search.blackbox with type arguments of type IntExpression

Modifier	Constructor	Description
	BlackBoxSearch(ModelDispatcher model, List<IntExpression> vars, Objective objective)	Creates a black-box search on explicit integer decision variables with an objective.
	ConflictDrivenBranching(ModelDispatcher model, List<IntExpression> vars, ModelStructureAnalyzer structure, Random random)
	DFSRunnableSearch(BlackBoxSearch blackBoxSearch, ModelDispatcher model, List<IntExpression> vars, Objective objective, double randomSwapProbability, long randomSeed)
	LNSRunnableSearch(BlackBoxSearch blackBoxSearch, ModelDispatcher model, List<IntExpression> vars, Objective objective, int failureLimitPerRestart, int freezeRatePercent, double randomSwapProbability, long randomSeed)
	LNSRunnableSearch(BlackBoxSearch blackBoxSearch, ModelDispatcher model, List<IntExpression> vars, Objective objective, int failureLimitPerRestart, int freezeRatePercent, double randomSwapProbability, long randomSeed, BlackBoxSearch.FragmentSelectionStrategy fragmentSelectionStrategy)
	RestartRunnableSearch(BlackBoxSearch blackBoxSearch, ModelDispatcher model, List<IntExpression> vars, int baseFailureLimit, double randomSwapProbability, long randomSeed)
	Result(SearchStatus status, Optional<List<Integer>> solution, Optional<Integer> objectiveValue, Map<IntExpression,Integer> varValues)	Creates an instance of a Result record class.