_value | Gecode::Int::LDSB::Literal | |
_variable | Gecode::Int::LDSB::Literal | |
Literal(void) | Gecode::Int::LDSB::Literal | [inline] |
Literal(int _var, int _val) | Gecode::Int::LDSB::Literal | [inline] |
operator<(const Literal &rhs) const | Gecode::Int::LDSB::Literal | [inline] |