Class FootPrint.DfgUnfoldedNode

  • Enclosing class:
    FootPrint

    public static class FootPrint.DfgUnfoldedNode
    extends java.lang.Object
    • Constructor Detail

      • DfgUnfoldedNode

        public DfgUnfoldedNode()
    • Method Detail

      • absorb

        public void absorb​(Graph<java.lang.String> otherDfg,
                           Graph<java.lang.String> otherConcurrency)