Generated on Mon Sep 17 2012 22:20:54 for Gecode by doxygen 1.8.1.1
Gecode::BoolExpr::Node Class Reference

Node for Boolean expression More...

#include <minimodel.hh>

List of all members.

Public Member Functions

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

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.
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.
SetRel rs
 Possibly a reified set relation.
MiscExprm
 Possibly a misc Boolean expression.

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: