Storm
A Modern Probabilistic Model Checker
|
This is the complete list of members for storm::models::sparse::StateAnnotation, including all inherited members.
getStateInfo(storm::storage::sparse::state_type const &state) const =0 | storm::models::sparse::StateAnnotation | pure virtual |
~StateAnnotation()=default | storm::models::sparse::StateAnnotation | virtual |