Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
ExplicitQualitativeGameResultMinMax.cpp
Go to the documentation of this file.
2
3namespace storm::gbar {
4namespace abstraction {
5
7 if (dir == storm::OptimizationDirection::Minimize) {
8 return prob0Min;
9 } else {
10 return prob0Max;
11 }
12}
13
15 if (dir == storm::OptimizationDirection::Minimize) {
16 return prob1Min;
17 } else {
18 return prob1Max;
19 }
20}
21
23 if (dir == storm::OptimizationDirection::Minimize) {
24 return prob0Min;
25 } else {
26 return prob0Max;
27 }
28}
29
31 if (dir == storm::OptimizationDirection::Minimize) {
32 return prob1Min;
33 } else {
34 return prob1Max;
35 }
36}
37} // namespace abstraction
38} // namespace storm::gbar
virtual ExplicitQualitativeGameResult const & getProb0(storm::OptimizationDirection const &dir) const override
virtual ExplicitQualitativeGameResult const & getProb1(storm::OptimizationDirection const &dir) const override