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
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 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:

• gecode/minimodel/bool-expr.cpp (Revision: 13588)