storm::builder::CompositionVariables< Type, ValueType > Struct Template Reference

Collaboration diagram for storm::builder::CompositionVariables< Type, ValueType >:

Public Member Functions
	CompositionVariables (std::shared_ptr< storm::dd::DdManager< Type > > const &manager)

Public Attributes
std::shared_ptr< storm::dd::DdManager< Type > >	manager
std::set< storm::expressions::Variable >	rowMetaVariables
std::shared_ptr< std::map< storm::expressions::Variable, storm::expressions::Variable > >	variableToRowMetaVariableMap
std::shared_ptr< storm::adapters::AddExpressionAdapter< Type, ValueType > >	rowExpressionAdapter
std::set< storm::expressions::Variable >	columnMetaVariables
std::shared_ptr< std::map< storm::expressions::Variable, storm::expressions::Variable > >	variableToColumnMetaVariableMap
std::vector< std::pair< storm::expressions::Variable, storm::expressions::Variable > >	rowColumnMetaVariablePairs
std::map< std::string, std::pair< storm::expressions::Variable, storm::expressions::Variable > >	automatonToLocationDdVariableMap
std::map< uint64_t, storm::expressions::Variable >	actionVariablesMap
std::vector< storm::expressions::Variable >	localNondeterminismVariables
storm::expressions::Variable	probabilisticNondeterminismVariable
storm::dd::Bdd< Type >	probabilisticMarker
std::set< storm::expressions::Variable >	allNondeterminismVariables
std::map< storm::expressions::Variable, storm::dd::Add< Type, ValueType > >	variableToIdentityMap
std::map< storm::expressions::Variable, storm::dd::Bdd< Type > >	variableToRangeMap
std::set< storm::expressions::Variable >	allGlobalVariables
std::map< std::string, storm::dd::Add< Type, ValueType > >	automatonToIdentityMap
std::map< std::string, storm::dd::Add< Type, ValueType > >	automatonToRangeMap
storm::dd::Add< Type, ValueType >	globalVariableRanges
std::set< storm::RationalFunctionVariable >	parameters

Detailed Description

template<storm::dd::DdType Type, typename ValueType>
struct storm::builder::CompositionVariables< Type, ValueType >

Definition at line 229 of file DdJaniModelBuilder.cpp.

Constructor & Destructor Documentation

CompositionVariables()

template<storm::dd::DdType Type, typename ValueType >

storm::builder::CompositionVariables< Type, ValueType >::CompositionVariables ( std::shared_ptr< storm::dd::DdManager< Type > > const &  manager )

inline

Definition at line 230 of file DdJaniModelBuilder.cpp.

Member Data Documentation

actionVariablesMap

template<storm::dd::DdType Type, typename ValueType >

std::map<uint64_t, storm::expressions::Variable> storm::builder::CompositionVariables< Type, ValueType >::actionVariablesMap

Definition at line 256 of file DdJaniModelBuilder.cpp.

allGlobalVariables

template<storm::dd::DdType Type, typename ValueType >

std::set<storm::expressions::Variable> storm::builder::CompositionVariables< Type, ValueType >::allGlobalVariables

Definition at line 275 of file DdJaniModelBuilder.cpp.

allNondeterminismVariables

template<storm::dd::DdType Type, typename ValueType >

std::set<storm::expressions::Variable> storm::builder::CompositionVariables< Type, ValueType >::allNondeterminismVariables

Definition at line 266 of file DdJaniModelBuilder.cpp.

automatonToIdentityMap

template<storm::dd::DdType Type, typename ValueType >

std::map<std::string, storm::dd::Add<Type, ValueType> > storm::builder::CompositionVariables< Type, ValueType >::automatonToIdentityMap

Definition at line 278 of file DdJaniModelBuilder.cpp.

automatonToLocationDdVariableMap

template<storm::dd::DdType Type, typename ValueType >

std::map<std::string, std::pair<storm::expressions::Variable, storm::expressions::Variable> > storm::builder::CompositionVariables< Type, ValueType >::automatonToLocationDdVariableMap

Definition at line 253 of file DdJaniModelBuilder.cpp.

automatonToRangeMap

template<storm::dd::DdType Type, typename ValueType >

std::map<std::string, storm::dd::Add<Type, ValueType> > storm::builder::CompositionVariables< Type, ValueType >::automatonToRangeMap

Definition at line 281 of file DdJaniModelBuilder.cpp.

columnMetaVariables

template<storm::dd::DdType Type, typename ValueType >

std::set<storm::expressions::Variable> storm::builder::CompositionVariables< Type, ValueType >::columnMetaVariables

Definition at line 246 of file DdJaniModelBuilder.cpp.

globalVariableRanges

template<storm::dd::DdType Type, typename ValueType >

storm::dd::Add<Type, ValueType> storm::builder::CompositionVariables< Type, ValueType >::globalVariableRanges

Definition at line 284 of file DdJaniModelBuilder.cpp.

localNondeterminismVariables

template<storm::dd::DdType Type, typename ValueType >

std::vector<storm::expressions::Variable> storm::builder::CompositionVariables< Type, ValueType >::localNondeterminismVariables

Definition at line 259 of file DdJaniModelBuilder.cpp.

manager

template<storm::dd::DdType Type, typename ValueType >

std::shared_ptr<storm::dd::DdManager<Type> > storm::builder::CompositionVariables< Type, ValueType >::manager

Definition at line 238 of file DdJaniModelBuilder.cpp.

parameters

template<storm::dd::DdType Type, typename ValueType >

std::set<storm::RationalFunctionVariable> storm::builder::CompositionVariables< Type, ValueType >::parameters

Definition at line 287 of file DdJaniModelBuilder.cpp.

probabilisticMarker

template<storm::dd::DdType Type, typename ValueType >

storm::dd::Bdd<Type> storm::builder::CompositionVariables< Type, ValueType >::probabilisticMarker

Definition at line 263 of file DdJaniModelBuilder.cpp.

probabilisticNondeterminismVariable

template<storm::dd::DdType Type, typename ValueType >

storm::expressions::Variable storm::builder::CompositionVariables< Type, ValueType >::probabilisticNondeterminismVariable

Definition at line 262 of file DdJaniModelBuilder.cpp.

rowColumnMetaVariablePairs

template<storm::dd::DdType Type, typename ValueType >

std::vector<std::pair<storm::expressions::Variable, storm::expressions::Variable> > storm::builder::CompositionVariables< Type, ValueType >::rowColumnMetaVariablePairs

Definition at line 250 of file DdJaniModelBuilder.cpp.

rowExpressionAdapter

template<storm::dd::DdType Type, typename ValueType >

std::shared_ptr<storm::adapters::AddExpressionAdapter<Type, ValueType> > storm::builder::CompositionVariables< Type, ValueType >::rowExpressionAdapter

Definition at line 243 of file DdJaniModelBuilder.cpp.

rowMetaVariables

template<storm::dd::DdType Type, typename ValueType >

std::set<storm::expressions::Variable> storm::builder::CompositionVariables< Type, ValueType >::rowMetaVariables

Definition at line 241 of file DdJaniModelBuilder.cpp.

variableToColumnMetaVariableMap

template<storm::dd::DdType Type, typename ValueType >

std::shared_ptr<std::map<storm::expressions::Variable, storm::expressions::Variable> > storm::builder::CompositionVariables< Type, ValueType >::variableToColumnMetaVariableMap

Definition at line 247 of file DdJaniModelBuilder.cpp.

variableToIdentityMap

template<storm::dd::DdType Type, typename ValueType >

std::map<storm::expressions::Variable, storm::dd::Add<Type, ValueType> > storm::builder::CompositionVariables< Type, ValueType >::variableToIdentityMap

Definition at line 269 of file DdJaniModelBuilder.cpp.

variableToRangeMap

template<storm::dd::DdType Type, typename ValueType >

std::map<storm::expressions::Variable, storm::dd::Bdd<Type> > storm::builder::CompositionVariables< Type, ValueType >::variableToRangeMap

Definition at line 272 of file DdJaniModelBuilder.cpp.

variableToRowMetaVariableMap

template<storm::dd::DdType Type, typename ValueType >

std::shared_ptr<std::map<storm::expressions::Variable, storm::expressions::Variable> > storm::builder::CompositionVariables< Type, ValueType >::variableToRowMetaVariableMap

Definition at line 242 of file DdJaniModelBuilder.cpp.

---

The documentation for this struct was generated from the following file:

• src/storm/builder/DdJaniModelBuilder.cpp