Prev Package | Next Package | Frames | No Frames |
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 |