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. Also used to exchange clauses between threads.
|
inline |
Initialize with a size_t, specifying the position.
True if position is not null