Lines Matching refs:Edges

137   std::map<Node,NodeSet> Edges;
171   // Add Order[P] and Order[conj(P)] to Edges.
178         Edges[I].insert(PC);
181   // Add I and conj(I) to Edges.
189     NodeSet &Is = Edges[I];
201       NodeSet &Ns = Edges[Q[I]];
212     NodeSet &Ns = Edges[N];
220   for (auto E : Edges) {
233   for (auto E : Edges) {
240     NodeSet &Ns = Edges[N];
251     NodeSet &Cs = Edges[C];
258         Edges[M].insert(C);
260         Edges[M].erase(N);
290   dbgs() << "  Edges: {\n";
291   for (auto E : Edges) {