#include "storm-config.h"#include "test/storm_gtest.h"#include <iostream>#include "storm/adapters/RationalFunctionAdapter.h"#include "storm/adapters/RationalNumberAdapter.h"#include "storm/exceptions/InvalidOperationException.h"#include "storm/exceptions/NotSupportedException.h"#include "storm/utility/ExtendedNumber.h"#include "storm/utility/constants.h"
Go to the source code of this file.
Functions | |
| TEST (ExtendedNumberTest, extendedValueTypeOnlyWrapsWhereNeeded) | |
| TEST (ExtendedNumberTest, kinds) | |
| TEST (ExtendedNumberTest, ordering) | |
| TEST (ExtendedNumberTest, equality) | |
| TEST (ExtendedNumberTest, arithmeticIsAbsorbing) | |
| TEST (ExtendedNumberTest, undefinedFormsThrow) | |
| TEST (ExtendedNumberTest, conversionAcrossValueTypes) | |
| TEST (ExtendedNumberTest, output) | |
| TEST (ExtendedNumberTest, mixesWithFiniteValues) | |
| TEST (ExtendedNumberTest, reportsItsInfinityToTheGenericUtilities) | |
| TEST (ExtendedNumberTest, conversionIntoAnExtendedType) | |
| TEST (ExtendedNumberTest, infinityOfTheExtendedType) | |
| TEST (ExtendedNumberTest, comparesAgainstAPlainValue) | |
| TEST (ExtendedNumberTest, negativeInfinityArithmetic) | |
| TEST (ExtendedNumberTest, reportsNegativeInfinity) | |
| TEST (ExtendedNumberTest, isFiniteRejectsNotANumber) | |
| TEST (ExtendedNumberTest, widenDoesNotInterpretTheSentinel) | |
| TEST (ExtendedNumberTest, widenAndNarrowVectors) | |
| TEST (ExtendedNumberTest, narrowsToADefaultValue) | |
| TEST (ExtendedNumberTest, narrowingRefusesAnInfiniteValue) | |
| TEST (ExtendedNumberDeathTest, getFiniteRefusesAnInfiniteValue) | |
| TEST (ExtendedNumberTest, toSentinelHasNoNegativeInfinity) | |
| TEST (ExtendedNumberTest, convertsAnInfinityFromATypeThatHasItsOwn) | |
Function Documentation
◆ TEST() [1/23]
| TEST | ( | ExtendedNumberDeathTest | , |
| getFiniteRefusesAnInfiniteValue | ) |
Definition at line 337 of file ExtendedNumberTest.cpp.
◆ TEST() [2/23]
| TEST | ( | ExtendedNumberTest | , |
| arithmeticIsAbsorbing | ) |
Definition at line 71 of file ExtendedNumberTest.cpp.
◆ TEST() [3/23]
| TEST | ( | ExtendedNumberTest | , |
| comparesAgainstAPlainValue | ) |
Definition at line 170 of file ExtendedNumberTest.cpp.
◆ TEST() [4/23]
| TEST | ( | ExtendedNumberTest | , |
| conversionAcrossValueTypes | ) |
Definition at line 105 of file ExtendedNumberTest.cpp.
◆ TEST() [5/23]
| TEST | ( | ExtendedNumberTest | , |
| conversionIntoAnExtendedType | ) |
Definition at line 155 of file ExtendedNumberTest.cpp.
◆ TEST() [6/23]
| TEST | ( | ExtendedNumberTest | , |
| convertsAnInfinityFromATypeThatHasItsOwn | ) |
Definition at line 364 of file ExtendedNumberTest.cpp.
◆ TEST() [7/23]
| TEST | ( | ExtendedNumberTest | , |
| equality | ) |
Definition at line 63 of file ExtendedNumberTest.cpp.
◆ TEST() [8/23]
| TEST | ( | ExtendedNumberTest | , |
| extendedValueTypeOnlyWrapsWhereNeeded | ) |
Definition at line 21 of file ExtendedNumberTest.cpp.
◆ TEST() [9/23]
| TEST | ( | ExtendedNumberTest | , |
| infinityOfTheExtendedType | ) |
Definition at line 161 of file ExtendedNumberTest.cpp.
◆ TEST() [10/23]
| TEST | ( | ExtendedNumberTest | , |
| isFiniteRejectsNotANumber | ) |
Definition at line 256 of file ExtendedNumberTest.cpp.
◆ TEST() [11/23]
| TEST | ( | ExtendedNumberTest | , |
| kinds | ) |
Definition at line 30 of file ExtendedNumberTest.cpp.
◆ TEST() [12/23]
| TEST | ( | ExtendedNumberTest | , |
| mixesWithFiniteValues | ) |
Definition at line 128 of file ExtendedNumberTest.cpp.
◆ TEST() [13/23]
| TEST | ( | ExtendedNumberTest | , |
| narrowingRefusesAnInfiniteValue | ) |
Definition at line 323 of file ExtendedNumberTest.cpp.
◆ TEST() [14/23]
| TEST | ( | ExtendedNumberTest | , |
| narrowsToADefaultValue | ) |
Definition at line 306 of file ExtendedNumberTest.cpp.
◆ TEST() [15/23]
| TEST | ( | ExtendedNumberTest | , |
| negativeInfinityArithmetic | ) |
Definition at line 217 of file ExtendedNumberTest.cpp.
◆ TEST() [16/23]
| TEST | ( | ExtendedNumberTest | , |
| ordering | ) |
Definition at line 46 of file ExtendedNumberTest.cpp.
◆ TEST() [17/23]
| TEST | ( | ExtendedNumberTest | , |
| output | ) |
Definition at line 122 of file ExtendedNumberTest.cpp.
◆ TEST() [18/23]
| TEST | ( | ExtendedNumberTest | , |
| reportsItsInfinityToTheGenericUtilities | ) |
Definition at line 141 of file ExtendedNumberTest.cpp.
◆ TEST() [19/23]
| TEST | ( | ExtendedNumberTest | , |
| reportsNegativeInfinity | ) |
Definition at line 243 of file ExtendedNumberTest.cpp.
◆ TEST() [20/23]
| TEST | ( | ExtendedNumberTest | , |
| toSentinelHasNoNegativeInfinity | ) |
Definition at line 351 of file ExtendedNumberTest.cpp.
◆ TEST() [21/23]
| TEST | ( | ExtendedNumberTest | , |
| undefinedFormsThrow | ) |
Definition at line 92 of file ExtendedNumberTest.cpp.
◆ TEST() [22/23]
| TEST | ( | ExtendedNumberTest | , |
| widenAndNarrowVectors | ) |
Definition at line 286 of file ExtendedNumberTest.cpp.
◆ TEST() [23/23]
| TEST | ( | ExtendedNumberTest | , |
| widenDoesNotInterpretTheSentinel | ) |
Definition at line 269 of file ExtendedNumberTest.cpp.
