|
Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
#include <NumberTraits.h>
Public Types | |
| typedef uint64_t | IntegerType |
Static Public Attributes | |
| static const bool | SupportsExponential = true |
| static const bool | IsExact = false |
Definition at line 16 of file NumberTraits.h.
| typedef uint64_t storm::NumberTraits< double >::IntegerType |
Definition at line 20 of file NumberTraits.h.
|
static |
Definition at line 18 of file NumberTraits.h.
|
static |
Definition at line 17 of file NumberTraits.h.