storm::models::GetModelRepresentation< ddType > Struct Template Reference

Detailed Description

template<storm::dd::DdType ddType>
struct storm::models::GetModelRepresentation< ddType >

Definition at line 13 of file ModelRepresentation.h.

---

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

• src/storm/models/ModelRepresentation.h