public class Rec
extends java.lang.Object
Constructor and Description |
---|
Rec() |
Rec(java.util.List<Graph> graphs) |
Modifier and Type | Method and Description |
---|---|
void |
nextGraph(Graph nextGraph) |
void |
recordAddEvents(Graph graph) |
void |
recordDeleteEvents(Graph nextGraph) |
void |
writeToFile(java.io.File outputFile) |
public Rec() throws java.io.IOException
java.io.IOException
public Rec(java.util.List<Graph> graphs) throws java.io.IOException
java.io.IOException
public void nextGraph(Graph nextGraph)
public void recordDeleteEvents(Graph nextGraph)
nextGraph
- public void recordAddEvents(Graph graph)
wadj
- public void writeToFile(java.io.File outputFile) throws java.io.IOException
outputFile
- java.io.IOException