public static class FootPrint.DfgUnfoldedNode
extends java.lang.Object
Constructor and Description |
---|
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)