storm::jani::AutomatonComposition Class Reference

#include <AutomatonComposition.h>

Inheritance diagram for storm::jani::AutomatonComposition:

Collaboration diagram for storm::jani::AutomatonComposition:

Public Member Functions
	AutomatonComposition (std::string const &name, std::set< std::string > const &inputEnabledActions={})
	Creates a reference to an automaton to be used in a composition.
std::string const &	getAutomatonName () const
	Retrieves the name of the automaton this composition element refers to.
virtual boost::any	accept (CompositionVisitor &visitor, boost::any const &data) const override
virtual void	write (std::ostream &stream) const override
std::set< std::string > const &	getInputEnabledActions () const
virtual bool	isAutomatonComposition () const override
Public Member Functions inherited from storm::jani::Composition
virtual	~Composition ()=default
AutomatonComposition const &	asAutomatonComposition () const
virtual bool	isParallelComposition () const
ParallelComposition const &	asParallelComposition () const

Detailed Description

Definition at line 10 of file AutomatonComposition.h.

Constructor & Destructor Documentation

AutomatonComposition()

storm::jani::AutomatonComposition::AutomatonComposition	(	std::string const &	name,
		std::set< std::string > const &	inputEnabledActions = {}
	)

Creates a reference to an automaton to be used in a composition.

Definition at line 6 of file AutomatonComposition.cpp.

Member Function Documentation

accept()

boost::any storm::jani::AutomatonComposition::accept ( CompositionVisitor &  visitor, boost::any const &  data  ) const

overridevirtual

Implements storm::jani::Composition.

Definition at line 11 of file AutomatonComposition.cpp.

getAutomatonName()

std::string const & storm::jani::AutomatonComposition::getAutomatonName

(

)

const

Retrieves the name of the automaton this composition element refers to.

Definition at line 15 of file AutomatonComposition.cpp.

getInputEnabledActions()

std::set< std::string > const & storm::jani::AutomatonComposition::getInputEnabledActions

(

)

const

Definition at line 19 of file AutomatonComposition.cpp.

isAutomatonComposition()

bool storm::jani::AutomatonComposition::isAutomatonComposition ( ) const

overridevirtual

Reimplemented from storm::jani::Composition.

Definition at line 23 of file AutomatonComposition.cpp.

write()

void storm::jani::AutomatonComposition::write ( std::ostream &  stream ) const

overridevirtual

Implements storm::jani::Composition.

Definition at line 27 of file AutomatonComposition.cpp.

---

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

• src/storm/storage/jani/AutomatonComposition.h
• src/storm/storage/jani/AutomatonComposition.cpp