Browse Source

added second get shield

tempestpy_adaptions
Thomas Knoll 1 year ago
parent
commit
e561545e1a
  1. 8
      src/storm/modelchecker/results/ExplicitQuantitativeCheckResult.cpp
  2. 1
      src/storm/modelchecker/results/ExplicitQuantitativeCheckResult.h

8
src/storm/modelchecker/results/ExplicitQuantitativeCheckResult.cpp

@ -234,7 +234,13 @@ namespace storm {
template<typename ValueType> template<typename ValueType>
std::shared_ptr<tempest::shields::AbstractShield<ValueType,typename ExplicitQuantitativeCheckResult<ValueType>::IndexType>> const& ExplicitQuantitativeCheckResult<ValueType>::getShield() const { std::shared_ptr<tempest::shields::AbstractShield<ValueType,typename ExplicitQuantitativeCheckResult<ValueType>::IndexType>> const& ExplicitQuantitativeCheckResult<ValueType>::getShield() const {
STORM_LOG_THROW(this->hasScheduler(), storm::exceptions::InvalidOperationException, "Unable to retrieve non-existing scheduler.");
STORM_LOG_THROW(this->hasShield(), storm::exceptions::InvalidOperationException, "Unable to retrieve non-existing shield.");
return shield.get();
}
template<typename ValueType>
std::shared_ptr<tempest::shields::AbstractShield<ValueType,typename ExplicitQuantitativeCheckResult<ValueType>::IndexType>>& ExplicitQuantitativeCheckResult<ValueType>::getShield() {
STORM_LOG_THROW(this->hasShield(), storm::exceptions::InvalidOperationException, "Unable to retrieve non-existing shield.");
return shield.get(); return shield.get();
} }

1
src/storm/modelchecker/results/ExplicitQuantitativeCheckResult.h

@ -85,6 +85,7 @@ namespace storm {
void setShield(std::unique_ptr<tempest::shields::AbstractShield<ValueType, IndexType>> shield); void setShield(std::unique_ptr<tempest::shields::AbstractShield<ValueType, IndexType>> shield);
std::shared_ptr<tempest::shields::AbstractShield<ValueType, IndexType>> const& getShield() const; std::shared_ptr<tempest::shields::AbstractShield<ValueType, IndexType>> const& getShield() const;
std::shared_ptr<tempest::shields::AbstractShield<ValueType, IndexType>>& getShield();
storm::json<ValueType> toJson(boost::optional<storm::storage::sparse::StateValuations> const& stateValuations = boost::none) const; storm::json<ValueType> toJson(boost::optional<storm::storage::sparse::StateValuations> const& stateValuations = boost::none) const;

Loading…
Cancel
Save