Searched refs:RegionNodeInfo (Results 1 – 2 of 2) sorted by relevance
66 class RegionNodeInfo {100 RegionNodeInfo( context::Context* c ) in RegionNodeInfo() function105 ~RegionNodeInfo(){} in ~RegionNodeInfo()148 std::map< Node, RegionNodeInfo* > d_nodes;157 typedef std::map< Node, RegionNodeInfo* >::iterator iterator;166 RegionNodeInfo* getRegionInfo(Node n) { in getRegionInfo()
41 typedef Region::RegionNodeInfo RegionNodeInfo; typedef42 typedef RegionNodeInfo::DiseqList DiseqList;57 RegionNodeInfo* regionNodeInfo = (*i).second; in ~Region()73 RegionNodeInfo* rni = r->d_nodes[n]; in takeNode()110 RegionNodeInfo* rni = it->second; in combine()112 RegionNodeInfo::DiseqList* del = rni->get(t); in combine()239 RegionNodeInfo* rni = it->second; in getMustCombine()315 for( std::map< Node, RegionNodeInfo* >::iterator in check()384 RegionNodeInfo* rni = it->second; in getNumExternalDisequalities()399 RegionNodeInfo* rni = it->second; in debugPrint()[all …]