Searched refs:EquivalenceMap (Results 1 – 3 of 3) sorted by relevance
172 typedef map<StateId, StateId, StateComparator<A> > EquivalenceMap; in PrePartition() typedef174 EquivalenceMap equiv_map(comp); in PrePartition()183 typename EquivalenceMap::const_iterator it = equiv_map.find(s); in PrePartition()394 typedef map<StateId, StateId, StateComparator<A> > EquivalenceMap; in Refine() typedef400 EquivalenceMap equiv_classes(comp); in Refine()407 typename EquivalenceMap::const_iterator it = equiv_classes.find(s); in Refine()
185 typedef map<StateId, StateId, StateComparator<A> > EquivalenceMap; in PrePartition() typedef187 EquivalenceMap equiv_map(comp); in PrePartition()196 typename EquivalenceMap::const_iterator it = equiv_map.find(s); in PrePartition()407 typedef map<StateId, StateId, StateComparator<A> > EquivalenceMap; in Refine() typedef413 EquivalenceMap equiv_classes(comp); in Refine()420 typename EquivalenceMap::const_iterator it = equiv_classes.find(s); in Refine()
1595 typedef std::map<CookieSignature, CookieSet> EquivalenceMap; in TrimDuplicateCookiesForKey() typedef1596 EquivalenceMap equivalent_cookies; in TrimDuplicateCookiesForKey()1631 for (EquivalenceMap::iterator it = equivalent_cookies.begin(); in TrimDuplicateCookiesForKey()