Searched refs:EqRel (Results 1 – 1 of 1) sorted by relevance
547 NodeSymRel EqRel; // Equality relation (as set of equivalence classes). in common() local556 if (node_class(N, EqRel)) in common()568 std::pair<NodeSymRel::iterator, bool> Ins = EqRel.insert(C); in common()581 for (const NodeSet &S : EqRel) { in common()595 for (const NodeSet &S : EqRel) { in common()627 const NodeSet *PC = node_class(N->Parent, EqRel); in common()643 const NodeSet *PC = node_class(N, EqRel); in common()