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 17 of file AutomaticSettings.cpp.

Function Documentation

getPropertyType()

PropertyType storm::utility::pfinternal::getPropertyType

(

storm::jani::Property const &

property

)

Definition at line 19 of file AutomaticSettings.cpp.