From 287281d05350150ffb4d3cce2a61ad5ea36c47b6 Mon Sep 17 00:00:00 2001
From: svkurowski <sascha.kurowski@rwth-aachen.de>
Date: Fri, 28 Nov 2014 13:54:36 +0100
Subject: [PATCH] Enable checking MDP models from the CLI

(cherry picked from commit 30b9811512ffa7aebf88ec17f72b37905c8cdbc1 [formerly fa0555dd74cd639840b2572dd5f382bcd3f5c3f1])


Former-commit-id: 271bda31cb8fcc50011d6aad7c02ad80ccb814ad
---
 src/utility/cli.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/utility/cli.h b/src/utility/cli.h
index 30366caa9..080322ded 100644
--- a/src/utility/cli.h
+++ b/src/utility/cli.h
@@ -327,6 +327,11 @@ namespace storm {
                         modelchecker::prctl::SparseDtmcPrctlModelChecker<double> modelchecker(*dtmc);
                         filterFormula->check(modelchecker);
                     }
+                    if (model->getType() == storm::models::MDP) {
+                        std::shared_ptr<storm::models::Mdp<double>> mdp = model->as<storm::models::Mdp<double>>();
+                        modelchecker::prctl::SparseMdpPrctlModelChecker<double> modelchecker(*mdp);
+                        filterFormula->check(modelchecker);
+                    }
                 }
             }
         }