Searched refs:d_var_subclass_id (Results 1 – 2 of 2) sorted by relevance
631 if (d_var_subclass_id.find(et) == d_var_subclass_id.end()) in registerEnumerator()633 d_var_subclass_id[et].clear(); in registerEnumerator()641 tnit.assignIds(d_var_subclass_id[et], typeIdCount); in registerEnumerator()646 unsigned sc = d_var_subclass_id[et][v]; in registerEnumerator()1103 d_var_subclass_id.find(tn); in getSubclassForVar()1104 if (itc == d_var_subclass_id.end()) in getSubclassForVar()
435 std::map<TypeNode, std::map<Node, unsigned> > d_var_subclass_id; variable