storm::transformer::LabelInformation Struct Reference

Public Member Functions
	LabelInformation (std::vector< std::shared_ptr< storm::logic::Formula const > > const &formulas)

Public Attributes
std::set< std::string >	atomicLabels
std::map< std::string, storm::expressions::Expression >	expressionLabels

Detailed Description

Definition at line 19 of file SymbolicToSparseTransformer.cpp.

Constructor & Destructor Documentation

LabelInformation()

storm::transformer::LabelInformation::LabelInformation ( std::vector< std::shared_ptr< storm::logic::Formula const > > const &  formulas )

inline

Definition at line 20 of file SymbolicToSparseTransformer.cpp.

Member Data Documentation

atomicLabels

std::set<std::string> storm::transformer::LabelInformation::atomicLabels

Definition at line 36 of file SymbolicToSparseTransformer.cpp.

expressionLabels

std::map<std::string, storm::expressions::Expression> storm::transformer::LabelInformation::expressionLabels

Definition at line 37 of file SymbolicToSparseTransformer.cpp.

---

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

• src/storm/transformer/SymbolicToSparseTransformer.cpp