Searched refs:VarValueMap (Results 1 – 2 of 2) sorted by relevance
46 typedef std::map<const Variable*, ExecValueStorage*> VarValueMap; typedef81 VarValueMap m_varValues;
56 for (VarValueMap::iterator i = m_varValues.begin(); i != m_varValues.end(); i++) in ~ExecutionContext()