ParametricMode.h

Go to the documentation of this file.

#pragma once
#include <optional>
#include <string>
 
namespace storm::pars::utility {
enum class ParametricMode { Feasibility, Verification, Monotonicity, SolutionFunction, Sampling, Partitioning };
 
std::optional<ParametricMode> getParametricModeFromString(std::string const&);
}  // namespace storm::pars::utility