Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::models::symbolic::NondeterministicModel< Type, ValueType > Member List

This is the complete list of members for storm::models::symbolic::NondeterministicModel< 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::ModelBaseinline
as() conststorm::models::ModelBaseinline
DdTypestorm::models::symbolic::Model< Type, CValueType >static
getColumnAndNondeterminismVariables() conststorm::models::symbolic::Model< Type, CValueType >
getColumnVariables() conststorm::models::symbolic::Model< Type, CValueType >
getDeadlockStates() conststorm::models::symbolic::Model< Type, CValueType >
getExpression(std::string const &label) conststorm::models::symbolic::Model< Type, CValueType >virtual
getIllegalMask() conststorm::models::symbolic::NondeterministicModel< Type, ValueType >
getIllegalSuccessorMask() conststorm::models::symbolic::NondeterministicModel< Type, ValueType >
getInitialStates() conststorm::models::symbolic::Model< Type, CValueType >
getLabels() conststorm::models::symbolic::Model< Type, CValueType >
getLabelToBddMap() conststorm::models::symbolic::Model< Type, CValueType >protected
getLabelToExpressionMap() conststorm::models::symbolic::Model< Type, CValueType >protected
getManager() conststorm::models::symbolic::Model< Type, CValueType >
getManagerAsSharedPointer() conststorm::models::symbolic::Model< Type, CValueType >
getNondeterminismVariables() const overridestorm::models::symbolic::NondeterministicModel< Type, ValueType >virtual
getNumberOfChoices() const overridestorm::models::symbolic::NondeterministicModel< Type, ValueType >virtual
getNumberOfRewardModels() conststorm::models::symbolic::Model< Type, CValueType >
getNumberOfStates() const overridestorm::models::symbolic::Model< Type, CValueType >virtual
getNumberOfTransitions() const overridestorm::models::symbolic::Model< Type, CValueType >virtual
getParameters() conststorm::models::symbolic::Model< Type, CValueType >
getParameters() conststorm::models::symbolic::Model< Type, CValueType >
getQualitativeTransitionMatrix(bool keepNondeterminism=true) const overridestorm::models::symbolic::NondeterministicModel< Type, ValueType >virtual
getReachableStates() conststorm::models::symbolic::Model< Type, CValueType >
getRewardModel(std::string const &rewardModelName) conststorm::models::symbolic::Model< Type, CValueType >
getRewardModels()storm::models::symbolic::Model< Type, CValueType >
getRewardModels() conststorm::models::symbolic::Model< Type, CValueType >
getRowAndNondeterminismVariables() conststorm::models::symbolic::Model< Type, CValueType >
getRowColumnIdentity() conststorm::models::symbolic::Model< Type, CValueType >
getRowColumnMetaVariablePairs() conststorm::models::symbolic::Model< Type, CValueType >
getRowExpressionAdapter() conststorm::models::symbolic::Model< Type, CValueType >protected
getRowVariables() conststorm::models::symbolic::Model< Type, CValueType >
getStates(std::string const &label) conststorm::models::symbolic::Model< Type, CValueType >virtual
getStates(storm::expressions::Expression const &expression) conststorm::models::symbolic::Model< Type, CValueType >virtual
getTransitionMatrix() conststorm::models::symbolic::Model< Type, CValueType >
getTransitionMatrix()storm::models::symbolic::Model< Type, CValueType >
getType() conststorm::models::ModelBasevirtual
getUniqueRewardModel() conststorm::models::symbolic::Model< Type, CValueType >
getUniqueRewardModel()storm::models::symbolic::Model< Type, CValueType >
getUniqueRewardModelName() const overridestorm::models::symbolic::Model< Type, CValueType >virtual
hasLabel(std::string const &label) conststorm::models::symbolic::Model< Type, CValueType >virtual
hasParameters() const overridestorm::models::symbolic::Model< Type, CValueType >virtual
hasRewardModel(std::string const &rewardModelName) const overridestorm::models::symbolic::Model< Type, CValueType >virtual
hasRewardModel() conststorm::models::symbolic::Model< Type, CValueType >
hasUniqueRewardModel() const overridestorm::models::symbolic::Model< Type, CValueType >virtual
illegalMaskstorm::models::symbolic::NondeterministicModel< Type, ValueType >protected
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() const overridestorm::models::symbolic::Model< Type, CValueType >virtual
Model(Model< Type, ValueType > const &other)=defaultstorm::models::symbolic::Model< Type, CValueType >
Model(Model< Type, ValueType > &&other)=defaultstorm::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::ModelBaseinline
NondeterministicModel(NondeterministicModel< Type, ValueType > const &other)=defaultstorm::models::symbolic::NondeterministicModel< Type, ValueType >
NondeterministicModel(NondeterministicModel< Type, ValueType > &&other)=defaultstorm::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)=defaultstorm::models::symbolic::NondeterministicModel< Type, ValueType >
operator=(NondeterministicModel< Type, ValueType > &&other)=defaultstorm::models::symbolic::NondeterministicModel< Type, ValueType >
storm::models::symbolic::Model::operator=(Model< Type, ValueType > const &other)=defaultstorm::models::symbolic::Model< Type, CValueType >
storm::models::symbolic::Model::operator=(Model< Type, ValueType > &&other)=defaultstorm::models::symbolic::Model< Type, CValueType >
printDdVariableInformationToStream(std::ostream &out) const overridestorm::models::symbolic::NondeterministicModel< Type, ValueType >protectedvirtual
printModelInformationFooterToStream(std::ostream &out) conststorm::models::symbolic::Model< Type, CValueType >protected
printModelInformationHeaderToStream(std::ostream &out) conststorm::models::symbolic::Model< Type, CValueType >protected
printModelInformationToStream(std::ostream &out) const overridestorm::models::symbolic::NondeterministicModel< Type, ValueType >virtual
printRewardModelsInformationToStream(std::ostream &out) conststorm::models::symbolic::Model< Type, CValueType >protected
reduceToStateBasedRewards() overridestorm::models::symbolic::NondeterministicModel< Type, ValueType >virtual
Representationstorm::models::symbolic::Model< Type, CValueType >static
RewardModelType typedefstorm::models::symbolic::NondeterministicModel< Type, ValueType >
setTransitionMatrix(storm::dd::Add< Type, ValueType > const &transitionMatrix)storm::models::symbolic::Model< Type, CValueType >protected
supportsParameters() const overridestorm::models::symbolic::Model< Type, CValueType >virtual
toValueType() conststorm::models::symbolic::Model< Type, CValueType >
toValueType() conststorm::models::symbolic::Model< Type, CValueType >
transitionMatrixstorm::models::symbolic::Model< Type, CValueType >protected
ValueType typedefstorm::models::symbolic::Model< Type, CValueType >
writeDotToFile(std::string const &filename) conststorm::models::symbolic::Model< Type, CValueType >
~Model()=defaultstorm::models::Model< ValueType >virtual
~ModelBase()storm::models::ModelBaseinlinevirtual