Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::prism::Composition Class Referenceabstract

#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()

◆ writeToStream()

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: