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, const IntPropLevels &) const |
Post expression. | |
virtual void | post (Home home, IntRelType irt, int c, const IntPropLevels &ipls) const |
Post expression to be in relation irt with c. | |
virtual void | post (Home home, IntRelType irt, int c, BoolVar b, const IntPropLevels &ipls) 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 725 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 728 of file set-expr.cpp.
Constructor & Destructor Documentation
Gecode::MiniModel::SetNonLinIntExpr::SetNonLinIntExpr | ( | const SetExpr & | e0, | |
SetNonLinIntExprType | t0 | |||
) | [inline] |
Constructor.
Definition at line 736 of file set-expr.cpp.
Member Function Documentation
virtual IntVar Gecode::MiniModel::SetNonLinIntExpr::post | ( | Home | home, | |
IntVar * | ret, | |||
const IntPropLevels & | ||||
) | const [inline, virtual] |
virtual void Gecode::MiniModel::SetNonLinIntExpr::post | ( | Home | home, | |
IntRelType | irt, | |||
int | c, | |||
const IntPropLevels & | ipls | |||
) | const [inline, virtual] |
Post expression to be in relation irt with c.
Implements Gecode::NonLinIntExpr.
Definition at line 758 of file set-expr.cpp.
virtual void Gecode::MiniModel::SetNonLinIntExpr::post | ( | Home | home, | |
IntRelType | irt, | |||
int | c, | |||
BoolVar | b, | |||
const IntPropLevels & | ipls | |||
) | const [inline, virtual] |
Post reified expression to be in relation irt with c.
Implements Gecode::NonLinIntExpr.
Definition at line 800 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 734 of file set-expr.cpp.
The documentation for this class was generated from the following file:
- gecode/minimodel/set-expr.cpp