main page modules namespaces classes files
Gecode home

search for 

Gecode::MiniModel::BoolExpr::Node Class Reference

#include <minimodel.hh>

List of all members.

---

Detailed Description

Node for Boolean expression.

Definition at line 327 of file minimodel.hh.

Public Member Functions
	Node (void)
	Default constructor.
bool	decrement (void)
	Decrement reference count and possibly free memory.
int	post (Space *home, NodeType t, BoolVarArgs &b, int i) const
	Post propagators for nested conjunctive and disjunctive expression.
void	post (Space *home, BoolVar b) const
	Post propagators for expression.
BoolVar	post (Space *home) const
	Post propagators for expression.
void	post (Space *home, bool t) const
	Post propagators for relation.
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	rl
	Possibly a reified linear relation.

---

Constructor & Destructor Documentation

Gecode::MiniModel::BoolExpr::Node::Node (  void   )  [inline]

Default constructor. Definition at line 39 of file bool-expr.icc.

---

Member Function Documentation

bool Gecode::MiniModel::BoolExpr::Node::decrement (  void   )

Decrement reference count and possibly free memory. Definition at line 31 of file bool-expr.cc.

int Gecode::MiniModel::BoolExpr::Node::post (  Space *  home, NodeType  t, BoolVarArgs &  b, int  i )  const

Post propagators for nested conjunctive and disjunctive expression. Definition at line 52 of file bool-expr.cc.

void Gecode::MiniModel::BoolExpr::Node::post (  Space *  home, BoolVar  b )  const

Post propagators for expression. Definition at line 63 of file bool-expr.cc.

BoolVar Gecode::MiniModel::BoolExpr::Node::post (  Space *  home  )  const

Post propagators for expression. Definition at line 43 of file bool-expr.cc.

void Gecode::MiniModel::BoolExpr::Node::post (  Space *  home, bool  t )  const

Post propagators for relation. Definition at line 105 of file bool-expr.cc.

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

Memory management. Definition at line 29 of file bool-expr.icc.

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

Memory management. Definition at line 34 of file bool-expr.icc.

---

Member Data Documentation

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

Nodes are reference counted. Definition at line 330 of file minimodel.hh.

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

Number of variables in subtree with same type (for AND and OR). Definition at line 332 of file minimodel.hh.

NodeType Gecode::MiniModel::BoolExpr::Node::t

Type of expression. Definition at line 334 of file minimodel.hh.

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

Subexpressions. Definition at line 336 of file minimodel.hh.

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

Definition at line 336 of file minimodel.hh.

BoolVar Gecode::MiniModel::BoolExpr::Node::x

Possibly a variable. Definition at line 338 of file minimodel.hh.

LinRel Gecode::MiniModel::BoolExpr::Node::rl

Possibly a reified linear relation. Definition at line 340 of file minimodel.hh.

---

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

• gecode/minimodel.hh (Revision: 3579)
• gecode/minimodel/bool-expr.cc (Revision: 3513)
• gecode/minimodel/bool-expr.icc (Revision: 3513)