Uses of Interface
org.maxicp.modeling.algebra.Expression

Packages that use Expression

Package	Description
org.maxicp	Root package of MaxiCP
org.maxicp.cp.engine.core	Solver objects
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.algebra.sequence	Symbolic modeling for sequence variables
org.maxicp.modeling.concrete	Concrete modeling API
org.maxicp.modeling.constraints	Symbolic constraints
org.maxicp.modeling.constraints.seqvar	Symbolic constraints for sequence variables
org.maxicp.modeling.symbolic	Symbolic modeling of integer variables and objective functions

Uses of Expression in org.maxicp

Methods in org.maxicp with parameters of type Expression

Modifier and Type	Method	Description
Objective	ModelDispatcher.maximize(Expression v)
Objective	ModelDispatcher.minimize(Expression v)

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

Subinterfaces of Expression 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	CPIntervalVar	TODO
interface	CPIntVar
interface	CPSeqVar

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

Modifier and Type	Class	Description
class	CPBoolVarImpl
class	CPBoolVarIsEqual
class	CPIntervalVarImpl	TODO
class	CPIntervalVarOffset	Provides a view of a CPIntervalVar that is delayed by a fixed offset value.
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
class	CPSeqVarImpl
class	CPSeqVarViewFlip

Uses of Expression in org.maxicp.modeling

Subinterfaces of Expression in org.maxicp.modeling

Modifier and Type	Interface	Description
interface	BoolVar
interface	IntervalVar
interface	IntVar
interface	SeqVar

Methods in org.maxicp.modeling that return Expression

Modifier and Type	Method	Description
default Expression	IntervalVar.mapSubexpressions(Function<Expression,Expression> f)

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

Modifier and Type	Method	Description
default Collection<? extends Expression>	IntervalVar.computeSubexpressions()
default Collection<Expression>	IntVar.computeSubexpressions()
default Collection<Expression>	SeqVar.computeSubexpressions()
Collection<? extends Expression>	Constraint.scope()	Returns the scope of the constraint, preferably as an immutable, unique collection.

Method parameters in org.maxicp.modeling with type arguments of type Expression

Modifier and Type	Method	Description
default Expression	IntervalVar.mapSubexpressions(Function<Expression,Expression> f)
default Expression	IntervalVar.mapSubexpressions(Function<Expression,Expression> f)
default IntVar	IntVar.mapSubexpressions(Function<Expression,Expression> f)
default IntVar	IntVar.mapSubexpressions(Function<Expression,Expression> f)
default SeqVar	SeqVar.mapSubexpressions(Function<Expression,Expression> f)
default SeqVar	SeqVar.mapSubexpressions(Function<Expression,Expression> f)

Uses of Expression in org.maxicp.modeling.algebra

Subinterfaces of Expression in org.maxicp.modeling.algebra

Modifier and Type	Interface	Description
interface	NonLeafExpressionNode

Methods in org.maxicp.modeling.algebra that return Expression

Modifier and Type	Method	Description
Expression	Expression.mapSubexpressions(Function<Expression,Expression> f)	Apply a function on all sub-expressions of this expression and returns a new expression of the same type.

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

Modifier and Type	Method	Description
Collection<? extends Expression>	Expression.computeSubexpressions()	Should be implemented by all subclasses, but not used directly.
static Function<Expression,Expression>	ExpressionMapper.recursiveExpressionMapper(Function<Expression,Expression> f)
static Function<Expression,Expression>	ExpressionMapper.recursiveExpressionMapper(Function<Expression,Expression> f)
static Function<Expression,Expression>	ExpressionMapper.recursiveIntExprMapper(Function<IntExpression,IntExpression> f)
static Function<Expression,Expression>	ExpressionMapper.recursiveIntExprMapper(Function<IntExpression,IntExpression> f)
static Function<Expression,Expression>	ExpressionMapper.recursiveSequenceExprMapper(Function<SeqExpression,SeqExpression> f)
static Function<Expression,Expression>	ExpressionMapper.recursiveSequenceExprMapper(Function<SeqExpression,SeqExpression> f)
default Collection<? extends Expression>	Expression.subexpressions()	Returns a collection that contains all sub-expressions of this expression.

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

Modifier and Type	Method	Description
Expression	Expression.mapSubexpressions(Function<Expression,Expression> f)	Apply a function on all sub-expressions of this expression and returns a new expression of the same type.
Expression	Expression.mapSubexpressions(Function<Expression,Expression> f)	Apply a function on all sub-expressions of this expression and returns a new expression of the same type.
static Function<Expression,Expression>	ExpressionMapper.recursiveExpressionMapper(Function<Expression,Expression> f)
static Function<Expression,Expression>	ExpressionMapper.recursiveExpressionMapper(Function<Expression,Expression> f)

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

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

Modifier and Type	Interface	Description
interface	BoolExpression
interface	SymbolicBoolExpression

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

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 types with arguments of type Expression

Modifier and Type	Method	Description
Collection<? extends Expression>	And.computeSubexpressions()
Collection<? extends Expression>	EndAfter.computeSubexpressions()
Collection<? extends Expression>	EndBefore.computeSubexpressions()
Collection<? extends Expression>	EndBeforeStart.computeSubexpressions()
Collection<? extends Expression>	Eq.computeSubexpressions()
Collection<? extends Expression>	GreaterOrEq.computeSubexpressions()
Collection<? extends Expression>	InSet.computeSubexpressions()
Collection<? extends Expression>	LessOrEq.computeSubexpressions()
Collection<? extends Expression>	Not.computeSubexpressions()
Collection<? extends Expression>	NotEq.computeSubexpressions()
Collection<? extends Expression>	Or.computeSubexpressions()
Collection<? extends Expression>	Present.computeSubexpressions()
Collection<? extends Expression>	StartAfter.computeSubexpressions()
Collection<? extends Expression>	StartBefore.computeSubexpressions()

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

Modifier and Type	Method	Description
IntExpression	And.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	And.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	EndAfter.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	EndAfter.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	EndBefore.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	EndBefore.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	EndBeforeStart.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	EndBeforeStart.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	Eq.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	Eq.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	GreaterOrEq.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	GreaterOrEq.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	InSet.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	InSet.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	LessOrEq.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	LessOrEq.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	Not.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	Not.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	NotEq.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	NotEq.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	Or.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	Or.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	Present.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	Present.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	StartAfter.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	StartAfter.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	StartBefore.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	StartBefore.mapSubexpressions(Function<Expression,Expression> f)

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

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

Modifier and Type	Interface	Description
interface	IntExpression
interface	SymbolicIntExpression

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

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 types with arguments of type Expression

Modifier and Type	Method	Description
Collection<Expression>	Abs.computeSubexpressions()
Collection<Expression>	Constant.computeSubexpressions()
Collection<Expression>	CstMul.computeSubexpressions()
Collection<Expression>	CstOffset.computeSubexpressions()
Collection<Expression>	Element1D.computeSubexpressions()
Collection<Expression>	Element1DVar.computeSubexpressions()
Collection<Expression>	Element2D.computeSubexpressions()
Collection<Expression>	Element2DVar.computeSubexpressions()
Collection<? extends Expression>	IntervalEnd.computeSubexpressions()
Collection<? extends Expression>	IntervalEndOrValue.computeSubexpressions()
Collection<? extends Expression>	IntervalLength.computeSubexpressions()
Collection<? extends Expression>	IntervalLengthOrValue.computeSubexpressions()
Collection<? extends Expression>	IntervalStart.computeSubexpressions()
Collection<? extends Expression>	IntervalStartOrValue.computeSubexpressions()
Collection<Expression>	Max.computeSubexpressions()
Collection<Expression>	Min.computeSubexpressions()
Collection<? extends Expression>	Mul.computeSubexpressions()
Collection<? extends Expression>	MulBinary.computeSubexpressions()
Collection<? extends Expression>	Sum.computeSubexpressions()
Collection<Expression>	UnaryMinus.computeSubexpressions()
Collection<? extends Expression>	WeightedSum.computeSubexpressions()

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

Modifier and Type	Method	Description
Abs	Abs.mapSubexpressions(Function<Expression,Expression> f)
Abs	Abs.mapSubexpressions(Function<Expression,Expression> f)
Constant	Constant.mapSubexpressions(Function<Expression,Expression> f)
Constant	Constant.mapSubexpressions(Function<Expression,Expression> f)
CstMul	CstMul.mapSubexpressions(Function<Expression,Expression> f)
CstMul	CstMul.mapSubexpressions(Function<Expression,Expression> f)
CstOffset	CstOffset.mapSubexpressions(Function<Expression,Expression> f)
CstOffset	CstOffset.mapSubexpressions(Function<Expression,Expression> f)
Element1D	Element1D.mapSubexpressions(Function<Expression,Expression> f)
Element1D	Element1D.mapSubexpressions(Function<Expression,Expression> f)
Element1DVar	Element1DVar.mapSubexpressions(Function<Expression,Expression> f)
Element1DVar	Element1DVar.mapSubexpressions(Function<Expression,Expression> f)
Element2D	Element2D.mapSubexpressions(Function<Expression,Expression> f)
Element2D	Element2D.mapSubexpressions(Function<Expression,Expression> f)
Element2DVar	Element2DVar.mapSubexpressions(Function<Expression,Expression> f)
Element2DVar	Element2DVar.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntervalEnd.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntervalEnd.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntervalEndOrValue.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntervalEndOrValue.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntervalLength.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntervalLength.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntervalLengthOrValue.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntervalLengthOrValue.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntervalStart.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntervalStart.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntervalStartOrValue.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntervalStartOrValue.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntExpression.mapSubexpressions(Function<Expression,Expression> f)
IntExpression	IntExpression.mapSubexpressions(Function<Expression,Expression> f)
Max	Max.mapSubexpressions(Function<Expression,Expression> f)
Max	Max.mapSubexpressions(Function<Expression,Expression> f)
Min	Min.mapSubexpressions(Function<Expression,Expression> f)
Min	Min.mapSubexpressions(Function<Expression,Expression> f)
Mul	Mul.mapSubexpressions(Function<Expression,Expression> f)
Mul	Mul.mapSubexpressions(Function<Expression,Expression> f)
MulBinary	MulBinary.mapSubexpressions(Function<Expression,Expression> f)
MulBinary	MulBinary.mapSubexpressions(Function<Expression,Expression> f)
Sum	Sum.mapSubexpressions(Function<Expression,Expression> f)
Sum	Sum.mapSubexpressions(Function<Expression,Expression> f)
UnaryMinus	UnaryMinus.mapSubexpressions(Function<Expression,Expression> f)
UnaryMinus	UnaryMinus.mapSubexpressions(Function<Expression,Expression> f)
WeightedSum	WeightedSum.mapSubexpressions(Function<Expression,Expression> f)
WeightedSum	WeightedSum.mapSubexpressions(Function<Expression,Expression> f)

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

Subinterfaces of Expression in org.maxicp.modeling.algebra.scheduling

Modifier and Type	Interface	Description
interface	IntervalExpression

Uses of Expression in org.maxicp.modeling.algebra.sequence

Subinterfaces of Expression in org.maxicp.modeling.algebra.sequence

Modifier and Type	Interface	Description
interface	SeqExpression

Uses of Expression in org.maxicp.modeling.concrete

Subinterfaces of Expression in org.maxicp.modeling.concrete

Modifier and Type	Interface	Description
interface	ConcreteBoolVar
interface	ConcreteIntervalVar
interface	ConcreteIntVar
interface	ConcreteSeqVar

Uses of Expression in org.maxicp.modeling.constraints

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

Modifier and Type	Method	Description
Collection<? extends Expression>	NoOpConstraint.scope()

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

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

Modifier and Type	Method	Description
Collection<? extends Expression>	Cumulative.scope()
Collection<? extends Expression>	Distance.scope()
Collection<? extends Expression>	TransitionTimes.scope()

Uses of Expression in org.maxicp.modeling.symbolic

Subinterfaces of Expression in org.maxicp.modeling.symbolic

Modifier and Type	Interface	Description
interface	SymbolicBoolVar
interface	SymbolicIntervalVar
interface	SymbolicIntVar
interface	SymbolicSeqVar

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

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

Methods in org.maxicp.modeling.symbolic with parameters of type Expression

Modifier and Type	Method	Description
Objective	SymbolicModel.maximize(Expression expr)
Objective	SymbolicModel.minimize(Expression expr)