Browse Source

returning the memory structure of a scheduler

tempestpy_adaptions
TimQu 7 years ago
parent
commit
7bd9ef798f
  1. 5
      src/storm/storage/Scheduler.cpp
  2. 5
      src/storm/storage/Scheduler.h

5
src/storm/storage/Scheduler.cpp

@ -86,6 +86,11 @@ namespace storm {
return memoryStructure ? memoryStructure->getNumberOfStates() : 1;
}
template <typename ValueType>
boost::optional<storm::storage::MemoryStructure> const& Scheduler<ValueType>::getMemoryStructure() const {
return memoryStructure;
}
template <typename ValueType>
void Scheduler<ValueType>::printToStream(std::ostream& out, std::shared_ptr<storm::models::sparse::Model<ValueType>> model, bool skipUniqueChoices) const {
STORM_LOG_THROW(model == nullptr || model->getNumberOfStates() == schedulerChoices.front().size(), storm::exceptions::InvalidOperationException, "The given model is not compatible with this scheduler.");

5
src/storm/storage/Scheduler.h

@ -70,6 +70,11 @@ namespace storm {
* Retrieves the number of memory states this scheduler considers.
*/
uint_fast64_t getNumberOfMemoryStates() const;
/*!
* Retrieves the memory structure associated with this scheduler
*/
boost::optional<storm::storage::MemoryStructure> const& getMemoryStructure() const;
/*!
* Returns a copy of this scheduler with the new value type

Loading…
Cancel
Save