org.grinvin.io.list

Classes

ConjectureHistoryListLoader
ConjectureHistoryListSaver
ConjectureListLoader
ConjectureListSaver
FilterListLoader
FilterListSaver
GraphGeneratorInstanceListLoader
GraphGeneratorInstanceListSaver
GraphListElementSaver
GraphListLoader
GraphListSaver
InvariantListLoader
InvariantListSaver