Package org.grinvin.io

Interface Summary

SectionLoader Opens named sections as input streams.

Class Summary

Bounds Class to handle loading and saving of location and size information.
EmbeddingLoader Loads an embedding.xml-section from an input stream.
EmbeddingSaver Saves a EmbeddingView as a embedding.xml-section onto an output stream.
Graph6Loader Several static methods to load graph6 (.g6) files in GrInvIn
GraphBundleLoader Loads a GraphBundle from a zip file.
GraphBundleSaver Saves a GraphBundleView onto an output stream.
GraphListLoader Helper methods for loading lists of graphs and lists of invariants from disk.
GraphListSaver Helper methods for saving graph list elements, lists of graphs and lists of invariants to disk.
GraphLoader Loads a graph.xml-section from an input stream.
GraphSaver Saves a GraphView as a graph.xml-section onto an output stream.
GrinvinURLStreamHandlerFactory
InvariantValuesLoader Loader for the computed values of a saved GraphBundle
InvariantValuesSaver Saved for the computed values of a saved GraphBundle
IOFormatException Indicates that file or stream data is not in the expected format and can therefore not be loaded.
SVGURLStreamHandler