Generated on Fri Oct 19 11:25:53 2018 for Gecode by doxygen 1.6.3

Gecode::BElementExpr Class Reference

Boolean element expressions. More...

List of all members.

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

BoolExpra
 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 646 of file bool-expr.cpp.


Constructor & Destructor Documentation

Gecode::BElementExpr::BElementExpr ( const BoolVarArgs b,
const LinIntExpr idx 
)

Constructor.

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

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

Destructor.

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


Member Data Documentation

The Boolean expressions.

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

int Gecode::BElementExpr::n [protected]

The number of Boolean expressions.

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

The linear expression for the index.

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


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