| addParameters(std::set< storm::RationalFunctionVariable > const ¶meters) | storm::models::symbolic::Model< Type, CValueType > | |
| addParameters(std::set< storm::RationalFunctionVariable > const ¶meters) | storm::models::symbolic::Model< Type, CValueType > | |
| as() | storm::models::ModelBase | inline |
| as() const | storm::models::ModelBase | inline |
| DdType | storm::models::symbolic::Model< Type, CValueType > | static |
| getColumnAndNondeterminismVariables() const | storm::models::symbolic::Model< Type, CValueType > | |
| getColumnVariables() const | storm::models::symbolic::Model< Type, CValueType > | |
| getDeadlockStates() const | storm::models::symbolic::Model< Type, CValueType > | |
| getExpression(std::string const &label) const | storm::models::symbolic::Model< Type, CValueType > | virtual |
| getIllegalMask() const | storm::models::symbolic::NondeterministicModel< Type, ValueType > | |
| getIllegalSuccessorMask() const | storm::models::symbolic::NondeterministicModel< Type, ValueType > | |
| getInitialStates() const | storm::models::symbolic::Model< Type, CValueType > | |
| getLabels() const | storm::models::symbolic::Model< Type, CValueType > | |
| getLabelToBddMap() const | storm::models::symbolic::Model< Type, CValueType > | protected |
| getLabelToExpressionMap() const | storm::models::symbolic::Model< Type, CValueType > | protected |
| getManager() const | storm::models::symbolic::Model< Type, CValueType > | |
| getManagerAsSharedPointer() const | storm::models::symbolic::Model< Type, CValueType > | |
| getNondeterminismVariables() const override | storm::models::symbolic::NondeterministicModel< Type, ValueType > | virtual |
| getNumberOfChoices() const override | storm::models::symbolic::NondeterministicModel< Type, ValueType > | virtual |
| getNumberOfRewardModels() const | storm::models::symbolic::Model< Type, CValueType > | |
| getNumberOfStates() const override | storm::models::symbolic::Model< Type, CValueType > | virtual |
| getNumberOfTransitions() const override | storm::models::symbolic::Model< Type, CValueType > | virtual |
| getParameters() const | storm::models::symbolic::Model< Type, CValueType > | |
| getParameters() const | storm::models::symbolic::Model< Type, CValueType > | |
| getQualitativeTransitionMatrix(bool keepNondeterminism=true) const override | storm::models::symbolic::NondeterministicModel< Type, ValueType > | virtual |
| getReachableStates() const | storm::models::symbolic::Model< Type, CValueType > | |
| getRewardModel(std::string const &rewardModelName) const | storm::models::symbolic::Model< Type, CValueType > | |
| getRewardModels() | storm::models::symbolic::Model< Type, CValueType > | |
| getRewardModels() const | storm::models::symbolic::Model< Type, CValueType > | |
| getRowAndNondeterminismVariables() const | storm::models::symbolic::Model< Type, CValueType > | |
| getRowColumnIdentity() const | storm::models::symbolic::Model< Type, CValueType > | |
| getRowColumnMetaVariablePairs() const | storm::models::symbolic::Model< Type, CValueType > | |
| getRowExpressionAdapter() const | storm::models::symbolic::Model< Type, CValueType > | protected |
| getRowVariables() const | storm::models::symbolic::Model< Type, CValueType > | |
| getStates(std::string const &label) const | storm::models::symbolic::Model< Type, CValueType > | virtual |
| getStates(storm::expressions::Expression const &expression) const | storm::models::symbolic::Model< Type, CValueType > | virtual |
| getTransitionMatrix() const | storm::models::symbolic::Model< Type, CValueType > | |
| getTransitionMatrix() | storm::models::symbolic::Model< Type, CValueType > | |
| getType() const | storm::models::ModelBase | virtual |
| getUniqueRewardModel() const | storm::models::symbolic::Model< Type, CValueType > | |
| getUniqueRewardModel() | storm::models::symbolic::Model< Type, CValueType > | |
| getUniqueRewardModelName() const override | storm::models::symbolic::Model< Type, CValueType > | virtual |
| hasLabel(std::string const &label) const | storm::models::symbolic::Model< Type, CValueType > | virtual |
| hasParameters() const override | storm::models::symbolic::Model< Type, CValueType > | virtual |
| hasRewardModel(std::string const &rewardModelName) const override | storm::models::symbolic::Model< Type, CValueType > | virtual |
| hasRewardModel() const | storm::models::symbolic::Model< Type, CValueType > | |
| hasUniqueRewardModel() const override | storm::models::symbolic::Model< Type, CValueType > | virtual |
| illegalMask | storm::models::symbolic::NondeterministicModel< Type, ValueType > | protected |
| isDiscreteTimeModel() const | storm::models::ModelBase | |
| isExact() const | storm::models::ModelBase | virtual |
| isNondeterministicModel() const | storm::models::ModelBase | |
| isOfType(storm::models::ModelType const &modelType) const | storm::models::ModelBase | |
| isPartiallyObservable() const | storm::models::ModelBase | virtual |
| isSparseModel() const | storm::models::ModelBase | virtual |
| isSymbolicModel() const override | storm::models::symbolic::Model< Type, CValueType > | virtual |
| Model(Model< Type, ValueType > const &other)=default | storm::models::symbolic::Model< Type, CValueType > | |
| Model(Model< Type, ValueType > &&other)=default | storm::models::symbolic::Model< Type, CValueType > | |
| Model(storm::models::ModelType const &modelType, std::shared_ptr< storm::dd::DdManager< Type > > manager, storm::dd::Bdd< Type > reachableStates, storm::dd::Bdd< Type > initialStates, storm::dd::Bdd< Type > deadlockStates, storm::dd::Add< Type, ValueType > transitionMatrix, std::set< storm::expressions::Variable > const &rowVariables, std::shared_ptr< storm::adapters::AddExpressionAdapter< Type, ValueType > > rowExpressionAdapter, std::set< storm::expressions::Variable > const &columnVariables, std::vector< std::pair< storm::expressions::Variable, storm::expressions::Variable > > const &rowColumnMetaVariablePairs, std::map< std::string, storm::expressions::Expression > labelToExpressionMap=std::map< std::string, storm::expressions::Expression >(), std::unordered_map< std::string, RewardModelType > const &rewardModels=std::unordered_map< std::string, RewardModelType >()) | storm::models::symbolic::Model< Type, CValueType > | |
| Model(storm::models::ModelType const &modelType, std::shared_ptr< storm::dd::DdManager< Type > > manager, storm::dd::Bdd< Type > reachableStates, storm::dd::Bdd< Type > initialStates, storm::dd::Bdd< Type > deadlockStates, storm::dd::Add< Type, ValueType > transitionMatrix, std::set< storm::expressions::Variable > const &rowVariables, std::set< storm::expressions::Variable > const &columnVariables, std::vector< std::pair< storm::expressions::Variable, storm::expressions::Variable > > const &rowColumnMetaVariablePairs, std::map< std::string, storm::dd::Bdd< Type > > labelToBddMap=std::map< std::string, storm::dd::Bdd< Type > >(), std::unordered_map< std::string, RewardModelType > const &rewardModels=std::unordered_map< std::string, RewardModelType >()) | storm::models::symbolic::Model< Type, CValueType > | |
| storm::models::Model::Model(ModelType const &modelType) | storm::models::Model< ValueType > | inline |
| ModelBase(ModelType const &modelType) | storm::models::ModelBase | inline |
| NondeterministicModel(NondeterministicModel< Type, ValueType > const &other)=default | storm::models::symbolic::NondeterministicModel< Type, ValueType > | |
| NondeterministicModel(NondeterministicModel< Type, ValueType > &&other)=default | storm::models::symbolic::NondeterministicModel< Type, ValueType > | |
| NondeterministicModel(storm::models::ModelType const &modelType, std::shared_ptr< storm::dd::DdManager< Type > > manager, storm::dd::Bdd< Type > reachableStates, storm::dd::Bdd< Type > initialStates, storm::dd::Bdd< Type > deadlockStates, storm::dd::Add< Type, ValueType > transitionMatrix, std::set< storm::expressions::Variable > const &rowVariables, std::shared_ptr< storm::adapters::AddExpressionAdapter< Type, ValueType > > rowExpressionAdapter, std::set< storm::expressions::Variable > const &columnVariables, std::vector< std::pair< storm::expressions::Variable, storm::expressions::Variable > > const &rowColumnMetaVariablePairs, std::set< storm::expressions::Variable > const &nondeterminismVariables, std::map< std::string, storm::expressions::Expression > labelToExpressionMap=std::map< std::string, storm::expressions::Expression >(), std::unordered_map< std::string, RewardModelType > const &rewardModels=std::unordered_map< std::string, RewardModelType >()) | storm::models::symbolic::NondeterministicModel< Type, ValueType > | |
| NondeterministicModel(storm::models::ModelType const &modelType, std::shared_ptr< storm::dd::DdManager< Type > > manager, storm::dd::Bdd< Type > reachableStates, storm::dd::Bdd< Type > initialStates, storm::dd::Bdd< Type > deadlockStates, storm::dd::Add< Type, ValueType > transitionMatrix, std::set< storm::expressions::Variable > const &rowVariables, std::set< storm::expressions::Variable > const &columnVariables, std::vector< std::pair< storm::expressions::Variable, storm::expressions::Variable > > const &rowColumnMetaVariablePairs, std::set< storm::expressions::Variable > const &nondeterminismVariables, std::map< std::string, storm::dd::Bdd< Type > > labelToBddMap=std::map< std::string, storm::dd::Bdd< Type > >(), std::unordered_map< std::string, RewardModelType > const &rewardModels=std::unordered_map< std::string, RewardModelType >()) | storm::models::symbolic::NondeterministicModel< Type, ValueType > | |
| operator=(NondeterministicModel< Type, ValueType > const &other)=default | storm::models::symbolic::NondeterministicModel< Type, ValueType > | |
| operator=(NondeterministicModel< Type, ValueType > &&other)=default | storm::models::symbolic::NondeterministicModel< Type, ValueType > | |
| storm::models::symbolic::Model::operator=(Model< Type, ValueType > const &other)=default | storm::models::symbolic::Model< Type, CValueType > | |
| storm::models::symbolic::Model::operator=(Model< Type, ValueType > &&other)=default | storm::models::symbolic::Model< Type, CValueType > | |
| printDdVariableInformationToStream(std::ostream &out) const override | storm::models::symbolic::NondeterministicModel< Type, ValueType > | protectedvirtual |
| printModelInformationFooterToStream(std::ostream &out) const | storm::models::symbolic::Model< Type, CValueType > | protected |
| printModelInformationHeaderToStream(std::ostream &out) const | storm::models::symbolic::Model< Type, CValueType > | protected |
| printModelInformationToStream(std::ostream &out) const override | storm::models::symbolic::NondeterministicModel< Type, ValueType > | virtual |
| printRewardModelsInformationToStream(std::ostream &out) const | storm::models::symbolic::Model< Type, CValueType > | protected |
| reduceToStateBasedRewards() override | storm::models::symbolic::NondeterministicModel< Type, ValueType > | virtual |
| Representation | storm::models::symbolic::Model< Type, CValueType > | static |
| RewardModelType typedef | storm::models::symbolic::NondeterministicModel< Type, ValueType > | |
| setTransitionMatrix(storm::dd::Add< Type, ValueType > const &transitionMatrix) | storm::models::symbolic::Model< Type, CValueType > | protected |
| supportsParameters() const override | storm::models::symbolic::Model< Type, CValueType > | virtual |
| toValueType() const | storm::models::symbolic::Model< Type, CValueType > | |
| toValueType() const | storm::models::symbolic::Model< Type, CValueType > | |
| transitionMatrix | storm::models::symbolic::Model< Type, CValueType > | protected |
| ValueType typedef | storm::models::symbolic::Model< Type, CValueType > | |
| writeDotToFile(std::string const &filename) const | storm::models::symbolic::Model< Type, CValueType > | |
| ~Model()=default | storm::models::Model< ValueType > | virtual |
| ~ModelBase() | storm::models::ModelBase | inlinevirtual |
1.9.8