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. More... | |
virtual IntVar | post (Home home, IntVar *ret, IntPropLevel) const |
Post expression. More... | |
virtual void | post (Home home, IntRelType irt, int c, IntPropLevel ipl) const |
Post expression to be in relation irt with c. More... | |
virtual void | post (Home home, IntRelType irt, int c, BoolVar b, IntPropLevel ipl) const |
Post reified expression to be in relation irt with c. More... | |
![]() | |
virtual | ~NonLinIntExpr (void) |
Destructor. More... | |
void * | operator new (size_t size) |
Memory management. More... | |
void | operator delete (void *p, size_t) |
Memory management. More... | |
Public Attributes | |
enum Gecode::MiniModel::SetNonLinIntExpr::SetNonLinIntExprType | t |
SetExpr | e |
The expression. More... | |
Additional Inherited Members | |
![]() | |
static IntVar | result (Home home, IntVar *x) |
Return fresh variable if x is NULL, x otherwise. More... | |
static IntVar | result (Home home, IntVar *x, IntVar y) |
Constrain x to be equal to y if x is not NULL. More... | |
Integer valued set expressions.
Definition at line 728 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 731 of file set-expr.cpp.
|
inline |
Constructor.
Definition at line 739 of file set-expr.cpp.
|
inlinevirtual |
|
inlinevirtual |
Post expression to be in relation irt with c.
Implements Gecode::NonLinIntExpr.
Definition at line 760 of file set-expr.cpp.
|
inlinevirtual |
Post reified expression to be in relation irt with c.
Implements Gecode::NonLinIntExpr.
Definition at line 802 of file set-expr.cpp.
enum Gecode::MiniModel::SetNonLinIntExpr::SetNonLinIntExprType Gecode::MiniModel::SetNonLinIntExpr::t |
SetExpr Gecode::MiniModel::SetNonLinIntExpr::e |
The expression.
Definition at line 737 of file set-expr.cpp.