Nodes for linear expressions. More...
Public Member Functions | |
Node (void) | |
Default constructor. | |
void | fill (Home home, IntConLevel icl, Int::Linear::Term< Int::IntView > *&ti, Int::Linear::Term< Int::BoolView > *&tb, double m, double &d) const |
Generate linear terms from expression. | |
int | fill (Home home, IntConLevel icl, 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. | |
NonLinExpr * 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) |
Nodes for linear expressions.
Gecode::LinExpr::Node::Node | ( | void | ) | [inline] |
Default constructor.
Definition at line 49 of file lin-expr.hpp.
Gecode::LinExpr::Node::~Node | ( | void | ) | [inline] |
Destructor.
Definition at line 53 of file lin-expr.hpp.
void Gecode::LinExpr::Node::fill | ( | Home | home, |
IntConLevel | icl, | ||
Int::Linear::Term< Int::IntView > *& | ti, | ||
Int::Linear::Term< Int::BoolView > *& | tb, | ||
double | m, | ||
double & | d | ||
) | const |
Generate linear terms from expression.
Definition at line 216 of file lin-expr.cpp.
int Gecode::LinExpr::Node::fill | ( | Home | home, |
IntConLevel | icl, | ||
Int::Linear::Term< Int::IntView > * | ti, | ||
Int::Linear::Term< Int::BoolView > * | tb | ||
) | const [inline] |
Generate linear terms for expressions.
Definition at line 92 of file lin-expr.hpp.
bool Gecode::LinExpr::Node::decrement | ( | void | ) |
Decrement reference count and possibly free memory.
Definition at line 43 of file lin-expr.cpp.
void * Gecode::LinExpr::Node::operator new | ( | size_t | size | ) | [inline, static] |
Memory management.
Definition at line 71 of file lin-expr.hpp.
void Gecode::LinExpr::Node::operator delete | ( | void * | p, |
size_t | size | ||
) | [inline, static] |
Memory management.
Definition at line 76 of file lin-expr.hpp.
unsigned int Gecode::LinExpr::Node::use |
Nodes are reference counted.
Definition at line 154 of file minimodel.hh.
Integer variables in tree.
Definition at line 156 of file minimodel.hh.
Boolean variables in tree.
Definition at line 158 of file minimodel.hh.
Type of expression.
Definition at line 160 of file minimodel.hh.
Subexpressions.
Definition at line 162 of file minimodel.hh.
Definition at line 162 of file minimodel.hh.
Integer views and coefficients.
Definition at line 166 of file minimodel.hh.
Bool views and coefficients.
Definition at line 168 of file minimodel.hh.
Non-linear expression.
Definition at line 170 of file minimodel.hh.
union { ... } Gecode::LinExpr::Node::sum |
Sum of integer or Boolean variables, or non-linear expression.
Coefficient and offset.
Definition at line 173 of file minimodel.hh.
Definition at line 173 of file minimodel.hh.
Integer variable (potentially)
Definition at line 175 of file minimodel.hh.
Boolean variable (potentially)
Definition at line 177 of file minimodel.hh.