GRATgen
|
A relative position in the clause database. More...
Public Member Functions | |
pos_t (size_t _pos) | |
Initialize position to null. | |
operator bool () const | |
Initialize with a size_t, specifying the position. More... | |
bool | operator== (pos_t const &p) const |
Compare two positions. | |
Public Attributes | |
size_t | pos |
Position wrt the start of the clause database. | |
Static Public Attributes | |
static pos_t | null = pos_t(0) |
The null position, used as a guard. | |
A relative position in the clause database.
Used to point into the clause database during parsing phase, when the addresses of the stored data may still change.
|
inline |
Initialize with a size_t, specifying the position.
True if position is not null