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 =0	storm::models::sparse::StateAnnotation	pure virtual
~StateAnnotation()=default	storm::models::sparse::StateAnnotation	virtual