public static class FootPrint.DfgUnfoldedNode
extends java.lang.Object
| Constructor and Description |
|---|
FootPrint.DfgUnfoldedNode() |
| Modifier and Type | Method and Description |
|---|---|
void |
absorb(Graph<java.lang.String> otherDfg,
Graph<java.lang.String> otherConcurrency) |
boolean |
equals(FootPrint.DfgUnfoldedNode other) |
public boolean equals(FootPrint.DfgUnfoldedNode other)