Generated on Mon Nov 30 23:53:47 2009 for Gecode by doxygen 1.6.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.
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.
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< IntVarrl_int
 Possibly a reified linear relation over integer variables.
LinRel< BoolVarrl_bool
 Possibly a reified linear relation over Boolean variables.

Detailed Description

Node for Boolean expression.

Definition at line 662 of file minimodel.hh.


Constructor & Destructor Documentation

Gecode::BoolExpr::Node::Node ( void   )  [inline]

Default constructor.

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


Member Function Documentation

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

Decrement reference count and possibly free memory.

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

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

Memory management.

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

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

Memory management.

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


Member Data Documentation

Nodes are reference counted.

Definition at line 665 of file minimodel.hh.

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

Definition at line 667 of file minimodel.hh.

Type of expression.

Definition at line 669 of file minimodel.hh.

Subexpressions.

Definition at line 671 of file minimodel.hh.

Definition at line 671 of file minimodel.hh.

Possibly a variable.

Definition at line 673 of file minimodel.hh.

Possibly a reified linear relation over integer variables.

Definition at line 675 of file minimodel.hh.

Possibly a reified linear relation over Boolean variables.

Definition at line 677 of file minimodel.hh.


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