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

#include <HidingComposition.h>

Inheritance diagram for storm::prism::HidingComposition:
Inheritance graph
[legend]
Collaboration diagram for storm::prism::HidingComposition:
Collaboration graph
[legend]

Public Member Functions

 HidingComposition (std::shared_ptr< Composition > const &sub, std::set< std::string > const &actionsToHide)
 
virtual boost::any accept (CompositionVisitor &visitor, boost::any const &data) const override
 
Composition const & getSubcomposition () const
 
std::set< std::string > const & getActionsToHide () const
 
- Public Member Functions inherited from storm::prism::Composition
 Composition ()=default
 
virtual ~Composition ()=default
 

Protected Member Functions

virtual void writeToStream (std::ostream &stream) const override
 

Detailed Description

Definition at line 12 of file HidingComposition.h.

Constructor & Destructor Documentation

◆ HidingComposition()

storm::prism::HidingComposition::HidingComposition ( std::shared_ptr< Composition > const &  sub,
std::set< std::string > const &  actionsToHide 
)

Definition at line 8 of file HidingComposition.cpp.

Member Function Documentation

◆ accept()

boost::any storm::prism::HidingComposition::accept ( CompositionVisitor &  visitor,
boost::any const &  data 
) const
overridevirtual

Implements storm::prism::Composition.

Definition at line 13 of file HidingComposition.cpp.

◆ getActionsToHide()

std::set< std::string > const & storm::prism::HidingComposition::getActionsToHide ( ) const

Definition at line 21 of file HidingComposition.cpp.

◆ getSubcomposition()

Composition const & storm::prism::HidingComposition::getSubcomposition ( ) const

Definition at line 17 of file HidingComposition.cpp.

◆ writeToStream()

void storm::prism::HidingComposition::writeToStream ( std::ostream &  stream) const
overrideprotectedvirtual

Implements storm::prism::Composition.

Definition at line 25 of file HidingComposition.cpp.

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