ModelBase.h

Go to the documentation of this file.

#pragma once
 
#include <memory>
#include <optional>
 
#include "storm/models/ModelType.h"
#include "storm/storage/dd/DdType.h"
 
namespace storm {
namespace models {
 
class ModelBase : public std::enable_shared_from_this<ModelBase> {
   public:
    ModelBase(ModelType const& modelType) : modelType(modelType) {
        // Intentionally left empty.
    }
 
    /*
     * Make destructor virtual to allow deleting objects through pointer to base classe(s).
     */
    virtual ~ModelBase() {
        // Intentionally left empty.
    }
 
    template<typename ModelType>
    std::shared_ptr<ModelType> as() {
        return std::dynamic_pointer_cast<ModelType>(this->shared_from_this());
    }
 
    template<typename ModelType>
    std::shared_ptr<ModelType const> as() const {
        return std::dynamic_pointer_cast<ModelType const>(this->shared_from_this());
    }
 
    virtual ModelType getType() const;
 
    virtual uint_fast64_t getNumberOfStates() const = 0;
 
    virtual uint_fast64_t getNumberOfTransitions() const = 0;
 
    virtual uint_fast64_t getNumberOfChoices() const = 0;
 
    virtual void printModelInformationToStream(std::ostream& out) const = 0;
 
    virtual bool isSparseModel() const;
 
    virtual bool isSymbolicModel() const;
 
    virtual std::optional<storm::dd::DdType> getDdType() const;
 
    virtual bool supportsUncertainty() const;
 
    bool isOfType(storm::models::ModelType const& modelType) const;
 
    bool isNondeterministicModel() const;
 
    bool isDiscreteTimeModel() const;
 
    virtual bool supportsParameters() const;
 
    virtual bool hasParameters() const;
 
    virtual bool isExact() const;
 
    /*
     * Checks whether the model is partially observable
     */
    virtual bool isPartiallyObservable() const;
 
    virtual void reduceToStateBasedRewards() = 0;
 
    virtual bool hasRewardModel(std::string const& rewardModelName) const = 0;
 
    virtual bool hasUniqueRewardModel() const = 0;
    virtual std::string const& getUniqueRewardModelName() const = 0;
 
   private:
    // The type of the model.
    ModelType modelType;
};
 
}  // namespace models
}  // namespace storm