Generated on Mon Aug 25 11:35:49 2008 for Gecode by doxygen 1.5.6

Gecode::SetExpr::Node Class Reference

List of all members.


Detailed Description

Nodes used to construct set expressions.

Definition at line 47 of file set-expr.cc.


Public Member Functions

 Node (const var_idx x)
 Construct node for x.
 Node (Node *n0, int s0, RelType r, Node *n1, int s1)
 Construct node from nodes n0 and n1 with signs s0 and s1.
void increment (void)
 Increment reference count.
bool decrement (void)
 Decrement reference count and possibly free memory.
void encode (SetExprCode::Stream &ret, bool monotone) const
 Adds code representation of the node to ret.
int arity (void) const
 Returns the arity of the node.
Iter::Ranges::Virt::Iteratoriter (void)
 Returns an iterator for this node.

Static Public Member Functions

static void * operator new (size_t size)
 Memory management.
static void operator delete (void *p, size_t size)
 Memory management.

Constructor & Destructor Documentation

Gecode::SetExpr::Node::Node ( const var_idx  x  )  [inline]

Construct node for x.

Definition at line 106 of file set-expr.cc.

Gecode::SetExpr::Node::Node ( Node n0,
int  s0,
RelType  r,
Node n1,
int  s1 
) [inline]

Construct node from nodes n0 and n1 with signs s0 and s1.

Definition at line 111 of file set-expr.cc.


Member Function Documentation

void Gecode::SetExpr::Node::increment ( void   )  [inline]

Increment reference count.

Definition at line 101 of file set-expr.cc.

bool Gecode::SetExpr::Node::decrement ( void   ) 

Decrement reference count and possibly free memory.

Definition at line 121 of file set-expr.cc.

void Gecode::SetExpr::Node::encode ( SetExprCode::Stream ret,
bool  monotone 
) const

Adds code representation of the node to ret.

Definition at line 141 of file set-expr.cc.

int Gecode::SetExpr::Node::arity ( void   )  const

Returns the arity of the node.

Definition at line 133 of file set-expr.cc.

Iter::Ranges::Virt::Iterator* Gecode::SetExpr::Node::iter ( void   ) 

Returns an iterator for this node.

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

Memory management.

Definition at line 90 of file set-expr.cc.

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

Memory management.

Definition at line 95 of file set-expr.cc.


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