Gecode::BElementExpr Class Reference
Boolean element expressions. More...
Public Member Functions | |
BElementExpr (const BoolVarArgs &b, const LinIntExpr &idx) | |
Constructor. | |
virtual | ~BElementExpr (void) |
Destructor. | |
virtual void | post (Home home, BoolVar b, bool neg, IntPropLevel ipl) |
Constrain b to be equivalent to the expression (negated if neg). | |
Protected Attributes | |
BoolExpr * | a |
The Boolean expressions. | |
int | n |
The number of Boolean expressions. | |
LinIntExpr | idx |
The linear expression for the index. |
Detailed Description
Boolean element expressions.
Definition at line 653 of file bool-expr.cpp.
Constructor & Destructor Documentation
Gecode::BElementExpr::BElementExpr | ( | const BoolVarArgs & | b, | |
const LinIntExpr & | idx | |||
) |
Constructor.
Definition at line 670 of file bool-expr.cpp.
Gecode::BElementExpr::~BElementExpr | ( | void | ) | [virtual] |
Destructor.
Definition at line 676 of file bool-expr.cpp.
Member Function Documentation
void Gecode::BElementExpr::post | ( | Home | home, | |
BoolVar | b, | |||
bool | neg, | |||
IntPropLevel | ipl | |||
) | [virtual] |
Constrain b to be equivalent to the expression (negated if neg).
Implements Gecode::BoolExpr::Misc.
Definition at line 681 of file bool-expr.cpp.
Member Data Documentation
BoolExpr* Gecode::BElementExpr::a [protected] |
The Boolean expressions.
Definition at line 656 of file bool-expr.cpp.
int Gecode::BElementExpr::n [protected] |
The number of Boolean expressions.
Definition at line 658 of file bool-expr.cpp.
LinIntExpr Gecode::BElementExpr::idx [protected] |
The linear expression for the index.
Definition at line 660 of file bool-expr.cpp.
The documentation for this class was generated from the following file:
- gecode/minimodel/bool-expr.cpp (Revision: 15141)