| additionalDotStateInfo(uint64_t state) const | storm::models::sparse::Model< CValueType, CRewardModelType > | protectedvirtual |
| addRewardModel(std::string const &rewardModelName, RewardModelType const &rewModel) | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| applyScheduler(storm::storage::Scheduler< ValueType > const &scheduler, bool dropUnreachableStates=true, bool preserveModelType=false) const | storm::models::sparse::NondeterministicModel< ValueType, RewardModelType > | |
| as() | storm::models::ModelBase | inline |
| as() const | storm::models::ModelBase | inline |
| computeStatesOfCoalition(storm::logic::PlayerCoalition const &coalition) const | storm::models::sparse::Smg< ValueType, RewardModelType > | |
| getBackwardTransitions() const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getChoiceIndex(storm::storage::StateActionPair const &stateactPair) const | storm::models::sparse::NondeterministicModel< ValueType, RewardModelType > | |
| getChoiceLabeling() const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getChoiceOrigins() const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getDdType() const | storm::models::ModelBase | virtual |
| getInitialStates() const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getLabelsOfState(storm::storage::sparse::state_type state) const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getNondeterministicChoiceIndices() const | storm::models::sparse::NondeterministicModel< ValueType, RewardModelType > | |
| getNumberOfChoices(uint_fast64_t state) const | storm::models::sparse::NondeterministicModel< ValueType, RewardModelType > | |
| storm::models::sparse::Model::getNumberOfChoices() const override | storm::models::sparse::Model< CValueType, CRewardModelType > | virtual |
| getNumberOfRewardModels() const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getNumberOfStates() const override | storm::models::sparse::Model< CValueType, CRewardModelType > | virtual |
| getNumberOfTransitions() const override | storm::models::sparse::Model< CValueType, CRewardModelType > | virtual |
| getOptionalChoiceLabeling() const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getOptionalChoiceLabeling() | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getOptionalChoiceOrigins() const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getOptionalChoiceOrigins() | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getOptionalStateValuations() const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getOptionalStateValuations() | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getPlayerIndex(std::string const &playerName) const | storm::models::sparse::Smg< ValueType, RewardModelType > | |
| getPlayerOfState(uint64_t stateIndex) const | storm::models::sparse::Smg< ValueType, RewardModelType > | |
| getRewardModel(std::string const &rewardModelName) const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getRewardModel(std::string const &rewardModelName) | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getRewardModels() const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getRewardModels() | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getRows(storm::storage::sparse::state_type state) const | storm::models::sparse::Model< CValueType, CRewardModelType > | virtual |
| getStateLabeling() const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getStateLabeling() | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getStatePlayerIndications() const | storm::models::sparse::Smg< ValueType, RewardModelType > | |
| getStates(std::string const &label) const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getStateValuations() const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getTransitionMatrix() const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getTransitionMatrix() | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getType() const | storm::models::ModelBase | virtual |
| getUniqueRewardModel() const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getUniqueRewardModel() | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getUniqueRewardModelName() const override | storm::models::sparse::Model< CValueType, CRewardModelType > | virtual |
| hasChoiceLabeling() const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| hasChoiceOrigins() const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| hash() const | storm::models::sparse::Model< CValueType, CRewardModelType > | virtual |
| hasLabel(std::string const &label) const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| hasParameters() const override | storm::models::sparse::Model< CValueType, CRewardModelType > | virtual |
| hasRewardModel(std::string const &rewardModelName) const override | storm::models::sparse::Model< CValueType, CRewardModelType > | virtual |
| hasRewardModel() const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| hasStateValuations() const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| hasUncertainty() const | storm::models::sparse::Model< CValueType, CRewardModelType > | virtual |
| hasUniqueRewardModel() const override | storm::models::sparse::Model< CValueType, CRewardModelType > | virtual |
| isDiscreteTimeModel() const | storm::models::ModelBase | |
| isExact() const override | storm::models::sparse::Model< CValueType, CRewardModelType > | virtual |
| isNondeterministicModel() const | storm::models::ModelBase | |
| isOfType(storm::models::ModelType const &modelType) const | storm::models::ModelBase | |
| isPartiallyObservable() const | storm::models::ModelBase | virtual |
| isSinkState(uint64_t sink) const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| isSparseModel() const override | storm::models::sparse::Model< CValueType, CRewardModelType > | virtual |
| isSymbolicModel() const | storm::models::ModelBase | virtual |
| Model(Model< ValueType, RewardModelType > const &other)=default | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| Model(ModelType modelType, storm::storage::sparse::ModelComponents< ValueType, RewardModelType > const &components) | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| Model(ModelType modelType, storm::storage::sparse::ModelComponents< ValueType, RewardModelType > &&components) | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| Model< CValueType >::Model(ModelType const &modelType) | storm::models::Model< CValueType > | inline |
| ModelBase(ModelType const &modelType) | storm::models::ModelBase | inline |
| NondeterministicModel(ModelType modelType, storm::storage::sparse::ModelComponents< ValueType, RewardModelType > const &components) | storm::models::sparse::NondeterministicModel< ValueType, RewardModelType > | |
| NondeterministicModel(ModelType modelType, storm::storage::sparse::ModelComponents< ValueType, RewardModelType > &&components) | storm::models::sparse::NondeterministicModel< ValueType, RewardModelType > | |
| operator=(Smg< ValueType, RewardModelType > const &other)=default | storm::models::sparse::Smg< ValueType, RewardModelType > | |
| operator=(Smg< ValueType, RewardModelType > &&other)=default | storm::models::sparse::Smg< ValueType, RewardModelType > | |
| storm::models::sparse::NondeterministicModel::operator=(Model< ValueType, RewardModelType > const &other)=default | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| printModelInformationFooterToStream(std::ostream &out) const | storm::models::sparse::Model< CValueType, CRewardModelType > | protected |
| printModelInformationHeaderToStream(std::ostream &out) const | storm::models::sparse::Model< CValueType, CRewardModelType > | protected |
| printModelInformationToStream(std::ostream &out) const override | storm::models::sparse::NondeterministicModel< ValueType, RewardModelType > | virtual |
| printRewardModelsInformationToStream(std::ostream &out) const | storm::models::sparse::Model< CValueType, CRewardModelType > | protected |
| reduceToStateBasedRewards() override | storm::models::sparse::NondeterministicModel< ValueType, RewardModelType > | virtual |
| removeRewardModel(std::string const &rewardModelName) | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| Representation | storm::models::sparse::Model< CValueType, CRewardModelType > | static |
| restrictRewardModels(std::set< std::string > const &keptRewardModels) | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| rewardModel(std::string const &rewardModelName) | storm::models::sparse::Model< CValueType, CRewardModelType > | protected |
| RewardModelType typedef | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| setInitialStates(storm::storage::BitVector const &states) | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| setTransitionMatrix(storm::storage::SparseMatrix< ValueType > const &transitionMatrix) | storm::models::sparse::Model< CValueType, CRewardModelType > | protected |
| setTransitionMatrix(storm::storage::SparseMatrix< ValueType > &&transitionMatrix) | storm::models::sparse::Model< CValueType, CRewardModelType > | protected |
| Smg(storm::storage::sparse::ModelComponents< ValueType, RewardModelType > const &components) | storm::models::sparse::Smg< ValueType, RewardModelType > | |
| Smg(storm::storage::sparse::ModelComponents< ValueType, RewardModelType > &&components) | storm::models::sparse::Smg< ValueType, RewardModelType > | |
| Smg(Smg< ValueType, RewardModelType > const &other)=default | storm::models::sparse::Smg< ValueType, RewardModelType > | |
| Smg(Smg< ValueType, RewardModelType > &&other)=default | storm::models::sparse::Smg< ValueType, RewardModelType > | |
| supportsParameters() const override | storm::models::sparse::Model< CValueType, CRewardModelType > | virtual |
| supportsUncertainty() const override | storm::models::sparse::Model< CValueType, CRewardModelType > | virtual |
| ValueType typedef | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| writeDotToStream(std::ostream &outStream, size_t maxWidthLabel=30, bool includeLabeling=true, storm::storage::BitVector const *subsystem=nullptr, std::vector< ValueType > const *firstValue=nullptr, std::vector< ValueType > const *secondValue=nullptr, std::vector< uint_fast64_t > const *stateColoring=nullptr, std::vector< std::string > const *colors=nullptr, std::vector< uint_fast64_t > *scheduler=nullptr, bool finalizeOutput=true) const override | storm::models::sparse::NondeterministicModel< ValueType, RewardModelType > | virtual |
| storm::models::sparse::Model::writeDotToStream(std::ostream &outStream, size_t maxWidthLabel=30, bool includeLabeling=true, storm::storage::BitVector const *subsystem=nullptr, std::vector< ValueType > const *firstValue=nullptr, std::vector< ValueType > const *secondValue=nullptr, std::vector< uint64_t > const *stateColoring=nullptr, std::vector< std::string > const *colors=nullptr, std::vector< uint_fast64_t > *scheduler=nullptr, bool finalizeOutput=true) const | storm::models::sparse::Model< CValueType, CRewardModelType > | virtual |
| writeJsonToStream(std::ostream &outStream) const | storm::models::sparse::Model< CValueType, CRewardModelType > | virtual |
| writeJsonToStream(std::ostream &) const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| ~Model()=default | storm::models::sparse::Model< CValueType, CRewardModelType > | virtual |
| ~ModelBase() | storm::models::ModelBase | inlinevirtual |
| ~NondeterministicModel()=default | storm::models::sparse::NondeterministicModel< ValueType, RewardModelType > | virtual |
1.9.8