Removed copy-pasted references to DFTs

src/storm-counterexamples/CMakeLists.txt

@@ -8,7 +8,7 @@ file(GLOB_RECURSE STORM_CEX_SOURCES ${PROJECT_SOURCE_DIR}/src/storm-counterexamp
 file(GLOB_RECURSE STORM_CEX_HEADERS ${PROJECT_SOURCE_DIR}/src/storm-counterexamples/*/*.h)
 
 
-# Create storm-dft.
+# Create storm-counterexamples.
 add_library(storm-counterexamples SHARED ${STORM_CEX_SOURCES} ${STORM_CEX_HEADERS})
 
 # Remove define symbol for shared libstorm.

src/storm-pomdp-cli/settings/modules/POMDPSettings.h

@@ -4,20 +4,18 @@
 #include "storm/settings/modules/ModuleSettings.h"
 #include "storm-pomdp/storage/PomdpMemory.h"
 
-#include "storm-dft/builder/DftExplorationHeuristic.h"
-
 namespace storm {
     namespace settings {
         namespace modules {
 
             /*!
-             * This class represents the settings for DFT model checking.
+             * This class represents the settings for POMDP model checking.
              */
             class POMDPSettings : public ModuleSettings {
             public:
 
                 /*!
-                 * Creates a new set of DFT settings.
+                 * Creates a new set of POMDP settings.
                  */
                 POMDPSettings();
 

src/storm/builder/ParallelCompositionBuilder.h

@@ -21,4 +21,4 @@ namespace storm {
     }
 }
 
-#endif	/* EXPLICITDFTMODELBUPARALLELCOMPOSITIONBUILDER_HILDERAPPROX_H */
+#endif	/* PARALLELCOMPOSITIONBUILDER_*/