Generated on Thu Feb 14 2013 20:59:55 for Gecode by doxygen 1.8.3.1
Gecode::BoolExpr::Node Class Reference

Node for Boolean expression More...

#include <minimodel.hh>

Public Member Functions

 Node (void)
 Default constructor. More...
 
 ~Node (void)
 Destructor. More...
 
bool decrement (void)
 Decrement reference count and possibly free memory. More...
 

Static Public Member Functions

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

Public Attributes

unsigned int use
 Nodes are reference counted. More...
 
int same
 Number of variables in subtree with same type (for AND and OR) More...
 
NodeType t
 Type of expression. More...
 
Nodel
 Subexpressions. More...
 
Noder
 
BoolVar x
 Possibly a variable. More...
 
LinRel rl
 Possibly a reified linear relation. More...
 
SetRel rs
 Possibly a reified set relation. More...
 
MiscExprm
 Possibly a misc Boolean expression. More...
 

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)
inlinestatic

Memory management.

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

void Gecode::BoolExpr::Node::operator delete ( void *  p,
size_t  size 
)
inlinestatic

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: