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:

• src/storm/storage/jani/visitor/CompositionInformationVisitor.h
• src/storm/storage/jani/visitor/CompositionInformationVisitor.cpp