storm::models::sparse::StateAnnotation Class Reference

#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

Implemented in storm::storage::sparse::StateValuations.

---

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

• src/storm/models/sparse/StateAnnotation.h