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. Also used to exchange clauses between threads.

Member Function Documentation

◆ operator bool()

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: