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. More... | ||
Int::Linear::Term< Int::BoolView > * tb | ||
Bool views and coefficients. More... | ||
NonLinIntExpr * ne | ||
Non-linear expression. More... | ||
} | 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) | ||
Nodes for linear expressions.
Definition at line 40 of file int-expr.cpp.
|
inline |
Default constructor.
Definition at line 93 of file int-expr.cpp.
|
inline |
Destructor.
Definition at line 97 of file int-expr.cpp.
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.
|
inlinestatic |
Memory management.
Definition at line 115 of file int-expr.cpp.
|
inlinestatic |
Memory management.
Definition at line 120 of file int-expr.cpp.
unsigned int Gecode::LinIntExpr::Node::use |
Nodes are reference counted.
Definition at line 43 of file int-expr.cpp.
int Gecode::LinIntExpr::Node::n_int |
Integer variables in tree.
Definition at line 45 of file int-expr.cpp.
int Gecode::LinIntExpr::Node::n_bool |
Boolean variables in tree.
Definition at line 47 of file int-expr.cpp.
NodeType Gecode::LinIntExpr::Node::t |
Type of expression.
Definition at line 49 of file int-expr.cpp.
Node* Gecode::LinIntExpr::Node::l |
Subexpressions.
Definition at line 51 of file int-expr.cpp.
Node * Gecode::LinIntExpr::Node::r |
Definition at line 51 of file int-expr.cpp.
Int::Linear::Term<Int::IntView>* Gecode::LinIntExpr::Node::ti |
Integer views and coefficients.
Definition at line 55 of file int-expr.cpp.
Int::Linear::Term<Int::BoolView>* Gecode::LinIntExpr::Node::tb |
Bool views and coefficients.
Definition at line 57 of file int-expr.cpp.
NonLinIntExpr* Gecode::LinIntExpr::Node::ne |
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.
int Gecode::LinIntExpr::Node::a |
Coefficient and offset.
Definition at line 62 of file int-expr.cpp.
int Gecode::LinIntExpr::Node::c |
Definition at line 62 of file int-expr.cpp.
IntVar Gecode::LinIntExpr::Node::x_int |
Integer variable (potentially)
Definition at line 64 of file int-expr.cpp.
BoolVar Gecode::LinIntExpr::Node::x_bool |
Boolean variable (potentially)
Definition at line 66 of file int-expr.cpp.