Uses of Interface
org.maxicp.modeling.algebra.Expression
Packages that use Expression
Package
Description
Root package of MaxiCP
Solver objects
Symbolic Modeling API
Abstract Syntax Tree for modeling expressions
Symbolic modeling over boolean variables
Symbolic modeling over integer variables
Symbolic modeling for scheduling problems
Symbolic modeling for sequence variables
Concrete modeling API
Symbolic constraints
Symbolic constraints for sequence variables
Symbolic modeling of integer variables and objective functions
-
Uses of Expression in org.maxicp
Methods in org.maxicp with parameters of type ExpressionModifier and TypeMethodDescriptionModelDispatcher.maximize(Expression v) ModelDispatcher.minimize(Expression v) -
Uses of Expression in org.maxicp.cp.engine.core
Subinterfaces of Expression in org.maxicp.cp.engine.coreModifier and TypeInterfaceDescriptioninterfaceBoolean variable, that can be used as a 0-1 IntVar.interfaceTODOinterfaceinterfaceClasses in org.maxicp.cp.engine.core that implement ExpressionModifier and TypeClassDescriptionclassclassclassTODOclassProvides a view of a CPIntervalVar that is delayed by a fixed offset value.classclassImplementation of a variable with aSparseSetDomain.classA view on a variable of typea*xclassA view on a variable of typex+oclassA view on a variable of type-xclassclass -
Uses of Expression in org.maxicp.modeling
Subinterfaces of Expression in org.maxicp.modelingModifier and TypeInterfaceDescriptioninterfaceinterfaceinterfaceinterfaceMethods in org.maxicp.modeling that return ExpressionModifier and TypeMethodDescriptiondefault ExpressionIntervalVar.mapSubexpressions(Function<Expression, Expression> f) Methods in org.maxicp.modeling that return types with arguments of type ExpressionModifier and TypeMethodDescriptiondefault 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 ExpressionModifier and TypeMethodDescriptiondefault ExpressionIntervalVar.mapSubexpressions(Function<Expression, Expression> f) default ExpressionIntervalVar.mapSubexpressions(Function<Expression, Expression> f) default IntVarIntVar.mapSubexpressions(Function<Expression, Expression> f) default IntVarIntVar.mapSubexpressions(Function<Expression, Expression> f) default SeqVarSeqVar.mapSubexpressions(Function<Expression, Expression> f) default SeqVarSeqVar.mapSubexpressions(Function<Expression, Expression> f) -
Uses of Expression in org.maxicp.modeling.algebra
Subinterfaces of Expression in org.maxicp.modeling.algebraMethods in org.maxicp.modeling.algebra that return ExpressionModifier and TypeMethodDescriptionExpression.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 ExpressionModifier and TypeMethodDescriptionCollection<? 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 ExpressionModifier and TypeMethodDescriptionExpression.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.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.boolClasses in org.maxicp.modeling.algebra.bool that implement ExpressionModifier and TypeClassDescriptionfinal recordfinal recordfinal recordfinal recordfinal recordfinal recordfinal recordfinal recordfinal recordfinal recordfinal recordfinal recordfinal recordfinal recordBoolean variable that represents if an interval is executed before a given valueMethods in org.maxicp.modeling.algebra.bool that return types with arguments of type ExpressionModifier and TypeMethodDescriptionCollection<? extends Expression> And.computeSubexpressions()Collection<? extends Expression> EndAfter.computeSubexpressions()Collection<? extends Expression> EndBefore.computeSubexpressions()Collection<? extends Expression> EndBeforeStart.computeSubexpressions()Collection<? extends Expression> 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> 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 ExpressionModifier and TypeMethodDescriptionEndAfter.mapSubexpressions(Function<Expression, Expression> f) EndAfter.mapSubexpressions(Function<Expression, Expression> f) EndBefore.mapSubexpressions(Function<Expression, Expression> f) EndBefore.mapSubexpressions(Function<Expression, Expression> f) EndBeforeStart.mapSubexpressions(Function<Expression, Expression> f) EndBeforeStart.mapSubexpressions(Function<Expression, Expression> f) GreaterOrEq.mapSubexpressions(Function<Expression, Expression> f) GreaterOrEq.mapSubexpressions(Function<Expression, Expression> f) InSet.mapSubexpressions(Function<Expression, Expression> f) InSet.mapSubexpressions(Function<Expression, Expression> f) LessOrEq.mapSubexpressions(Function<Expression, Expression> f) LessOrEq.mapSubexpressions(Function<Expression, Expression> f) NotEq.mapSubexpressions(Function<Expression, Expression> f) NotEq.mapSubexpressions(Function<Expression, Expression> f) Present.mapSubexpressions(Function<Expression, Expression> f) Present.mapSubexpressions(Function<Expression, Expression> f) StartAfter.mapSubexpressions(Function<Expression, Expression> f) StartAfter.mapSubexpressions(Function<Expression, Expression> f) StartBefore.mapSubexpressions(Function<Expression, Expression> f) StartBefore.mapSubexpressions(Function<Expression, Expression> f) -
Uses of Expression in org.maxicp.modeling.algebra.integer
Subinterfaces of Expression in org.maxicp.modeling.algebra.integerClasses in org.maxicp.modeling.algebra.integer that implement ExpressionModifier and TypeClassDescriptionfinal recordfinal recordfinal recordfinal recordfinal recordfinal recordfinal recordfinal recordfinal recordGives the end of anIntervalVarfinal recordGives the end of anIntervalVaror a given value if the interval is not presentfinal recordGives the length of anIntervalVarfinal recordGives the length anIntervalVaror a given value if the interval is not presentfinal recordGives the start of anIntervalVarfinal recordGives the start of anIntervalVaror a given value if the interval is not presentfinal recordfinal recordfinal recordfinal recordfinal recordfinal recordfinal recordMethods in org.maxicp.modeling.algebra.integer that return types with arguments of type ExpressionModifier and TypeMethodDescriptionAbs.computeSubexpressions()Constant.computeSubexpressions()CstMul.computeSubexpressions()CstOffset.computeSubexpressions()Element1D.computeSubexpressions()Element1DVar.computeSubexpressions()Element2D.computeSubexpressions()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()Max.computeSubexpressions()Min.computeSubexpressions()Collection<? extends Expression> Mul.computeSubexpressions()Collection<? extends Expression> MulBinary.computeSubexpressions()Collection<? extends Expression> Sum.computeSubexpressions()UnaryMinus.computeSubexpressions()Collection<? extends Expression> WeightedSum.computeSubexpressions()Method parameters in org.maxicp.modeling.algebra.integer with type arguments of type ExpressionModifier and TypeMethodDescriptionConstant.mapSubexpressions(Function<Expression, Expression> f) Constant.mapSubexpressions(Function<Expression, Expression> f) CstMul.mapSubexpressions(Function<Expression, Expression> f) CstMul.mapSubexpressions(Function<Expression, Expression> f) CstOffset.mapSubexpressions(Function<Expression, Expression> f) CstOffset.mapSubexpressions(Function<Expression, Expression> f) Element1D.mapSubexpressions(Function<Expression, Expression> f) Element1D.mapSubexpressions(Function<Expression, Expression> f) Element1DVar.mapSubexpressions(Function<Expression, Expression> f) Element1DVar.mapSubexpressions(Function<Expression, Expression> f) Element2D.mapSubexpressions(Function<Expression, Expression> f) Element2D.mapSubexpressions(Function<Expression, Expression> f) Element2DVar.mapSubexpressions(Function<Expression, Expression> f) Element2DVar.mapSubexpressions(Function<Expression, Expression> f) IntervalEnd.mapSubexpressions(Function<Expression, Expression> f) IntervalEnd.mapSubexpressions(Function<Expression, Expression> f) IntervalEndOrValue.mapSubexpressions(Function<Expression, Expression> f) IntervalEndOrValue.mapSubexpressions(Function<Expression, Expression> f) IntervalLength.mapSubexpressions(Function<Expression, Expression> f) IntervalLength.mapSubexpressions(Function<Expression, Expression> f) IntervalLengthOrValue.mapSubexpressions(Function<Expression, Expression> f) IntervalLengthOrValue.mapSubexpressions(Function<Expression, Expression> f) IntervalStart.mapSubexpressions(Function<Expression, Expression> f) IntervalStart.mapSubexpressions(Function<Expression, Expression> f) IntervalStartOrValue.mapSubexpressions(Function<Expression, Expression> f) IntervalStartOrValue.mapSubexpressions(Function<Expression, Expression> f) IntExpression.mapSubexpressions(Function<Expression, Expression> f) IntExpression.mapSubexpressions(Function<Expression, Expression> f) MulBinary.mapSubexpressions(Function<Expression, Expression> f) MulBinary.mapSubexpressions(Function<Expression, Expression> f) UnaryMinus.mapSubexpressions(Function<Expression, Expression> f) UnaryMinus.mapSubexpressions(Function<Expression, Expression> f) WeightedSum.mapSubexpressions(Function<Expression, Expression> f) WeightedSum.mapSubexpressions(Function<Expression, Expression> f) -
Uses of Expression in org.maxicp.modeling.algebra.scheduling
Subinterfaces of Expression in org.maxicp.modeling.algebra.scheduling -
Uses of Expression in org.maxicp.modeling.algebra.sequence
Subinterfaces of Expression in org.maxicp.modeling.algebra.sequence -
Uses of Expression in org.maxicp.modeling.concrete
Subinterfaces of Expression in org.maxicp.modeling.concreteModifier and TypeInterfaceDescriptioninterfaceinterfaceinterfaceinterface -
Uses of Expression in org.maxicp.modeling.constraints
Methods in org.maxicp.modeling.constraints that return types with arguments of type Expression -
Uses of Expression in org.maxicp.modeling.constraints.seqvar
Methods in org.maxicp.modeling.constraints.seqvar that return types with arguments of type ExpressionModifier and TypeMethodDescriptionCollection<? 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.symbolicModifier and TypeInterfaceDescriptioninterfaceinterfaceinterfaceinterfaceClasses in org.maxicp.modeling.symbolic that implement ExpressionModifier and TypeClassDescriptionclassclassclassclassclassclassclassMethods in org.maxicp.modeling.symbolic with parameters of type ExpressionModifier and TypeMethodDescriptionSymbolicModel.maximize(Expression expr) SymbolicModel.minimize(Expression expr)