updates to dft->gspn

src/storm-dft-cli/storm-dyftee.cpp

@@ -3,8 +3,6 @@
 #include "storm/utility/storm.h"
 #include "storm/cli/cli.h"
 #include "storm/exceptions/BaseException.h"
-#include "storm/utility/macros.h"
-#include "storm/transformations/dft/DftToGspnTransformator.h"
 
 
 #include "storm/settings/modules/GeneralSettings.h"
@@ -18,7 +16,8 @@
 #include "storm-dft/parser/DFTGalileoParser.h"
 #include "storm-dft/modelchecker/dft/DFTModelChecker.h"
 #include "storm-dft/modelchecker/dft/DFTASFChecker.h"
-#include "storm-dft/transformations/dft/DftToGspnTransformator.h"
+#include "storm-dft/transformations/DftToGspnTransformator.h"
+
 
 #include "storm-dft/settings/modules/DFTSettings.h"
 

src/storm-dft/CMakeLists.txt

@@ -10,4 +10,4 @@ file(GLOB_RECURSE STORM_DFT_HEADERS ${PROJECT_SOURCE_DIR}/src/storm-dft/*/*.h)
 
 # Create storm-pgcl.
 add_library(storm-dft SHARED ${STORM_DFT_SOURCES} ${STORM_DFT_HEADERS})
-target_link_libraries(storm-dft storm ${STORM_DFT_LINK_LIBRARIES})
+target_link_libraries(storm-dft storm storm-gspn ${STORM_DFT_LINK_LIBRARIES})

src/storm/transformations/dft/DftToGspnTransformator.h → src/storm-dft/transformations/DftToGspnTransformator.h

@@ -1,8 +1,8 @@
 #pragma once
 
-#include "storm/storage/dft/DFT.h"
-#include "storm/storage/gspn/GSPN.h"
-#include "storm/storage/gspn/GspnBuilder.h"
+#include "storm-dft/storage/dft/DFT.h"
+#include "storm-gspn/storage/gspn/GSPN.h"
+#include "storm-gspn/storage/gspn/GspnBuilder.h"
 
 namespace storm {
     namespace transformations {