Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::jani::AutomatonComposition Class Reference

#include <AutomatonComposition.h>

Inheritance diagram for storm::jani::AutomatonComposition:
Inheritance graph
[legend]
Collaboration diagram for storm::jani::AutomatonComposition:
Collaboration graph
[legend]

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: