jif.types

## Class Graph

- java.lang.Object
- - jif.types.Graph

- Direct Known Subclasses:
    LabelFlowGraph

      public abstract class Graph
      extends java.lang.Object

- - ### Nested Class Summary

    Nested Classes
    Modifier and Type | Class and Description
    --- | ---
    `protected class` | `Graph.LabellingVisitor`
    `static interface` | `Graph.NodeVisitor`
    `protected class` | `Graph.PathFinder`

  - ### Constructor Summary

    Constructors
    Constructor and Description
    `Graph()`

  - ### Method Summary

    All Methods Instance Methods Concrete Methods
    Modifier and Type | Method and Description
    --- | ---
    `protected void` | `addEdge(jif.types.Graph.Node from, jif.types.Graph.Node to, jif.types.Graph.Edge edge)`
    `java.util.Set<java.util.List<jif.types.Graph.Node>>` | `getBackwardPaths(jif.types.Graph.Node start)`
    `java.util.Set<java.util.List<jif.types.Graph.Node>>` | `getForwardPaths(jif.types.Graph.Node start)`
    `void` | `labelAll(jif.types.Graph.Node root)`

    - ### Methods inherited from class java.lang.Object

      `clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

- - ### Constructor Detail

    - #### Graph

          public Graph()

  - ### Method Detail

    - #### addEdge

          protected void addEdge(jif.types.Graph.Node from,
                                 jif.types.Graph.Node to,
                                 jif.types.Graph.Edge edge)

    - #### getBackwardPaths

          public java.util.Set<java.util.List<jif.types.Graph.Node>> getBackwardPaths(jif.types.Graph.Node start)

    - #### getForwardPaths

          public java.util.Set<java.util.List<jif.types.Graph.Node>> getForwardPaths(jif.types.Graph.Node start)

    - #### labelAll

          public void labelAll(jif.types.Graph.Node root)