|
|
@ -37,6 +37,7 @@ file(GLOB STORM_SETTINGS_MODULES_FILES ${PROJECT_SOURCE_DIR}/src/settings/module |
|
|
|
file(GLOB STORM_SOLVER_FILES ${PROJECT_SOURCE_DIR}/src/solver/*.h ${PROJECT_SOURCE_DIR}/src/solver/*.cpp) |
|
|
|
file(GLOB STORM_SOLVER_STATEELIMINATION_FILES ${PROJECT_SOURCE_DIR}/src/solver/stateelimination/*.h ${PROJECT_SOURCE_DIR}/src/solver/stateelimination/*.cpp) |
|
|
|
file(GLOB STORM_STORAGE_FILES ${PROJECT_SOURCE_DIR}/src/storage/*.h ${PROJECT_SOURCE_DIR}/src/storage/*.cpp) |
|
|
|
file(GLOB STORM_STORAGE_JANI_FILES ${PROJECT_SOURCE_DIR}/src/storage/jani/*.h ${PROJECT_SOURCE_DIR}/src/storage/jani/*.cpp) |
|
|
|
file(GLOB STORM_STORAGE_BISIMULATION_FILES ${PROJECT_SOURCE_DIR}/src/storage/bisimulation/*.h ${PROJECT_SOURCE_DIR}/src/storage/bisimulation/*.cpp) |
|
|
|
file(GLOB STORM_STORAGE_DD_FILES ${PROJECT_SOURCE_DIR}/src/storage/dd/*.h ${PROJECT_SOURCE_DIR}/src/storage/dd/*.cpp) |
|
|
|
file(GLOB STORM_STORAGE_DFT_FILES ${PROJECT_SOURCE_DIR}/src/storage/dft/*.h ${PROJECT_SOURCE_DIR}/src/storage/dft/*.cpp) |
|
|
@ -98,6 +99,7 @@ source_group(storage\\dd\\sylvan FILES ${STORM_STORAGE_DD_SYLVAN_FILES}) |
|
|
|
source_group(storage\\expressions FILES ${STORM_STORAGE_EXPRESSIONS_FILES}) |
|
|
|
source_group(storage\\prism FILES ${STORM_STORAGE_PRISM_FILES}) |
|
|
|
source_group(storage\\sparse FILES ${STORM_STORAGE_SPARSE_FILES}) |
|
|
|
source_group(storage\\jani FILES ${STORM_STORAGE_JANI_FILES}) |
|
|
|
source_group(storage\\dft FILES ${STORM_STORAGE_DFT_FILES}) |
|
|
|
source_group(storage\\dft\\elements FILES ${STORM_STORAGE_DFT_ELEMENTS_FILES}) |
|
|
|
source_group(utility FILES ${STORM_UTILITY_FILES}) |
|
|
|