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