Generated on Sun Mar 10 2013 14:26:40 for Gecode by doxygen 1.7.6.1
Gecode::BElementExpr Class Reference

Boolean element expressions. More...

List of all members.

Public Member Functions

 BElementExpr (int size)
 Constructor.
virtual ~BElementExpr (void)
 Destructor.
virtual void post (Space &home, BoolVar b, bool neg, IntConLevel icl)
 Constrain b to be equivalent to the expression (negated if neg)

Public Attributes

BoolExpra
 The Boolean expressions.
int n
 The number of Boolean expressions.
LinExpr idx
 The linear expression for the index.

Detailed Description

Boolean element expressions.

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


Constructor & Destructor Documentation

Constructor.

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

Destructor.

Definition at line 492 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 497 of file bool-expr.cpp.


Member Data Documentation

The Boolean expressions.

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

The number of Boolean expressions.

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

The linear expression for the index.

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


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