| additionalDotStateInfo(uint64_t state) const override | storm::models::sparse::Pomdp< ValueType, RewardModelType > | 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 |
| canonicFlag | storm::models::sparse::Pomdp< ValueType, RewardModelType > | protected |
| computeNrObservations() | storm::models::sparse::Pomdp< ValueType, RewardModelType > | protected |
| 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 > | |
| getMaxNrStatesWithSameObservation() const | storm::models::sparse::Pomdp< ValueType, RewardModelType > | |
| getNondeterministicChoiceIndices() const | storm::models::sparse::NondeterministicModel< ValueType, RewardModelType > | |
| getNrObservations() const | storm::models::sparse::Pomdp< 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 |
| getObservation(uint64_t state) const | storm::models::sparse::Pomdp< ValueType, RewardModelType > | |
| getObservations() const | storm::models::sparse::Pomdp< ValueType, RewardModelType > | |
| getObservationValuations() const | storm::models::sparse::Pomdp< ValueType, RewardModelType > | |
| 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 > | |
| getOptionalObservationValuations() const | storm::models::sparse::Pomdp< ValueType, RewardModelType > | |
| getOptionalStateValuations() const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getOptionalStateValuations() | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| 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 > | |
| getStates(std::string const &label) const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| getStatesWithObservation(uint32_t observation) const | storm::models::sparse::Pomdp< ValueType, RewardModelType > | |
| 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 override | storm::models::sparse::Pomdp< ValueType, RewardModelType > | virtual |
| hasLabel(std::string const &label) const | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| hasObservationValuations() const | storm::models::sparse::Pomdp< ValueType, RewardModelType > | |
| 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 |
| isCanonic() const | storm::models::sparse::Pomdp< ValueType, RewardModelType > | |
| 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 override | storm::models::sparse::Pomdp< ValueType, RewardModelType > | 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 |
| Mdp(storm::storage::SparseMatrix< ValueType > const &transitionMatrix, storm::models::sparse::StateLabeling const &stateLabeling, std::unordered_map< std::string, RewardModelType > const &rewardModels=std::unordered_map< std::string, RewardModelType >(), ModelType type=ModelType::Mdp) | storm::models::sparse::Mdp< ValueType, RewardModelType > | |
| Mdp(storm::storage::SparseMatrix< ValueType > &&transitionMatrix, storm::models::sparse::StateLabeling &&stateLabeling, std::unordered_map< std::string, RewardModelType > &&rewardModels=std::unordered_map< std::string, RewardModelType >(), ModelType type=ModelType::Mdp) | storm::models::sparse::Mdp< ValueType, RewardModelType > | |
| Mdp(storm::storage::sparse::ModelComponents< ValueType, RewardModelType > const &components, ModelType type=ModelType::Mdp) | storm::models::sparse::Mdp< ValueType, RewardModelType > | |
| Mdp(storm::storage::sparse::ModelComponents< ValueType, RewardModelType > &&components, ModelType type=ModelType::Mdp) | storm::models::sparse::Mdp< ValueType, RewardModelType > | |
| Mdp(Mdp< ValueType, RewardModelType > const &other)=default | storm::models::sparse::Mdp< ValueType, RewardModelType > | |
| Mdp(Mdp< ValueType, RewardModelType > &&other)=default | storm::models::sparse::Mdp< ValueType, RewardModelType > | |
| 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 > | |
| nrObservations | storm::models::sparse::Pomdp< ValueType, RewardModelType > | protected |
| observations | storm::models::sparse::Pomdp< ValueType, RewardModelType > | protected |
| observationValuations | storm::models::sparse::Pomdp< ValueType, RewardModelType > | protected |
| operator=(Pomdp< ValueType, RewardModelType > const &other)=default | storm::models::sparse::Pomdp< ValueType, RewardModelType > | |
| operator=(Pomdp< ValueType, RewardModelType > &&other)=default | storm::models::sparse::Pomdp< ValueType, RewardModelType > | |
| storm::models::sparse::Mdp::operator=(Mdp< ValueType, RewardModelType > const &other)=default | storm::models::sparse::Mdp< ValueType, RewardModelType > | |
| storm::models::sparse::Mdp::operator=(Mdp< ValueType, RewardModelType > &&other)=default | storm::models::sparse::Mdp< ValueType, RewardModelType > | |
| storm::models::sparse::NondeterministicModel::operator=(Model< ValueType, RewardModelType > const &other)=default | storm::models::sparse::Model< CValueType, CRewardModelType > | |
| Pomdp(storm::storage::SparseMatrix< ValueType > const &transitionMatrix, storm::models::sparse::StateLabeling const &stateLabeling, std::unordered_map< std::string, RewardModelType > const &rewardModels=std::unordered_map< std::string, RewardModelType >()) | storm::models::sparse::Pomdp< ValueType, RewardModelType > | |
| Pomdp(storm::storage::SparseMatrix< ValueType > &&transitionMatrix, storm::models::sparse::StateLabeling &&stateLabeling, std::unordered_map< std::string, RewardModelType > &&rewardModels=std::unordered_map< std::string, RewardModelType >()) | storm::models::sparse::Pomdp< ValueType, RewardModelType > | |
| Pomdp(storm::storage::sparse::ModelComponents< ValueType, RewardModelType > const &components, bool canonicFlag=false) | storm::models::sparse::Pomdp< ValueType, RewardModelType > | |
| Pomdp(storm::storage::sparse::ModelComponents< ValueType, RewardModelType > &&components, bool canonicFlag=false) | storm::models::sparse::Pomdp< ValueType, RewardModelType > | |
| Pomdp(Pomdp< ValueType, RewardModelType > const &other)=default | storm::models::sparse::Pomdp< ValueType, RewardModelType > | |
| Pomdp(Pomdp< ValueType, RewardModelType > &&other)=default | storm::models::sparse::Pomdp< ValueType, RewardModelType > | |
| 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::Pomdp< 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 > | |
| setIsCanonic(bool newValue=true) | storm::models::sparse::Pomdp< ValueType, RewardModelType > | |
| 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 |
| supportsParameters() const override | storm::models::sparse::Model< CValueType, CRewardModelType > | virtual |
| supportsUncertainty() const override | storm::models::sparse::Model< CValueType, CRewardModelType > | virtual |
| updateObservations(std::vector< uint32_t > &&newObservations, bool preservesCanonicity) | storm::models::sparse::Pomdp< ValueType, RewardModelType > | |
| 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 > | |
| ~Mdp()=default | storm::models::sparse::Mdp< ValueType, RewardModelType > | virtual |
| ~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