Browse Source

check task API slightly extended for scheduler extraction

tempestpy_adaptions
Sebastian Junges 7 years ago
parent
commit
e205b1bf6a
  1. 2
      src/storm/modelchecker/CheckTask.h

2
src/storm/modelchecker/CheckTask.h

@ -211,7 +211,7 @@ namespace storm {
/*! /*!
* Sets whether to produce schedulers (if supported). * Sets whether to produce schedulers (if supported).
*/ */
void setProduceSchedulers(bool produceSchedulers) {
void setProduceSchedulers(bool produceSchedulers = true) {
this->produceSchedulers = produceSchedulers; this->produceSchedulers = produceSchedulers;
} }

Loading…
Cancel
Save