ExtremumTest.cpp File Reference

#include "storm-config.h"
#include "test/storm_gtest.h"
#include <iostream>
#include "storm/adapters/RationalNumberAdapter.h"
#include "storm/utility/ExtendedNumber.h"
#include "storm/utility/Extremum.h"
#include "storm/utility/constants.h"

Include dependency graph for ExtremumTest.cpp:

Go to the source code of this file.

Functions
	TEST (ExtremumTest, emptyExtremumIsTheInfinityItStandsFor)
	TEST (ExtremumTest, holdsAnInfiniteValue)
	TEST (ExtremumTest, ordinaryUseIsUnchanged)
	TEST (ExtremumTest, derefHasNoPlainValueForAnInfiniteOne)
	TEST (ExtremumDeathTest, derefRefusesAnEmptyExtremum)

Function Documentation

TEST() [1/5]

TEST	(	ExtremumDeathTest	,
		derefRefusesAnEmptyExtremum	)

Definition at line 91 of file ExtremumTest.cpp.

TEST() [2/5]

TEST	(	ExtremumTest	,
		derefHasNoPlainValueForAnInfiniteOne	)

Definition at line 84 of file ExtremumTest.cpp.

TEST() [3/5]

TEST	(	ExtremumTest	,
		emptyExtremumIsTheInfinityItStandsFor	)

Definition at line 19 of file ExtremumTest.cpp.

TEST() [4/5]

TEST	(	ExtremumTest	,
		holdsAnInfiniteValue	)

Definition at line 36 of file ExtremumTest.cpp.

TEST() [5/5]

TEST	(	ExtremumTest	,
		ordinaryUseIsUnchanged	)

Definition at line 59 of file ExtremumTest.cpp.