Gecode::MiniModel::SetNonLinIntExpr Class Reference
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, IntPropLevel) const |
Post expression. | |
virtual void | post (Home home, IntRelType irt, int c, IntPropLevel ipl) const |
Post expression to be in relation irt with c. | |
virtual void | post (Home home, IntRelType irt, int c, BoolVar b, IntPropLevel ipl) const |
Post reified expression to be in relation irt with c. | |
Public Attributes | |
enum Gecode::MiniModel::SetNonLinIntExpr::SetNonLinIntExprType | t |
The expression type. | |
SetExpr | e |
The expression. |
Detailed Description
Integer valued set expressions.
Definition at line 724 of file set-expr.cpp.
Member Enumeration Documentation
The expression type.
- Enumerator:
SNLE_CARD Cardinality expression.
SNLE_MIN Minimum element expression.
SNLE_MAX Maximum element expression.
Definition at line 727 of file set-expr.cpp.
Constructor & Destructor Documentation
Gecode::MiniModel::SetNonLinIntExpr::SetNonLinIntExpr | ( | const SetExpr & | e0, | |
SetNonLinIntExprType | t0 | |||
) | [inline] |
Constructor.
Definition at line 735 of file set-expr.cpp.
Member Function Documentation
virtual IntVar Gecode::MiniModel::SetNonLinIntExpr::post | ( | Home | home, | |
IntVar * | ret, | |||
IntPropLevel | ||||
) | const [inline, virtual] |
virtual void Gecode::MiniModel::SetNonLinIntExpr::post | ( | Home | home, | |
IntRelType | irt, | |||
int | c, | |||
IntPropLevel | ipl | |||
) | const [inline, virtual] |
Post expression to be in relation irt with c.
Implements Gecode::NonLinIntExpr.
Definition at line 756 of file set-expr.cpp.
virtual void Gecode::MiniModel::SetNonLinIntExpr::post | ( | Home | home, | |
IntRelType | irt, | |||
int | c, | |||
BoolVar | b, | |||
IntPropLevel | ipl | |||
) | const [inline, virtual] |
Post reified expression to be in relation irt with c.
Implements Gecode::NonLinIntExpr.
Definition at line 798 of file set-expr.cpp.
Member Data Documentation
enum Gecode::MiniModel::SetNonLinIntExpr::SetNonLinIntExprType Gecode::MiniModel::SetNonLinIntExpr::t |
The expression type.
The expression.
Definition at line 733 of file set-expr.cpp.
The documentation for this class was generated from the following file:
- gecode/minimodel/set-expr.cpp