Beispiel #1
0
 protected void store(CharSequence basename) throws java.io.IOException {
   BVGraph.store(graph, basename + ArcLabelledImmutableGraph.UNDERLYINGGRAPH_SUFFIX);
   BitStreamArcLabelledImmutableGraph.store(
       graph, basename, basename + ArcLabelledImmutableGraph.UNDERLYINGGRAPH_SUFFIX);
   graph = BitStreamArcLabelledImmutableGraph.loadSequential(basename);
   BVGraph.store(
       reverse, basename + ".reverse" + ArcLabelledImmutableGraph.UNDERLYINGGRAPH_SUFFIX);
   BitStreamArcLabelledImmutableGraph.store(
       reverse,
       basename + ".reverse",
       basename + ".reverse" + ArcLabelledImmutableGraph.UNDERLYINGGRAPH_SUFFIX);
   reverse = BitStreamArcLabelledImmutableGraph.loadSequential(basename + ".reverse");
 }