Storm
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.