GRATgen
Public Member Functions | Public Attributes | Static Public Attributes | List of all members
pos_t Struct Reference

A relative position in the clause database. More...

Collaboration diagram for pos_t:
Collaboration graph
[legend]

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.
 

Detailed Description

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.

Member Function Documentation

pos_t::operator bool ( ) const
inline

Initialize with a size_t, specifying the position.

True if position is not null


The documentation for this struct was generated from the following file: