atermpp::top_symbols_t

class atermpp::top_symbols_t

Public attributes

std::size_t code_width

This is the log of the number of symbols both for “symbols” and “index_into_symbols”.

mcrl2::utilities::indexed_set<function_symbol> index_into_symbols

This mapping helps to find the entry in symbols with the given function symbol

std::vector<top_symbol> symbols

The set of symbols that occur directly below the top symbol. The order of the symbols in this vector is important.