Generated on Thu Jul 6 07:07:05 2006 for Gecode by doxygen 1.4.7

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

#include <minimodel.hh>

List of all members.


Detailed Description

Node for Boolean expression.

Definition at line 320 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.
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

Nodes are reference counted.

Definition at line 323 of file minimodel.hh.

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

Definition at line 325 of file minimodel.hh.

Type of expression.

Definition at line 327 of file minimodel.hh.

Subexpressions.

Definition at line 329 of file minimodel.hh.

Possibly a variable.

Definition at line 331 of file minimodel.hh.

Possibly a reified linear relation.

Definition at line 333 of file minimodel.hh.


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