Package org.grinvin.io.list

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