From b363a09025dde347bad2278d5fd0d6f000c8a027 Mon Sep 17 00:00:00 2001 From: TimQu Date: Mon, 28 May 2018 15:53:57 +0200 Subject: [PATCH] Revert "added schedulerrestriction in checktask" This reverts commit 159ec044f6c69ed8a03a23375b2b5a5c38a7c982. --- src/storm/modelchecker/CheckTask.h | 16 ---------------- 1 file changed, 16 deletions(-) diff --git a/src/storm/modelchecker/CheckTask.h b/src/storm/modelchecker/CheckTask.h index dd754c762..45f2a9bc3 100644 --- a/src/storm/modelchecker/CheckTask.h +++ b/src/storm/modelchecker/CheckTask.h @@ -10,7 +10,6 @@ #include "storm/solver/OptimizationDirection.h" #include "storm/logic/ComparisonType.h" #include "storm/modelchecker/hints/ModelCheckerHint.h" -#include "storm/storage/SchedulerClass.h" #include "storm/exceptions/InvalidOperationException.h" @@ -223,18 +222,6 @@ namespace storm { return produceSchedulers; } - void setSchedulerRestriction(storm::storage::SchedulerClass const& schedulerClass) { - this->schedulerRestriction = schedulerClass; - } - - storm::storage::SchedulerClass const& getSchedulerRestriction() const { - return *this->schedulerRestriction; - } - - bool hasSchedulerRestriction() const { - return this->schedulerRestriction.is_initialized(); - } - /*! * sets a hint that might contain information that speeds up the modelchecking process (if supported by the model checker) */ @@ -301,9 +288,6 @@ namespace storm { // if this flag is set. bool produceSchedulers; - // Restricts the class of schedulers that are to be considered during analysis - boost::optional schedulerRestriction; - // A hint that might contain information that speeds up the modelchecking process (if supported by the model checker) std::shared_ptr hint; };