Loading...
Searching...
No Matches
storm::models::Model< ValueType > Class Template Reference
#include <Model.h>
Inheritance diagram for storm::models::Model< ValueType >:
Collaboration diagram for storm::models::Model< ValueType >:
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. | |
| virtual std::optional< storm::dd::DdType > | getDdType () const |
| virtual bool | supportsUncertainty () const |
| Does it support uncertainty (e.g., via interval-valued entries). | |
| 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 >
class storm::models::Model< ValueType >
Constructor & Destructor Documentation
◆ Model()
template<typename ValueType >
|
inline |
◆ ~Model()
template<typename ValueType >
|
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:
- src/storm-gamebased-ar/modelchecker/abstraction/AbstractAbstractionRefinementModelChecker.h
- src/storm/models/Model.h
