Generated on Sat Feb 7 2015 02:01:39 for Gecode by doxygen 1.8.9.1
Gecode::BElementExpr Class Reference

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

BoolExpra
 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...
 

Detailed Description

Boolean element expressions.

Definition at line 651 of file bool-expr.cpp.

Constructor & Destructor Documentation

Gecode::BElementExpr::BElementExpr ( int  size)

Constructor.

Definition at line 667 of file bool-expr.cpp.

Gecode::BElementExpr::~BElementExpr ( void  )
virtual

Destructor.

Definition at line 670 of file bool-expr.cpp.

Member Function Documentation

void Gecode::BElementExpr::post ( Space home,
BoolVar  b,
bool  neg,
IntConLevel  icl 
)
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.

Member Data Documentation

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.


The documentation for this class was generated from the following file: