Gecode::BoolExpr::Node Class Reference

Node for Boolean expression More...

#include <minimodel.hh>

List of all members.

Public Member Functions
	Node (void)
	Default constructor.
	~Node (void)
	Destructor.
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.
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	rl
	Possibly a reified linear relation.
SetRel	rs
	Possibly a reified set relation.
MiscExpr *	m
	Possibly a misc Boolean expression.

---

Detailed Description

Node for Boolean expression

Definition at line 985 of file minimodel.hh.

---

Constructor & Destructor Documentation

Gecode::BoolExpr::Node::Node

(

void

)

[inline]

Default constructor.

Definition at line 45 of file bool-expr.hpp.

Gecode::BoolExpr::Node::~Node

(

void

)

[inline]

Destructor.

Definition at line 48 of file bool-expr.hpp.

---

Member Function Documentation

bool Gecode::BoolExpr::Node::decrement

(

void

)

Decrement reference count and possibly free memory.

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

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

(

size_t

size

)

[inline, static]

Memory management.

Definition at line 51 of file bool-expr.hpp.

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

Memory management.

Definition at line 55 of file bool-expr.hpp.

---

Member Data Documentation

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

Nodes are reference counted.

Definition at line 988 of file minimodel.hh.

int Gecode::BoolExpr::Node::same

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

Definition at line 990 of file minimodel.hh.

NodeType Gecode::BoolExpr::Node::t

Type of expression.

Definition at line 992 of file minimodel.hh.

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

Subexpressions.

Definition at line 994 of file minimodel.hh.

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

Definition at line 994 of file minimodel.hh.

BoolVar Gecode::BoolExpr::Node::x

Possibly a variable.

Definition at line 996 of file minimodel.hh.

LinRel Gecode::BoolExpr::Node::rl

Possibly a reified linear relation.

Definition at line 998 of file minimodel.hh.

SetRel Gecode::BoolExpr::Node::rs

Possibly a reified set relation.

Definition at line 1001 of file minimodel.hh.

MiscExpr* Gecode::BoolExpr::Node::m

Possibly a misc Boolean expression.

Definition at line 1004 of file minimodel.hh.

---

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

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