A Literal is a pair of variable index and value. More...
#include <ldsb.hh>
Public Member Functions | |
Literal (void) | |
Constructor for an empty literal. | |
Literal (int _var, int _val) | |
Constructor. | |
bool | operator< (const Literal &rhs) const |
Less than. The ordering is the lexicographical order on the (variable,value) pair. | |
Public Attributes | |
int | _variable |
Variable index. The ViewArray that the index is meant for is assumed to be known by context. | |
int | _value |
The value of the literal. For int and bool variables, this is the value itself; for set variables, this is one of the possible elements of the set. |
Gecode::Int::LDSB::Literal::Literal | ( | void | ) | [inline] |
Constructor for an empty literal.
Definition at line 44 of file brancher.hpp.
Gecode::Int::LDSB::Literal::Literal | ( | int | _var, |
int | _val | ||
) | [inline] |
Constructor.
Definition at line 48 of file brancher.hpp.
bool Gecode::Int::LDSB::Literal::operator< | ( | const Literal & | rhs | ) | const [inline] |
Less than. The ordering is the lexicographical order on the (variable,value) pair.
Definition at line 53 of file brancher.hpp.