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

#include <Composition.h>

Inheritance diagram for storm::jani::Composition:
Inheritance graph
[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.

Friends And Related Symbol Documentation

◆ 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: