From 141fdca6d7760ad89de642abc0c44c97798d367c Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 7 Nov 2013 16:15:48 +0100
Subject: [PATCH] Added initial version of MarkovAutomaton class.

Former-commit-id: 099b8b4a224b850fe12b7d1611226bbbe5ea81b3
---
 src/models/AbstractModel.h | 2 +-
 src/storm.cpp              | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/models/AbstractModel.h b/src/models/AbstractModel.h
index 6516884a8..30f8e221c 100644
--- 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
 };
 
 /*!
diff --git a/src/storm.cpp b/src/storm.cpp
index 4621f7413..c6f2071b1 100644
--- 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"