Added initial version of MarkovAutomaton class.

Former-commit-id: 099b8b4a22
11 years ago · 141fdca6d7
2 changed files with 2 additions and 1 deletions
--- a/src/models/AbstractModel.h
+++ b/src/models/AbstractModel.h
@ -19,7 +19,7 @@ namespace models {
 *  @brief  Enumeration of all supported types of models.
 */
 enum ModelType {
-    Unknown, DTMC, CTMC, MDP, CTMDP
+    Unknown, DTMC, CTMC, MDP, CTMDP, MA
 };

 /*!
--- a/src/storm.cpp
+++ b/src/storm.cpp
@ -21,6 +21,7 @@

 #include "storm-config.h"
 #include "src/models/Dtmc.h"
+#include "src/models/MarkovAutomaton.h"
 #include "src/storage/SparseMatrix.h"
 #include "src/models/AtomicPropositionsLabeling.h"
 #include "src/modelchecker/prctl/SparseDtmcPrctlModelChecker.h"