Module org.maxicp

Class LayeredGraph<State>

java.lang.Object
org.maxicp.util.algo.LayeredGraph<State>

public final class LayeredGraph<State> extends Object
  • Constructor Details

    • LayeredGraph

      public LayeredGraph(int nLayers)
  • Method Details

    • getState

      public State getState(int node)
    • getOrCreateNode

      public int getOrCreateNode(State s)
    • addEdge

      public void addEdge(int from, int to, int label)
    • successors

      public LayeredGraph.EdgeList successors(int node)
    • predecessors

      public LayeredGraph.EdgeList predecessors(int node)
    • startLayer

      public void startLayer(int layer)
    • endLayer

      public void endLayer(int layer)
    • layerSize

      public int layerSize(int layer)
    • nodesInLayer

      public Iterable<Integer> nodesInLayer(int layer)
    • layerBegin

      public int layerBegin(int l)
    • layerEnd

      public int layerEnd(int l)