std::vector< Identifier > ID
Helper class for offline TT identifiers.
int operator()(const ID &id) const
Convert ID to int.
static const int m_table_size
lookup table
int m_lookup[m_table_size]
int m_size
total number of IDs
ID identifier(int i) const
reverse conversion
int max() const
return maximum number of IDs
std::vector< ID > m_int2id