Generated on Sat Feb 7 2015 02:01:39 for Gecode by doxygen 1.8.9.1
Gecode::BoolExpr::Node Class Reference

Node for Boolean expression More...

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...
 
LinIntRel rl
 Possibly a reified linear relation. More...
 
LinFloatRel rfl
 Possibly a reified float 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 47 of file bool-expr.cpp.

Constructor & Destructor Documentation

Gecode::BoolExpr::Node::Node ( void  )

Default constructor.

Definition at line 90 of file bool-expr.cpp.

Gecode::BoolExpr::Node::~Node ( void  )

Destructor.

Definition at line 93 of file bool-expr.cpp.

Member Function Documentation

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

Decrement reference count and possibly free memory.

Definition at line 107 of file bool-expr.cpp.

void * Gecode::BoolExpr::Node::operator new ( size_t  size)
static

Memory management.

Definition at line 98 of file bool-expr.cpp.

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

Memory management.

Definition at line 102 of file bool-expr.cpp.

Member Data Documentation

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

Nodes are reference counted.

Definition at line 50 of file bool-expr.cpp.

int Gecode::BoolExpr::Node::same

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

Definition at line 52 of file bool-expr.cpp.

NodeType Gecode::BoolExpr::Node::t

Type of expression.

Definition at line 54 of file bool-expr.cpp.

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

Subexpressions.

Definition at line 56 of file bool-expr.cpp.

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

Definition at line 56 of file bool-expr.cpp.

BoolVar Gecode::BoolExpr::Node::x

Possibly a variable.

Definition at line 58 of file bool-expr.cpp.

LinIntRel Gecode::BoolExpr::Node::rl

Possibly a reified linear relation.

Definition at line 60 of file bool-expr.cpp.

LinFloatRel Gecode::BoolExpr::Node::rfl

Possibly a reified float linear relation.

Definition at line 63 of file bool-expr.cpp.

SetRel Gecode::BoolExpr::Node::rs

Possibly a reified set relation.

Definition at line 67 of file bool-expr.cpp.

MiscExpr* Gecode::BoolExpr::Node::m

Possibly a misc Boolean expression.

Definition at line 70 of file bool-expr.cpp.


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