storm::generator::ActiveCommandData Struct Reference

Collaboration diagram for storm::generator::ActiveCommandData:

Public Member Functions
	ActiveCommandData (storm::prism::Module const *modulePtr, std::set< uint_fast64_t > const *commandIndicesPtr, typename std::set< uint_fast64_t >::const_iterator currentCommandIndexIt)

Public Attributes
storm::prism::Module const *	modulePtr
std::set< uint_fast64_t > const *	commandIndicesPtr
std::set< uint_fast64_t >::const_iterator	currentCommandIndexIt

Detailed Description

Definition at line 499 of file PrismNextStateGenerator.cpp.

Constructor & Destructor Documentation

ActiveCommandData()

storm::generator::ActiveCommandData::ActiveCommandData ( storm::prism::Module const *  modulePtr, std::set< uint_fast64_t > const *  commandIndicesPtr, typename std::set< uint_fast64_t >::const_iterator  currentCommandIndexIt  )

inline

Definition at line 500 of file PrismNextStateGenerator.cpp.

Member Data Documentation

commandIndicesPtr

std::set<uint_fast64_t> const* storm::generator::ActiveCommandData::commandIndicesPtr

Definition at line 506 of file PrismNextStateGenerator.cpp.

currentCommandIndexIt

std::set<uint_fast64_t>::const_iterator storm::generator::ActiveCommandData::currentCommandIndexIt

Definition at line 507 of file PrismNextStateGenerator.cpp.

modulePtr

storm::prism::Module const* storm::generator::ActiveCommandData::modulePtr

Definition at line 505 of file PrismNextStateGenerator.cpp.

---

The documentation for this struct was generated from the following file:

• src/storm/generator/PrismNextStateGenerator.cpp