Generated on Fri Oct 19 11:25:53 2018 for Gecode by doxygen 1.6.3

Gecode::LinIntExpr::Node Class Reference

Nodes for linear expressions. More...

List of all members.

Public Member Functions

 Node (void)
 Default constructor.
void fill (Home home, IntPropLevel ipl, Int::Linear::Term< Int::IntView > *&ti, Int::Linear::Term< Int::BoolView > *&tb, long long int m, long long int &d) const
 Generate linear terms from expression.
int fill (Home home, IntPropLevel ipl, Int::Linear::Term< Int::IntView > *ti, Int::Linear::Term< Int::BoolView > *tb) const
 Generate linear terms for expressions.
bool decrement (void)
 Decrement reference count and possibly free memory.
 ~Node (void)
 Destructor.

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 n_int
 Integer variables in tree.
int n_bool
 Boolean variables in tree.
NodeType t
 Type of expression.
Nodel
 Subexpressions.
Noder
union {
   Int::Linear::Term< Int::IntView > *   ti
 Integer views and coefficients.
   Int::Linear::Term
< Int::BoolView > *   tb
 Bool views and coefficients.
   NonLinIntExpr *   ne
 Non-linear expression.
sum
 Sum of integer or Boolean variables, or non-linear expression.
int a
 Coefficient and offset.
int c
IntVar x_int
 Integer variable (potentially).
BoolVar x_bool
 Boolean variable (potentially).

Detailed Description

Nodes for linear expressions.

Definition at line 40 of file int-expr.cpp.


Constructor & Destructor Documentation

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

Default constructor.

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

Gecode::LinIntExpr::Node::~Node ( void   )  [inline]

Destructor.

Definition at line 97 of file int-expr.cpp.


Member Function Documentation

void Gecode::LinIntExpr::Node::fill ( Home  home,
IntPropLevel  ipl,
Int::Linear::Term< Int::IntView > *&  ti,
Int::Linear::Term< Int::BoolView > *&  tb,
long long int  m,
long long int &  d 
) const

Generate linear terms from expression.

Definition at line 507 of file int-expr.cpp.

int Gecode::LinIntExpr::Node::fill ( Home  home,
IntPropLevel  ipl,
Int::Linear::Term< Int::IntView > *  ti,
Int::Linear::Term< Int::BoolView > *  tb 
) const

Generate linear terms for expressions.

Definition at line 146 of file int-expr.cpp.

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

Decrement reference count and possibly free memory.

Definition at line 124 of file int-expr.cpp.

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

Memory management.

Definition at line 115 of file int-expr.cpp.

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

Memory management.

Definition at line 120 of file int-expr.cpp.


Member Data Documentation

Nodes are reference counted.

Definition at line 43 of file int-expr.cpp.

Integer variables in tree.

Definition at line 45 of file int-expr.cpp.

Boolean variables in tree.

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

Type of expression.

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

Subexpressions.

Definition at line 51 of file int-expr.cpp.

Definition at line 51 of file int-expr.cpp.

Integer views and coefficients.

Definition at line 55 of file int-expr.cpp.

Bool views and coefficients.

Definition at line 57 of file int-expr.cpp.

Non-linear expression.

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

Sum of integer or Boolean variables, or non-linear expression.

Coefficient and offset.

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

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

Integer variable (potentially).

Definition at line 64 of file int-expr.cpp.

Boolean variable (potentially).

Definition at line 66 of file int-expr.cpp.


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