Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
SymbolicQualitativeGameResultMinMax.cpp
Go to the documentation of this file.
1
#include "
storm-gamebased-ar/abstraction/SymbolicQualitativeGameResultMinMax.h
"
2
3
namespace
storm::gbar
{
4
namespace
abstraction {
5
6
template
<storm::dd::DdType Type>
7
SymbolicQualitativeResult<Type>
const
&
SymbolicQualitativeGameResultMinMax<Type>::getProb0
(
storm::OptimizationDirection
const
& dir)
const
{
8
if
(dir == storm::OptimizationDirection::Minimize) {
9
return
prob0Min;
10
}
else
{
11
return
prob0Max;
12
}
13
}
14
15
template
<storm::dd::DdType Type>
16
SymbolicQualitativeResult<Type>
const
&
SymbolicQualitativeGameResultMinMax<Type>::getProb1
(
storm::OptimizationDirection
const
& dir)
const
{
17
if
(dir == storm::OptimizationDirection::Minimize) {
18
return
prob1Min;
19
}
else
{
20
return
prob1Max;
21
}
22
}
23
24
template
class
SymbolicQualitativeGameResultMinMax<storm::dd::DdType::CUDD>
;
25
template
class
SymbolicQualitativeGameResultMinMax<storm::dd::DdType::Sylvan>
;
26
27
}
// namespace abstraction
28
}
// namespace storm::gbar
SymbolicQualitativeGameResultMinMax.h
storm::gbar::abstraction::SymbolicQualitativeGameResultMinMax
Definition
SymbolicQualitativeGameResultMinMax.h:12
storm::gbar::abstraction::SymbolicQualitativeGameResultMinMax::getProb0
virtual SymbolicQualitativeResult< Type > const & getProb0(storm::OptimizationDirection const &dir) const override
Definition
SymbolicQualitativeGameResultMinMax.cpp:7
storm::gbar::abstraction::SymbolicQualitativeGameResultMinMax::getProb1
virtual SymbolicQualitativeResult< Type > const & getProb1(storm::OptimizationDirection const &dir) const override
Definition
SymbolicQualitativeGameResultMinMax.cpp:16
storm::gbar::abstraction::SymbolicQualitativeResult
Definition
SymbolicQualitativeResult.h:19
storm::gbar
Definition
AbstractionInformation.cpp:13
storm::solver::OptimizationDirection
OptimizationDirection
Definition
OptimizationDirection.h:8
src
storm-gamebased-ar
abstraction
SymbolicQualitativeGameResultMinMax.cpp
Generated by
1.9.8