Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | Static Public Member Functions | List of all members
storm::jani::CompositionInformation Class Reference

#include <CompositionInformationVisitor.h>

Public Member Functions

 CompositionInformation ()
 
void increaseAutomatonMultiplicity (std::string const &automatonName, uint64_t count=1)
 
std::map< std::string, uint64_t > const & getAutomatonToMultiplicityMap () const
 
void addMultiplicityMap (std::map< std::string, uint64_t > const &multiplicityMap)
 
void setContainsNonStandardParallelComposition (bool value)
 
bool containsNonStandardParallelComposition () const
 
void setContainsNestedParallelComposition (bool value)
 
bool containsNestedParallelComposition () const
 
void setContainsParallelComposition (bool value)
 
bool containsParallelComposition () const
 
std::string const & getActionName (uint64_t index) const
 
uint64_t getActionIndex (std::string const &name) const
 
void addNonSilentActionIndex (uint64_t index)
 
void addNonSilentActionIndices (std::set< uint64_t > const &indices)
 
bool hasNonSilentActionIndex (uint64_t index)
 
void addInputEnabledActionIndex (uint64_t index)
 
std::set< uint64_t > const & getNonSilentActionIndices () const
 
std::set< uint64_t > const & getInputEnabledActionIndices () const
 
void setMappings (std::map< uint64_t, std::string > const &indexToNameMap, std::map< std::string, uint64_t > const &nameToIndexMap)
 

Static Public Member Functions

static std::map< std::string, uint64_t > joinMultiplicityMaps (std::map< std::string, uint64_t > const &first, std::map< std::string, uint64_t > const &second)
 

Detailed Description

Definition at line 16 of file CompositionInformationVisitor.h.

Constructor & Destructor Documentation

◆ CompositionInformation()

storm::jani::CompositionInformation::CompositionInformation ( )

Definition at line 12 of file CompositionInformationVisitor.cpp.

Member Function Documentation

◆ addInputEnabledActionIndex()

void storm::jani::CompositionInformation::addInputEnabledActionIndex ( uint64_t  index)

Definition at line 81 of file CompositionInformationVisitor.cpp.

◆ addMultiplicityMap()

void storm::jani::CompositionInformation::addMultiplicityMap ( std::map< std::string, uint64_t > const &  multiplicityMap)

Definition at line 24 of file CompositionInformationVisitor.cpp.

◆ addNonSilentActionIndex()

void storm::jani::CompositionInformation::addNonSilentActionIndex ( uint64_t  index)

Definition at line 69 of file CompositionInformationVisitor.cpp.

◆ addNonSilentActionIndices()

void storm::jani::CompositionInformation::addNonSilentActionIndices ( std::set< uint64_t > const &  indices)

Definition at line 73 of file CompositionInformationVisitor.cpp.

◆ containsNestedParallelComposition()

bool storm::jani::CompositionInformation::containsNestedParallelComposition ( ) const

Definition at line 49 of file CompositionInformationVisitor.cpp.

◆ containsNonStandardParallelComposition()

bool storm::jani::CompositionInformation::containsNonStandardParallelComposition ( ) const

Definition at line 41 of file CompositionInformationVisitor.cpp.

◆ containsParallelComposition()

bool storm::jani::CompositionInformation::containsParallelComposition ( ) const

Definition at line 57 of file CompositionInformationVisitor.cpp.

◆ getActionIndex()

uint64_t storm::jani::CompositionInformation::getActionIndex ( std::string const &  name) const

Definition at line 65 of file CompositionInformationVisitor.cpp.

◆ getActionName()

std::string const & storm::jani::CompositionInformation::getActionName ( uint64_t  index) const

Definition at line 61 of file CompositionInformationVisitor.cpp.

◆ getAutomatonToMultiplicityMap()

std::map< std::string, uint64_t > const & storm::jani::CompositionInformation::getAutomatonToMultiplicityMap ( ) const

Definition at line 20 of file CompositionInformationVisitor.cpp.

◆ getInputEnabledActionIndices()

std::set< uint64_t > const & storm::jani::CompositionInformation::getInputEnabledActionIndices ( ) const

Definition at line 89 of file CompositionInformationVisitor.cpp.

◆ getNonSilentActionIndices()

std::set< uint64_t > const & storm::jani::CompositionInformation::getNonSilentActionIndices ( ) const

Definition at line 85 of file CompositionInformationVisitor.cpp.

◆ hasNonSilentActionIndex()

bool storm::jani::CompositionInformation::hasNonSilentActionIndex ( uint64_t  index)

Definition at line 77 of file CompositionInformationVisitor.cpp.

◆ increaseAutomatonMultiplicity()

void storm::jani::CompositionInformation::increaseAutomatonMultiplicity ( std::string const &  automatonName,
uint64_t  count = 1 
)

Definition at line 16 of file CompositionInformationVisitor.cpp.

◆ joinMultiplicityMaps()

std::map< std::string, uint64_t > storm::jani::CompositionInformation::joinMultiplicityMaps ( std::map< std::string, uint64_t > const &  first,
std::map< std::string, uint64_t > const &  second 
)
static

Definition at line 28 of file CompositionInformationVisitor.cpp.

◆ setContainsNestedParallelComposition()

void storm::jani::CompositionInformation::setContainsNestedParallelComposition ( bool  value)

Definition at line 45 of file CompositionInformationVisitor.cpp.

◆ setContainsNonStandardParallelComposition()

void storm::jani::CompositionInformation::setContainsNonStandardParallelComposition ( bool  value)

Definition at line 37 of file CompositionInformationVisitor.cpp.

◆ setContainsParallelComposition()

void storm::jani::CompositionInformation::setContainsParallelComposition ( bool  value)

Definition at line 53 of file CompositionInformationVisitor.cpp.

◆ setMappings()

void storm::jani::CompositionInformation::setMappings ( std::map< uint64_t, std::string > const &  indexToNameMap,
std::map< std::string, uint64_t > const &  nameToIndexMap 
)

Definition at line 93 of file CompositionInformationVisitor.cpp.

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