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

#include <StateAnnotation.h>

Inheritance diagram for storm::models::sparse::StateAnnotation:

Public Member Functions

virtual ~StateAnnotation ()=default
 
virtual std::string getStateInfo (storm::storage::sparse::state_type const &state) const =0
 

Detailed Description

Definition at line 10 of file StateAnnotation.h.

Constructor & Destructor Documentation

◆ ~StateAnnotation()

virtual storm::models::sparse::StateAnnotation::~StateAnnotation ( )
virtualdefault

Member Function Documentation

◆ getStateInfo()

virtual std::string storm::models::sparse::StateAnnotation::getStateInfo ( storm::storage::sparse::state_type const &  state) const
pure virtual

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