Searched refs:d_extf_info (Results 1 – 2 of 2) sorted by relevance
133 std::map<Node, ExtfInfo>::iterator iti = d_extf_info.find(n); in getSubstitutedTerms()134 Assert(iti != d_extf_info.end()); in getSubstitutedTerms()157 std::map<Node, ExtfInfo>::iterator iti = d_extf_info.find(n); in getSubstitutedTerms()158 Assert(iti != d_extf_info.end()); in getSubstitutedTerms()410 d_extf_info[n].d_vars = collectVars(n); in registerTerm()
224 std::map<Node, ExtfInfo> d_extf_info; variable