ParametricMode.h File Reference

#include <optional>
#include <string>

Include dependency graph for ParametricMode.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::pars
namespace	storm::pars::utility

Enumerations
enum class	storm::pars::utility::ParametricMode {   storm::pars::utility::Feasibility , storm::pars::utility::Verification , storm::pars::utility::Monotonicity , storm::pars::utility::SolutionFunction ,   storm::pars::utility::Sampling , storm::pars::utility::Partitioning }

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