
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 Member Functions inherited from Gecode::NonLinIntExpr | |
| virtual | ~NonLinIntExpr (void) |
| Destructor. | |
| void * | operator new (size_t s) |
| Memory management. | |
| void | operator delete (void *p, size_t s) |
| Memory management. | |
Public Attributes | |
| enum Gecode::MiniModel::SetNonLinIntExpr::SetNonLinIntExprType | t |
| SetExpr | e |
| The expression. | |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::NonLinIntExpr | |
| static IntVar | result (Home home, IntVar *x) |
| Return fresh variable if x is null, x otherwise. | |
| static IntVar | result (Home home, IntVar *x, IntVar y) |
| Constrain x to be equal to y if x is not null. | |
Integer valued set expressions.
Definition at line 725 of file set-expr.cpp.
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.
|
inline |
Constructor.
Definition at line 736 of file set-expr.cpp.
|
inlinevirtual |
|
inlinevirtual |
Post expression to be in relation irt with c.
Implements Gecode::NonLinIntExpr.
Definition at line 758 of file set-expr.cpp.
|
inlinevirtual |
Post reified expression to be in relation irt with c.
Implements Gecode::NonLinIntExpr.
Definition at line 800 of file set-expr.cpp.
| enum Gecode::MiniModel::SetNonLinIntExpr::SetNonLinIntExprType Gecode::MiniModel::SetNonLinIntExpr::t |
| SetExpr Gecode::MiniModel::SetNonLinIntExpr::e |
The expression.
Definition at line 734 of file set-expr.cpp.