SolutionBoundsTest.cpp File Reference

#include "storm-config.h"
#include "test/storm_gtest.h"
#include "storm/solver/SolutionBounds.h"

Include dependency graph for SolutionBoundsTest.cpp:

Go to the source code of this file.

Functions
	TEST (SolutionBoundsTest, PrecisionNeedsBothSides)
	TEST (SolutionBoundsTest, PrecisionRejectsMismatchingSizes)
	TEST (SolutionBoundsTest, AbsolutePrecisionComparesTheDistanceToTheValue)
	TEST (SolutionBoundsTest, RelativePrecisionScalesWithTheValue)
	TEST (SolutionBoundsTest, RelativePrecisionRejectsBoundsAroundZero)

Function Documentation

TEST() [1/5]

TEST	(	SolutionBoundsTest	,
		AbsolutePrecisionComparesTheDistanceToTheValue	)

Definition at line 19 of file SolutionBoundsTest.cpp.

TEST() [2/5]

TEST	(	SolutionBoundsTest	,
		PrecisionNeedsBothSides	)

Definition at line 6 of file SolutionBoundsTest.cpp.

TEST() [3/5]

TEST	(	SolutionBoundsTest	,
		PrecisionRejectsMismatchingSizes	)

Definition at line 13 of file SolutionBoundsTest.cpp.

TEST() [4/5]

TEST	(	SolutionBoundsTest	,
		RelativePrecisionRejectsBoundsAroundZero	)

Definition at line 42 of file SolutionBoundsTest.cpp.

TEST() [5/5]

TEST	(	SolutionBoundsTest	,
		RelativePrecisionScalesWithTheValue	)

Definition at line 30 of file SolutionBoundsTest.cpp.