Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
SymbolicQuantitativeGameResultMinMax.cpp
Go to the documentation of this file.
1
#include "
storm-gamebased-ar/abstraction/SymbolicQuantitativeGameResultMinMax.h
"
2
#include "
storm/storage/dd/sylvan/InternalSylvanBdd.h
"
3
4
namespace
storm::gbar
{
5
namespace
abstraction {
6
7
template
<storm::dd::DdType Type,
typename
ValueType>
8
SymbolicQuantitativeGameResultMinMax<Type, ValueType>::SymbolicQuantitativeGameResultMinMax
(
SymbolicQuantitativeGameResult<Type, ValueType>
const
& min,
9
SymbolicQuantitativeGameResult<Type, ValueType>
const
& max)
10
: min(min), max(max) {
11
// Intentionally left empty.
12
}
13
14
}
// namespace abstraction
15
}
// namespace storm::gbar
InternalSylvanBdd.h
SymbolicQuantitativeGameResultMinMax.h
storm::gbar::abstraction::SymbolicQuantitativeGameResult
Definition
SymbolicQuantitativeGameResult.h:12
storm::gbar::abstraction::SymbolicQuantitativeGameResultMinMax::SymbolicQuantitativeGameResultMinMax
SymbolicQuantitativeGameResultMinMax()=default
storm::gbar
Definition
AbstractionInformation.cpp:13
src
storm-gamebased-ar
abstraction
SymbolicQuantitativeGameResultMinMax.cpp
Generated by
1.9.8