util.graph
Class PermGraph

java.lang.Object
  |
  +--util.graph.Graph
        |
        +--util.graph.SignalGraph
              |
              +--util.graph.PermGraph
All Implemented Interfaces:
Cloneable, Serializable
Direct Known Subclasses:
OwnerTrackingPermGraph

public abstract class PermGraph
extends SignalGraph

Load and save methods so graph can be stashed away in lovie-dovie land.

See Also:
Serialized Form

Fields inherited from class util.graph.Graph
edges, nodes
 
Constructor Summary
PermGraph()
           
 
Method Summary
 void addEdge(Edge e)
          Overrides addEdge in Graph -- makes sure that every time we add an edge, we reflect it in the permanent storage
protected abstract  Edge loadEdge()
          Return the next edge in a table.
 void loadGraph(String graph)
          Load a graph from a given table.
protected abstract  void openTable(String table)
          Open the table for read/write to save/load graph.
protected abstract  void saveEdge(Edge e)
          Save an edge to the table.
 void saveGraph(String toTable)
          Save graph as series of edges.
 
Methods inherited from class util.graph.SignalGraph
commitEdge, commitPath, getDisplaced, makeEdge, makePath, removeOwner
 
Methods inherited from class util.graph.Graph
addEdge, findNode, getEdges, getEdgesFrom, getNodes, getNonSources, getPath, getSinkNodes, getSinks, getSourceNodes, getSources, removeEdge, removeEdges, removeNode
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PermGraph

public PermGraph()
Method Detail

saveGraph

public void saveGraph(String toTable)
Save graph as series of edges.

addEdge

public void addEdge(Edge e)
Overrides addEdge in Graph -- makes sure that every time we add an edge, we reflect it in the permanent storage
Overrides:
addEdge in class Graph

openTable

protected abstract void openTable(String table)
Open the table for read/write to save/load graph.

saveEdge

protected abstract void saveEdge(Edge e)
Save an edge to the table.

loadEdge

protected abstract Edge loadEdge()
Return the next edge in a table. Return null if no edges remaining, otherwise return an Edge object.

loadGraph

public void loadGraph(String graph)
Load a graph from a given table.