Boolean element expressions. More...
Public Member Functions | |
BElementExpr (const BoolVarArgs &b, const LinIntExpr &idx) | |
Constructor. More... | |
virtual | ~BElementExpr (void) |
Destructor. More... | |
virtual void | post (Home home, BoolVar b, bool neg, IntPropLevel ipl) |
Constrain b to be equivalent to the expression (negated if neg) More... | |
![]() | |
Misc (void) | |
Default constructor. More... | |
virtual | ~Misc (void) |
Destructor. More... | |
Protected 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 void * | operator new (size_t s) |
Memory management. More... | |
static void | operator delete (void *p) |
Free memory allocated from heap. More... | |
Boolean element expressions.
Definition at line 649 of file bool-expr.cpp.
Gecode::BElementExpr::BElementExpr | ( | const BoolVarArgs & | b, |
const LinIntExpr & | idx | ||
) |
Constructor.
Definition at line 666 of file bool-expr.cpp.
|
virtual |
Destructor.
Definition at line 672 of file bool-expr.cpp.
|
virtual |
Constrain b to be equivalent to the expression (negated if neg)
Implements Gecode::BoolExpr::Misc.
Definition at line 677 of file bool-expr.cpp.
|
protected |
The Boolean expressions.
Definition at line 652 of file bool-expr.cpp.
|
protected |
The number of Boolean expressions.
Definition at line 654 of file bool-expr.cpp.
|
protected |
The linear expression for the index.
Definition at line 656 of file bool-expr.cpp.