Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::test::IsExtendedNumber< T > Struct Template Reference

#include <storm_gtest.h>

Inheritance diagram for storm::test::IsExtendedNumber< T >:
Collaboration diagram for storm::test::IsExtendedNumber< T >:

Detailed Description

template<typename T>
struct storm::test::IsExtendedNumber< T >

Definition at line 44 of file storm_gtest.h.


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