atermpp::
sym_write_entry
¶
cur_index
¶Counter to indicate which argument is being worked on.
id
¶The function symbol that this write entry is about.
num_terms
¶The number of unique occurrences of id, i.e. the number of term that have id as their function symbol.
term_width
¶After executing compute_num_bits, this stores the number of bits required to uniquely identify each occurrence of id.
top_symbols
¶Maps each argument index to a table with function symbols that may occur at that index top_symbols.size() == id.arity()
sym_write_entry
(const function_symbol &id_)¶