| 29 | //=== Subgraph::Identity |
| 30 | |
| 31 | Subgraph::Identity::Identity(InitializerList init) { |
| 32 | for (auto element : init) { |
| 33 | insert(element); |
| 34 | } |
| 35 | } |
| 36 | |
| 37 | bool Subgraph::Identity::operator<(const Identity& other) const { |
| 38 | // Shorter sets go first. |
no outgoing calls