Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::jani::CompositionInformation Member List

This is the complete list of members for storm::jani::CompositionInformation, including all inherited members.

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