Storm
A Modern Probabilistic Model Checker
|
#include <StateAnnotation.h>
Public Member Functions | |
virtual | ~StateAnnotation ()=default |
virtual std::string | getStateInfo (storm::storage::sparse::state_type const &state) const =0 |
Definition at line 10 of file StateAnnotation.h.
|
virtualdefault |
|
pure virtual |
Implemented in storm::storage::sparse::StateValuations.