storm::models::symbolic::Mdp< Type, ValueType > Member List

This is the complete list of members for storm::models::symbolic::Mdp< Type, ValueType >, including all inherited members.

addParameters(std::set< storm::RationalFunctionVariable > const &parameters)	storm::models::symbolic::Model< Type, CValueType >
addParameters(std::set< storm::RationalFunctionVariable > const &parameters)	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 >
getDdType() const override	storm::models::symbolic::Model< Type, CValueType >	virtual
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 override	storm::models::symbolic::Model< Type, CValueType >	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
Mdp(Mdp< Type, ValueType > const &other)=default	storm::models::symbolic::Mdp< Type, ValueType >
Mdp(Mdp< Type, ValueType > &&other)=default	storm::models::symbolic::Mdp< Type, ValueType >
Mdp(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::Mdp< Type, ValueType >
Mdp(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::Mdp< Type, ValueType >
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=(Mdp< Type, ValueType > const &other)=default	storm::models::symbolic::Mdp< Type, ValueType >
operator=(Mdp< Type, ValueType > &&other)=default	storm::models::symbolic::Mdp< Type, ValueType >
storm::models::symbolic::NondeterministicModel::operator=(NondeterministicModel< Type, ValueType > const &other)=default	storm::models::symbolic::NondeterministicModel< Type, ValueType >
storm::models::symbolic::NondeterministicModel::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::Mdp< 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
supportsUncertainty() const	storm::models::ModelBase	virtual
toValueType() const	storm::models::symbolic::Mdp< Type, ValueType >
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