storm::bisimulation::PreservationInformation Struct Reference

#include <PreservationInformation.h>

Public Attributes
std::set< std::string >	preservedStateLabels
std::set< std::string >	preservedChoiceLabels
std::set< std::string >	preservedRewardModels

Detailed Description

Definition at line 7 of file PreservationInformation.h.

Member Data Documentation

preservedChoiceLabels

std::set<std::string> storm::bisimulation::PreservationInformation::preservedChoiceLabels

Definition at line 8 of file PreservationInformation.h.

preservedRewardModels

std::set<std::string> storm::bisimulation::PreservationInformation::preservedRewardModels

Definition at line 8 of file PreservationInformation.h.

preservedStateLabels

std::set<std::string> storm::bisimulation::PreservationInformation::preservedStateLabels

Definition at line 8 of file PreservationInformation.h.

---

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

• src/storm/transformer/bisimulation/PreservationInformation.h