storm::builder::CombinedEdgesSystemComposer< Type, ValueType > Class Template Reference

Inheritance diagram for storm::builder::CombinedEdgesSystemComposer< Type, ValueType >:

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

Classes
struct	ActionDd
struct	ActionIdentification
struct	ActionIdentificationHash
struct	ActionInstantiation
struct	ActionInstantiationHash
struct	AutomatonDd
struct	EdgeDd

Public Types
typedef std::map< uint64_t, std::vector< ActionInstantiation > >	ActionInstantiations

Public Member Functions
	CombinedEdgesSystemComposer (storm::jani::Model const &model, storm::jani::CompositionInformation const &actionInformation, CompositionVariables< Type, ValueType > const &variables, std::vector< storm::expressions::Variable > const &transientVariables, bool applyMaximumProgress)
ComposerResult< Type, ValueType >	compose () override
boost::any	visit (storm::jani::AutomatonComposition const &composition, boost::any const &data) override
boost::any	visit (storm::jani::ParallelComposition const &composition, boost::any const &data) override
Public Member Functions inherited from storm::builder::SystemComposer< Type, ValueType >
	SystemComposer (storm::jani::Model const &model, CompositionVariables< Type, ValueType > const &variables, std::vector< storm::expressions::Variable > const &transientVariables)
Public Member Functions inherited from storm::jani::CompositionVisitor
virtual	~CompositionVisitor ()=default

Public Attributes
storm::jani::CompositionInformation const &	actionInformation
bool	applyMaximumProgress

Additional Inherited Members
Protected Attributes inherited from storm::builder::SystemComposer< Type, ValueType >
storm::jani::Model const &	model
CompositionVariables< Type, ValueType > const &	variables
std::vector< storm::expressions::Variable >	transientVariables

Detailed Description

template<storm::dd::DdType Type, typename ValueType>
class storm::builder::CombinedEdgesSystemComposer< Type, ValueType >

Definition at line 684 of file DdJaniModelBuilder.cpp.

Member Typedef Documentation

ActionInstantiations

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

typedef std::map<uint64_t, std::vector<ActionInstantiation> > storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionInstantiations

Definition at line 1022 of file DdJaniModelBuilder.cpp.

Constructor & Destructor Documentation

CombinedEdgesSystemComposer()

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

storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::CombinedEdgesSystemComposer ( storm::jani::Model const &  model, storm::jani::CompositionInformation const &  actionInformation, CompositionVariables< Type, ValueType > const &  variables, std::vector< storm::expressions::Variable > const &  transientVariables, bool  applyMaximumProgress  )

inline

Definition at line 946 of file DdJaniModelBuilder.cpp.

Member Function Documentation

compose()

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

ComposerResult< Type, ValueType > storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::compose ( )

inlineoverridevirtual

Implements storm::builder::SystemComposer< Type, ValueType >.

Definition at line 958 of file DdJaniModelBuilder.cpp.

visit() [1/2]

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

boost::any storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::visit ( storm::jani::AutomatonComposition const &  composition, boost::any const &  data  )

inlineoverridevirtual

Implements storm::jani::CompositionVisitor.

Definition at line 1024 of file DdJaniModelBuilder.cpp.

visit() [2/2]

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

boost::any storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::visit ( storm::jani::ParallelComposition const &  composition, boost::any const &  data  )

inlineoverridevirtual

Implements storm::jani::CompositionVisitor.

Definition at line 1048 of file DdJaniModelBuilder.cpp.

Member Data Documentation

actionInformation

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

storm::jani::CompositionInformation const& storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::actionInformation

Definition at line 955 of file DdJaniModelBuilder.cpp.

applyMaximumProgress

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

bool storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::applyMaximumProgress

Definition at line 956 of file DdJaniModelBuilder.cpp.

---

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

• src/storm/builder/DdJaniModelBuilder.cpp