| 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 GraphListElements. |
| 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 | |