Home
last modified time | relevance | path

Searched refs:d_extf_info (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dext_theory.cpp133 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()
H A Dext_theory.h224 std::map<Node, ExtfInfo> d_extf_info; variable