template<typename
treet, typename named_subtreest, bool sharing = true>
class tree_nodet< treet, named_subtreest, sharing >
A node with data in a tree, it contains:
- irept::dt::data : A dstringt and thus an integer which is a reference into a string table.)
- irept::dt::named_sub : A map from irep_idt (a string) to irept. This is used for named children, i.e. subexpressions, parameters, etc. Children whose name begins with '#' are ignored by the default operator==.
- irept::dt::sub : A vector of irept which is used to store ordered but unnamed children.
ref_count
: if sharing is activated, this is used to count the number of references to a node.
hash_code
: if HASH_CODE is activated, this is used to cache the result of the hash function.
Definition at line 89 of file irep.h.