Generated on Wed Jan 4 17:49:23 2006 for Gecode by doxygen 1.4.6

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

#include <minimodel.hh>

List of all members.


Detailed Description

Node for Boolean expression.

Definition at line 318 of file minimodel.hh.

Public Member Functions

 Node (void)
 Default constructor.
GECODE_MINIMODEL_EXPORT bool decrement (void)
 Decrement reference count and possibly free memory.
GECODE_MINIMODEL_EXPORT int post (Space *home, NodeType t, BoolVarArgs &b, int i) const
 Post propagators for nested conjunctive and disjunctive expression.
GECODE_MINIMODEL_EXPORT void post (Space *home, BoolVar b) const
 Post propagators for expression.
GECODE_MINIMODEL_EXPORT BoolVar post (Space *home) const
 Post propagators for expression.
GECODE_MINIMODEL_EXPORT 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.
Nodel
 Subexpressions.
Noder
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 321 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 323 of file minimodel.hh.

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

Type of expression.

Definition at line 325 of file minimodel.hh.

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

Subexpressions.

Definition at line 327 of file minimodel.hh.

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

Definition at line 327 of file minimodel.hh.

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

Possibly a variable.

Definition at line 329 of file minimodel.hh.

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

Possibly a reified linear relation.

Definition at line 331 of file minimodel.hh.


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