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"); }