Integer valued set expressions. More...
Public Types | |
enum | SetNonLinIntExprType { SNLE_CARD, SNLE_MIN, SNLE_MAX } |
The expression type. More... | |
Public Member Functions | |
SetNonLinIntExpr (const SetExpr &e0, SetNonLinIntExprType t0) | |
Constructor. | |
virtual IntVar | post (Home home, IntVar *ret, IntConLevel) const |
Post expression. | |
virtual void | post (Home home, IntRelType irt, int c, IntConLevel icl) const |
Post expression to be in relation irt with c. | |
virtual void | post (Home home, IntRelType irt, int c, BoolVar b, IntConLevel icl) const |
Post reified expression to be in relation irt with c. | |
Public Attributes | |
enum Gecode::MiniModel::SetNonLinIntExpr::SetNonLinIntExprType | t |
SetExpr | e |
The expression. |
Integer valued set expressions.
Definition at line 710 of file set-expr.cpp.
The expression type.
SNLE_CARD |
Cardinality expression. |
SNLE_MIN |
Minimum element expression. |
SNLE_MAX |
Maximum element expression. |
Definition at line 713 of file set-expr.cpp.
Gecode::MiniModel::SetNonLinIntExpr::SetNonLinIntExpr | ( | const SetExpr & | e0, |
SetNonLinIntExprType | t0 | ||
) | [inline] |
Constructor.
Definition at line 721 of file set-expr.cpp.
virtual IntVar Gecode::MiniModel::SetNonLinIntExpr::post | ( | Home | home, |
IntVar * | ret, | ||
IntConLevel | |||
) | const [inline, virtual] |
virtual void Gecode::MiniModel::SetNonLinIntExpr::post | ( | Home | home, |
IntRelType | irt, | ||
int | c, | ||
IntConLevel | icl | ||
) | const [inline, virtual] |
Post expression to be in relation irt with c.
Implements Gecode::NonLinIntExpr.
Definition at line 742 of file set-expr.cpp.
virtual void Gecode::MiniModel::SetNonLinIntExpr::post | ( | Home | home, |
IntRelType | irt, | ||
int | c, | ||
BoolVar | b, | ||
IntConLevel | icl | ||
) | const [inline, virtual] |
Post reified expression to be in relation irt with c.
Implements Gecode::NonLinIntExpr.
Definition at line 784 of file set-expr.cpp.
enum Gecode::MiniModel::SetNonLinIntExpr::SetNonLinIntExprType Gecode::MiniModel::SetNonLinIntExpr::t |
The expression.
Definition at line 719 of file set-expr.cpp.