Generated on Fri Jul 13 2018 06:08:35 for Gecode by doxygen 1.8.14
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...
 
Miscm
 Possibly a misc Boolean expression. More...
 

Detailed Description

Node for Boolean expression

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

Constructor & Destructor Documentation

◆ Node()

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

Default constructor.

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

◆ ~Node()

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

Destructor.

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

Member Function Documentation

◆ decrement()

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

Decrement reference count and possibly free memory.

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

◆ operator new()

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

Memory management.

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

◆ operator delete()

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

◆ use

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

Nodes are reference counted.

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

◆ same

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.

◆ t

NodeType Gecode::BoolExpr::Node::t

Type of expression.

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

◆ l

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

Subexpressions.

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

◆ r

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

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

◆ x

BoolVar Gecode::BoolExpr::Node::x

Possibly a variable.

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

◆ rl

LinIntRel Gecode::BoolExpr::Node::rl

Possibly a reified linear relation.

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

◆ rfl

LinFloatRel Gecode::BoolExpr::Node::rfl

Possibly a reified float linear relation.

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

◆ rs

SetRel Gecode::BoolExpr::Node::rs

Possibly a reified set relation.

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

◆ m

Misc* 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: