Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::models::ModelBase Member List

This is the complete list of members for storm::models::ModelBase, including all inherited members.

as()storm::models::ModelBaseinline
as() conststorm::models::ModelBaseinline
getNumberOfChoices() const =0storm::models::ModelBasepure virtual
getNumberOfStates() const =0storm::models::ModelBasepure virtual
getNumberOfTransitions() const =0storm::models::ModelBasepure virtual
getType() conststorm::models::ModelBasevirtual
getUniqueRewardModelName() const =0storm::models::ModelBasepure virtual
hasParameters() conststorm::models::ModelBasevirtual
hasRewardModel(std::string const &rewardModelName) const =0storm::models::ModelBasepure virtual
hasUniqueRewardModel() const =0storm::models::ModelBasepure virtual
isDiscreteTimeModel() conststorm::models::ModelBase
isExact() conststorm::models::ModelBasevirtual
isNondeterministicModel() conststorm::models::ModelBase
isOfType(storm::models::ModelType const &modelType) conststorm::models::ModelBase
isPartiallyObservable() conststorm::models::ModelBasevirtual
isSparseModel() conststorm::models::ModelBasevirtual
isSymbolicModel() conststorm::models::ModelBasevirtual
ModelBase(ModelType const &modelType)storm::models::ModelBaseinline
printModelInformationToStream(std::ostream &out) const =0storm::models::ModelBasepure virtual
reduceToStateBasedRewards()=0storm::models::ModelBasepure virtual
supportsParameters() conststorm::models::ModelBasevirtual
~ModelBase()storm::models::ModelBaseinlinevirtual