storm::utility::pfinternal Namespace Reference

Classes
struct	Features

Enumerations
enum class	PropertyType { Bounded , Unbounded , LongRun }

Functions
PropertyType	getPropertyType (storm::jani::Property const &property)

Enumeration Type Documentation

PropertyType

enum class storm::utility::pfinternal::PropertyType

strong

Enumerator
Bounded
Unbounded
LongRun

Definition at line 18 of file AutomaticSettings.cpp.

Function Documentation

getPropertyType()

PropertyType storm::utility::pfinternal::getPropertyType

(

storm::jani::Property const &

property

)

Definition at line 20 of file AutomaticSettings.cpp.