GRATgen
|
A relative position in the clause database. More...
Public Member Functions | |
pos_t (size_t _pos) | |
Initialize position to null. | |
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.