Gecode::BoolExpr::Node Class Reference

Node for Boolean expression. More...

#include <minimodel.hh>

List of all members.

Public Member Functions
	Node (void)
	Default constructor.
bool	decrement (void)
	Decrement reference count and possibly free memory.
Static Public Member Functions
static void *	operator new (size_t size)
	Memory management.
static void	operator delete (void *p, size_t size)
	Memory management.
Public Attributes
unsigned int	use
	Nodes are reference counted.
unsigned int	same
	Number of variables in subtree with same type (for AND and OR).
NodeType	t
	Type of expression.
Node *	l
	Subexpressions.
Node *	r
BoolVar	x
	Possibly a variable.
LinRel< IntVar >	rl_int
	Possibly a reified linear relation over integer variables.
LinRel< BoolVar >	rl_bool
	Possibly a reified linear relation over Boolean variables.

---

Detailed Description

Node for Boolean expression.

Definition at line 659 of file minimodel.hh.

---

Constructor & Destructor Documentation

Gecode::BoolExpr::Node::Node

(

void

)

[inline]

Default constructor.

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

---

Member Function Documentation

bool Gecode::BoolExpr::Node::decrement

(

void

)

Decrement reference count and possibly free memory.

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

void * Gecode::BoolExpr::Node::operator new

(

size_t

size

)

[inline, static]

Memory management.

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

void Gecode::BoolExpr::Node::operator delete	(	void *	p,
		size_t	size
	)			[inline, static]

Memory management.

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

---

Member Data Documentation

unsigned int Gecode::BoolExpr::Node::use

Nodes are reference counted.

Definition at line 662 of file minimodel.hh.

unsigned int Gecode::BoolExpr::Node::same

Number of variables in subtree with same type (for AND and OR).

Definition at line 664 of file minimodel.hh.

NodeType Gecode::BoolExpr::Node::t

Type of expression.

Definition at line 666 of file minimodel.hh.

Node* Gecode::BoolExpr::Node::l

Subexpressions.

Definition at line 668 of file minimodel.hh.

Node * Gecode::BoolExpr::Node::r

Definition at line 668 of file minimodel.hh.

BoolVar Gecode::BoolExpr::Node::x

Possibly a variable.

Definition at line 670 of file minimodel.hh.

LinRel<IntVar> Gecode::BoolExpr::Node::rl_int

Possibly a reified linear relation over integer variables.

Definition at line 672 of file minimodel.hh.

LinRel<BoolVar> Gecode::BoolExpr::Node::rl_bool

Possibly a reified linear relation over Boolean variables.

Definition at line 674 of file minimodel.hh.

---

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

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