Searched refs:d_globals (Results 1 – 2 of 2) sorted by relevance
900 map<string,Expr>::iterator i=d_theoryCore->d_globals.find(name), in resolveID()901 iend=d_theoryCore->d_globals.end(); in resolveID()914 d_theoryCore->d_globals[name] = e; in installID()
107 std::map<std::string, Expr> d_globals; variable