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