#include <Composition.h>

Inheritance diagram for storm::jani::Composition:

[legend]

Public Member Functions
virtual	~Composition ()=default
virtual boost::any	accept (CompositionVisitor &visitor, boost::any const &data) const =0
virtual void	write (std::ostream &stream) const =0
virtual bool	isAutomatonComposition () const
AutomatonComposition const &	asAutomatonComposition () const
virtual bool	isParallelComposition () const
ParallelComposition const &	asParallelComposition () const

Friends
std::ostream &	operator<< (std::ostream &stream, Composition const &composition)

Detailed Description

Definition at line 10 of file Composition.h.

Constructor & Destructor Documentation

◆ ~Composition()

virtual storm::jani::Composition::~Composition ( )

virtualdefault

Member Function Documentation

◆ accept()

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

pure virtual

Implemented in storm::jani::AutomatonComposition, and storm::jani::ParallelComposition.

◆ asAutomatonComposition()

AutomatonComposition const & storm::jani::Composition::asAutomatonComposition ( ) const

Definition at line 17 of file Composition.cpp.

◆ asParallelComposition()

ParallelComposition const & storm::jani::Composition::asParallelComposition ( ) const

Definition at line 21 of file Composition.cpp.

◆ isAutomatonComposition()

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

virtual

Reimplemented in storm::jani::AutomatonComposition.

Definition at line 9 of file Composition.cpp.

◆ isParallelComposition()

bool storm::jani::Composition::isParallelComposition ( ) const

virtual

Reimplemented in storm::jani::ParallelComposition.

Definition at line 13 of file Composition.cpp.

◆ write()

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

pure virtual

Implemented in storm::jani::AutomatonComposition, and storm::jani::ParallelComposition.

◆ operator<<

std::ostream & operator<<	(	std::ostream &	stream,
		Composition const &	composition )

friend

Definition at line 25 of file Composition.cpp.

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

src/storm/storage/jani/Composition.h
src/storm/storage/jani/Composition.cpp

Public Member Functions

Friends