storm::pars::utility Namespace Reference

Enumerations
enum class	ParametricMode {   Feasibility , Verification , Monotonicity , SolutionFunction ,   Sampling , Partitioning }

Functions
std::optional< ParametricMode >	getParametricModeFromString (std::string const &input)

Enumeration Type Documentation

ParametricMode

enum class storm::pars::utility::ParametricMode

strong

Enumerator
Feasibility
Verification
Monotonicity
SolutionFunction
Sampling
Partitioning

Definition at line 6 of file ParametricMode.h.

Function Documentation

getParametricModeFromString()

std::optional< ParametricMode > storm::pars::utility::getParametricModeFromString

(

std::string const &

input

)

Definition at line 5 of file ParametricMode.cpp.