Gecode::LinIntExpr::Node Class Reference
Nodes for linear expressions. More...
Public Member Functions | |
Node (void) | |
Default constructor. | |
void | fill (Home home, const IntPropLevels &ipls, 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, const IntPropLevels &ipls, 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. | |
Node * | l |
Subexpressions. | |
Node * | r |
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, | |
const IntPropLevels & | ipls, | |||
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 521 of file int-expr.cpp.
int Gecode::LinIntExpr::Node::fill | ( | Home | home, | |
const IntPropLevels & | ipls, | |||
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
unsigned int Gecode::LinIntExpr::Node::use |
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.
union { ... } Gecode::LinIntExpr::Node::sum |
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:
- gecode/minimodel/int-expr.cpp