org.grinvin.io.list
Classes
ConjectureHistoryListLoader
ConjectureHistoryListSaver
ConjectureListLoader
ConjectureListSaver
FilterListLoader
FilterListSaver
GraphGeneratorInstanceListLoader
GraphGeneratorInstanceListSaver
GraphListElementSaver
GraphListLoader
GraphListSaver
InvariantListLoader
InvariantListSaver