Browse Source

removed unused member of checkTask

tempestpy_adaptions
Stefan Pranger 4 years ago
parent
commit
a3da5642f1
  1. 3
      src/storm/modelchecker/CheckTask.h

3
src/storm/modelchecker/CheckTask.h

@ -337,9 +337,6 @@ namespace storm {
// If set to true, the model checker may decide to only compute the values for the initial states. // If set to true, the model checker may decide to only compute the values for the initial states.
bool onlyInitialStatesRelevant; bool onlyInitialStatesRelevant;
// If set to true, we will create the appropriate shield.
bool shieldingTask = false;
// The according ShieldExpression. // The according ShieldExpression.
boost::optional<std::shared_ptr<storm::logic::ShieldExpression const>> shieldingExpression; boost::optional<std::shared_ptr<storm::logic::ShieldExpression const>> shieldingExpression;

Loading…
Cancel
Save