Storm
A Modern Probabilistic Model Checker
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Public Member Functions | List of all members
storm::models::Model< ValueType > Class Template Reference

#include <Model.h>

Inheritance diagram for storm::models::Model< ValueType >:
Inheritance graph
[legend]
Collaboration diagram for storm::models::Model< ValueType >:
Collaboration graph
[legend]

Public Member Functions

 Model (ModelType const &modelType)
 Constructs a model of the given type.
 
virtual ~Model ()=default
 
- Public Member Functions inherited from storm::models::ModelBase
 ModelBase (ModelType const &modelType)
 Constructs a model of the given type.
 
virtual ~ModelBase ()
 
template<typename ModelType >
std::shared_ptr< ModelType > as ()
 Casts the model into the model type given by the template parameter.
 
template<typename ModelType >
std::shared_ptr< ModelType const > as () const
 Casts the model into the model type given by the template parameter.
 
virtual ModelType getType () const
 Return the actual type of the model.
 
virtual uint_fast64_t getNumberOfStates () const =0
 Returns the number of states of the model.
 
virtual uint_fast64_t getNumberOfTransitions () const =0
 Returns the number of (non-zero) transitions of the model.
 
virtual uint_fast64_t getNumberOfChoices () const =0
 Returns the number of choices ine the model.
 
virtual void printModelInformationToStream (std::ostream &out) const =0
 Prints information about the model to the specified stream.
 
virtual bool isSparseModel () const
 Checks whether the model is a sparse model.
 
virtual bool isSymbolicModel () const
 Checks whether the model is a symbolic model.
 
bool isOfType (storm::models::ModelType const &modelType) const
 Checks whether the model is of the given type.
 
bool isNondeterministicModel () const
 Returns true if the model is a nondeterministic model.
 
bool isDiscreteTimeModel () const
 Returns true if the model is a descrete-time model.
 
virtual bool supportsParameters () const
 Checks whether the model supports parameters.
 
virtual bool hasParameters () const
 Checks whether the model has parameters.
 
virtual bool isExact () const
 Checks whether the model is exact.
 
virtual bool isPartiallyObservable () const
 
virtual void reduceToStateBasedRewards ()=0
 Converts the transition rewards of all reward models to state-based rewards.
 
virtual bool hasRewardModel (std::string const &rewardModelName) const =0
 Retrieves whether the model has a reward model with the given name.
 
virtual bool hasUniqueRewardModel () const =0
 
virtual std::string const & getUniqueRewardModelName () const =0
 

Detailed Description

template<typename ValueType>
class storm::models::Model< ValueType >

Definition at line 9 of file Model.h.

Constructor & Destructor Documentation

◆ Model()

template<typename ValueType >
storm::models::Model< ValueType >::Model ( ModelType const &  modelType)
inline

Constructs a model of the given type.

Parameters
modelTypeThe type of the model.

Definition at line 16 of file Model.h.

◆ ~Model()

template<typename ValueType >
virtual storm::models::Model< ValueType >::~Model ( )
virtualdefault

Reimplemented in storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::sparse::Model< double, RM >, storm::models::sparse::Model< double, storm::models::sparse::StandardRewardModel< double > >, storm::models::sparse::Model< FunctionType, StandardRewardModel< FunctionType > >, storm::models::sparse::Model< ValueType >, storm::models::sparse::Model< ValueType, StandardRewardModel< ValueType > >, and storm::models::sparse::Model< ValueType, storm::models::sparse::StandardRewardModel< ValueType > >.

The documentation for this class was generated from the following files: