atermpp::sym_write_entry

class atermpp::sym_write_entry

Public attributes

std::size_t cur_index

Counter to indicate which argument is being worked on.

const function_symbol id

The function symbol that this write entry is about.

std::size_t num_terms

The number of unique occurrences of id, i.e. the number of term that have id as their function symbol.

std::size_t term_width

After executing compute_num_bits, this stores the number of bits required to uniquely identify each occurrence of id.

std::vector<top_symbols_t> top_symbols

Maps each argument index to a table with function symbols that may occur at that index top_symbols.size() == id.arity()

Public member functions

sym_write_entry(const function_symbol &id_)