Checks if this subgraph has been merged with the given subgraph.
| 114 | |
| 115 | /// Checks if this subgraph has been merged with the given subgraph. |
| 116 | bool IsMergedWith(PartialSubgraph* other) |
| 117 | { |
| 118 | return GetRepresentative() == other->GetRepresentative(); |
| 119 | } |
| 120 | |
| 121 | /// Marks the given subgraph as a direct antecedent (dependency) of this one. |
| 122 | void AddDirectAntecedent(PartialSubgraph* antecedent) |
no test coverage detected