Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::models::sparse::StateAnnotation Member List

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 =0storm::models::sparse::StateAnnotationpure virtual
~StateAnnotation()=defaultstorm::models::sparse::StateAnnotationvirtual