From e8799963fefebd41ad48df62e9370e3e36f5ed31 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Sun, 27 Sep 2015 21:28:58 +0200
Subject: [PATCH] compiles again
Former-commit-id: fb79c334d8edd887b435f91e8d841de2d9571d5f
---
src/permissivesched/PermissiveSchedulers.cpp | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/permissivesched/PermissiveSchedulers.cpp b/src/permissivesched/PermissiveSchedulers.cpp
index 8cdca5f8a..8c8a0efef 100644
--- a/src/permissivesched/PermissiveSchedulers.cpp
+++ b/src/permissivesched/PermissiveSchedulers.cpp
@@ -45,13 +45,13 @@ namespace storm {
goalstates = storm::utility::graph::performProb1A(*mdp, backwardTransitions, storm::storage::BitVector(goalstates.size(), true), goalstates);
storm::storage::BitVector sinkstates = storm::utility::graph::performProb0A(*mdp,backwardTransitions, storm::storage::BitVector(goalstates.size(), true), goalstates);
- SmtPermissiveSchedulerComputation comp(mdp, goalstates, sinkstates)
+ /*SmtPermissiveSchedulerComputation comp(mdp, goalstates, sinkstates)
if(comp.foundSolution()) {
return boost::optional<SubMDPPermissiveScheduler>(comp.getScheduler());
} else {
return boost::optional<SubMDPPermissiveScheduler>();
- }
+ }*/
}
}
}