
Boolean element expressions. More...
Public Member Functions | |
| BElementExpr (int size) | |
| Constructor. More... | |
| virtual | ~BElementExpr (void) |
| Destructor. More... | |
| virtual void | post (Space &home, BoolVar b, bool neg, IntConLevel icl) |
| Constrain b to be equivalent to the expression (negated if neg) More... | |
Public Member Functions inherited from Gecode::BoolExpr::MiscExpr | |
| virtual | ~MiscExpr (void) |
| Destructor. More... | |
Public Attributes | |
| BoolExpr * | a |
| The Boolean expressions. More... | |
| int | n |
| The number of Boolean expressions. More... | |
| LinIntExpr | idx |
| The linear expression for the index. More... | |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::BoolExpr::MiscExpr | |
| static void * | operator new (size_t size) |
| Memory management. More... | |
| static void | operator delete (void *p, size_t size) |
| Memory management. More... | |
Boolean element expressions.
Definition at line 651 of file bool-expr.cpp.
| Gecode::BElementExpr::BElementExpr | ( | int | size | ) |
Constructor.
Definition at line 667 of file bool-expr.cpp.
|
virtual |
Destructor.
Definition at line 670 of file bool-expr.cpp.
|
virtual |
Constrain b to be equivalent to the expression (negated if neg)
Implements Gecode::BoolExpr::MiscExpr.
Definition at line 675 of file bool-expr.cpp.
| BoolExpr* Gecode::BElementExpr::a |
The Boolean expressions.
Definition at line 654 of file bool-expr.cpp.
| int Gecode::BElementExpr::n |
The number of Boolean expressions.
Definition at line 656 of file bool-expr.cpp.
| LinIntExpr Gecode::BElementExpr::idx |
The linear expression for the index.
Definition at line 658 of file bool-expr.cpp.