Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::NumberTraits< double > Struct Reference

#include <NumberTraits.h>

Public Types

typedef uint64_t IntegerType
 

Static Public Attributes

static const bool SupportsExponential = true
 
static const bool IsExact = false
 

Detailed Description

Definition at line 16 of file NumberTraits.h.

Member Typedef Documentation

◆ IntegerType

typedef uint64_t storm::NumberTraits< double >::IntegerType

Definition at line 20 of file NumberTraits.h.

Member Data Documentation

◆ IsExact

const bool storm::NumberTraits< double >::IsExact = false
static

Definition at line 18 of file NumberTraits.h.

◆ SupportsExponential

const bool storm::NumberTraits< double >::SupportsExponential = true
static

Definition at line 17 of file NumberTraits.h.


The documentation for this struct was generated from the following file: