|
Storm 1.14.0.1
A Modern Probabilistic Model Checker
|
#include <NumberTraits.h>
Static Public Attributes | |
| static const bool | SupportsExponential = false |
| static const bool | IsExact = false |
| static const bool | HasInfinity = false |
| Whether the type can represent +/- infinity itself. | |
Definition at line 11 of file NumberTraits.h.
|
static |
Whether the type can represent +/- infinity itself.
Definition at line 15 of file NumberTraits.h.
|
static |
Definition at line 13 of file NumberTraits.h.
|
static |
Definition at line 12 of file NumberTraits.h.