modelchecker → generator Relation

File in src/storm/modelchecker	Includes file in src/storm/generator
exploration / ExplorationInformation.h	CompressedState.h
exploration / SparseExplorationModelChecker.cpp	CompressedState.h
exploration / SparseExplorationModelChecker.h	CompressedState.h
exploration / SparseExplorationModelChecker.h	VariableInformation.h
exploration / StateGeneration.h	CompressedState.h
exploration / StateGeneration.h	PrismNextStateGenerator.h