Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
UncertaintyResolutionMode.h
Go to the documentation of this file.
1#pragma once
2
3#include <iostream>
7
8namespace storm {
9namespace solver {
10// An enumeration of all resolution modes to resolve the uncertainty (e.g. intervals) by nature.
12
13// An enumeration of all resolution modes, available through the CLI, to resolve the uncertainty (e.g. intervals) by nature.
15
16std::ostream& operator<<(std::ostream& out, UncertaintyResolutionMode mode);
17bool isSet(UncertaintyResolutionMode uncertaintyResolutionMode);
18bool isUncertaintyResolvedRobust(UncertaintyResolutionMode uncertaintyResolutionMode, OptimizationDirection optimizationDirection);
20
21} // namespace solver
22
25} // namespace storm
OptimizationDirection convert(OptimizationDirectionSetting s)
bool isSet(OptimizationDirectionSetting s)
bool isUncertaintyResolvedRobust(UncertaintyResolutionMode uncertaintyResolutionMode, OptimizationDirection optimizationDirection)