|
Storm 1.13.0.1
A Modern Probabilistic Model Checker
|
#include <NumberTraits.h>
Static Public Attributes | |
| static const bool | SupportsExponential = false |
| static const bool | IsExact = false |
Definition at line 11 of file NumberTraits.h.
|
static |
Definition at line 13 of file NumberTraits.h.
|
static |
Definition at line 12 of file NumberTraits.h.