Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
SymbolicQualitativeGameResultMinMax.cpp
Go to the documentation of this file.
2
3namespace storm::gbar {
4namespace abstraction {
5
6template<storm::dd::DdType Type>
8 if (dir == storm::OptimizationDirection::Minimize) {
9 return prob0Min;
10 } else {
11 return prob0Max;
12 }
13}
14
15template<storm::dd::DdType Type>
17 if (dir == storm::OptimizationDirection::Minimize) {
18 return prob1Min;
19 } else {
20 return prob1Max;
21 }
22}
23
26
27} // namespace abstraction
28} // 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