Searched refs:RootOrderingEntry (Results 1 – 3 of 3) sorted by relevance
59 struct RootOrderingEntry { struct78 using RootOrderingGraph = DenseMap<Value, DenseMap<Value, RootOrderingEntry>>; argument
56 DenseMap<Value, RootOrderingEntry> repEntries; in contract()90 DenseMap<Value, RootOrderingEntry> &entries = outer->second; in contract()155 const RootOrderingEntry &entry = inner.second; in solve()
516 RootOrderingEntry &entry = graph[q.root][p.root]; in buildCostGraph() 630 RootOrderingEntry &entry = source.second; in buildPredicateList()