Prev Package | Next Package | Frames | No Frames |
Class Summary | |
ConjectureHistoryListLoader | |
ConjectureHistoryListSaver | Helper methods for saving the conjecture history to disk. |
ConjectureListLoader | |
ConjectureListSaver | |
FilterListLoader | |
FilterListSaver | |
GraphGeneratorInstanceListLoader | |
GraphGeneratorInstanceListSaver | |
GraphListElementSaver | Saves GraphListElement s. |
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. |
InvariantListLoader | |
InvariantListSaver |