Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
SymbolicQualitativeMdpResultMinMax.cpp
Go to the documentation of this file.
3
4namespace storm::gbar {
5namespace abstraction {
6
7template<storm::dd::DdType Type>
9 if (dir == storm::OptimizationDirection::Minimize) {
10 return prob0Min;
11 } else {
12 return prob0Max;
13 }
14}
15
16template<storm::dd::DdType Type>
18 if (dir == storm::OptimizationDirection::Minimize) {
19 return prob1Min;
20 } else {
21 return prob1Max;
22 }
23}
24
27
28} // namespace abstraction
29} // namespace storm::gbar
virtual SymbolicQualitativeResult< Type > const & getProb0(storm::OptimizationDirection const &dir) const override
virtual SymbolicQualitativeResult< Type > const & getProb1(storm::OptimizationDirection const &dir) const override