storm::prism::Composition Class Reference

#include <Composition.h>

Inheritance diagram for storm::prism::Composition:

Public Member Functions
	Composition ()=default
virtual	~Composition ()=default
virtual boost::any	accept (CompositionVisitor &visitor, boost::any const &data) const =0

Protected Member Functions
virtual void	writeToStream (std::ostream &stream) const =0

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

Detailed Description

Definition at line 10 of file Composition.h.

Constructor & Destructor Documentation

Composition()

storm::prism::Composition::Composition ( )

default

~Composition()

virtual storm::prism::Composition::~Composition ( )

virtualdefault

Member Function Documentation

accept()

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

pure virtual

Implemented in storm::prism::HidingComposition, storm::prism::InterleavingParallelComposition, storm::prism::ModuleComposition, storm::prism::RenamingComposition, storm::prism::RestrictedParallelComposition, and storm::prism::SynchronizingParallelComposition.

writeToStream()

virtual void storm::prism::Composition::writeToStream ( std::ostream &  stream ) const

protectedpure virtual

Implemented in storm::prism::HidingComposition, storm::prism::InterleavingParallelComposition, storm::prism::ModuleComposition, storm::prism::RenamingComposition, storm::prism::RestrictedParallelComposition, and storm::prism::SynchronizingParallelComposition.

Friends And Related Symbol Documentation

operator<<

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

friend

Definition at line 6 of file Composition.cpp.

---

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

• src/storm/storage/prism/Composition.h