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