#include "storm-config.h"
#include "test/storm_gtest.h"
#include "storm/exceptions/InvalidArgumentException.h"
#include "storm/settings/SettingsManager.h"
#include "storm/storage/SparseMatrix.h"
#include "storm/storage/dd/Add.h"
#include "storm/storage/dd/DdManager.h"
#include "storm/storage/dd/DdMetaVariable.h"
#include "storm/storage/dd/Odd.h"
#include "storm/storage/expressions/Expression.h"
#include "storm/storage/expressions/ExpressionManager.h"

Include dependency graph for DdTest.cpp:

Classes
class	Cudd

class	Sylvan

class	Dd< TestType >

Typedefs
typedef ::testing::Types< Cudd, Sylvan >	TestingTypes

Functions
	TYPED_TEST_SUITE (Dd, TestingTypes,)

	TYPED_TEST (Dd, AddConstants)

	TYPED_TEST (Dd, BddConstants)

	TYPED_TEST (Dd, BddExistAbstractRepresentative)

	TYPED_TEST (Dd, AddMinExistAbstractRepresentative)

	TYPED_TEST (Dd, AddMaxExistAbstractRepresentative)

	TYPED_TEST (Dd, AddGetMetaVariableTest)

	TYPED_TEST (Dd, EncodingTest)

	TYPED_TEST (Dd, RangeTest)

	TYPED_TEST (Dd, DoubleIdentityTest)

	TYPED_TEST (Dd, UintIdentityTest)

	TYPED_TEST (Dd, OperatorTest)

	TYPED_TEST (Dd, AbstractionTest)

	TYPED_TEST (Dd, SwapTest)

	TYPED_TEST (Dd, MultiplyMatrixTest)

	TYPED_TEST (Dd, MultiplyMatrixTest2)

	TYPED_TEST (Dd, GetSetValueTest)

	TYPED_TEST (Dd, AddIteratorTest)

	TYPED_TEST (Dd, AddOddTest)

	TYPED_TEST (Dd, BddOddTest)

	TYPED_TEST (Dd, BddToExpressionTest)

Typedef Documentation

◆ TestingTypes

typedef ::testing::Types<Cudd, Sylvan> TestingTypes

Definition at line 30 of file DdTest.cpp.

Function Documentation

◆ TYPED_TEST() [1/20]

TYPED_TEST	(	Dd	,
		AbstractionTest
	)

Definition at line 560 of file DdTest.cpp.

◆ TYPED_TEST() [2/20]

TYPED_TEST	(	Dd	,
		AddConstants
	)

Definition at line 33 of file DdTest.cpp.

◆ TYPED_TEST() [3/20]

TYPED_TEST	(	Dd	,
		AddGetMetaVariableTest
	)

Definition at line 380 of file DdTest.cpp.

◆ TYPED_TEST() [4/20]

TYPED_TEST	(	Dd	,
		AddIteratorTest
	)

Definition at line 695 of file DdTest.cpp.

◆ TYPED_TEST() [5/20]

TYPED_TEST	(	Dd	,
		AddMaxExistAbstractRepresentative
	)

Definition at line 285 of file DdTest.cpp.

◆ TYPED_TEST() [6/20]

TYPED_TEST	(	Dd	,
		AddMinExistAbstractRepresentative
	)

Definition at line 190 of file DdTest.cpp.

◆ TYPED_TEST() [7/20]

TYPED_TEST	(	Dd	,
		AddOddTest
	)

Definition at line 741 of file DdTest.cpp.

◆ TYPED_TEST() [8/20]

TYPED_TEST	(	Dd	,
		BddConstants
	)

Definition at line 66 of file DdTest.cpp.

◆ TYPED_TEST() [9/20]

TYPED_TEST	(	Dd	,
		BddExistAbstractRepresentative
	)

Definition at line 86 of file DdTest.cpp.

◆ TYPED_TEST() [10/20]

TYPED_TEST	(	Dd	,
		BddOddTest
	)

Definition at line 791 of file DdTest.cpp.

◆ TYPED_TEST() [11/20]

TYPED_TEST	(	Dd	,
		BddToExpressionTest
	)

Definition at line 844 of file DdTest.cpp.

◆ TYPED_TEST() [12/20]

TYPED_TEST	(	Dd	,
		DoubleIdentityTest
	)

Definition at line 444 of file DdTest.cpp.

◆ TYPED_TEST() [13/20]

TYPED_TEST	(	Dd	,
		EncodingTest
	)

Definition at line 401 of file DdTest.cpp.

◆ TYPED_TEST() [14/20]

TYPED_TEST	(	Dd	,
		GetSetValueTest
	)

Definition at line 675 of file DdTest.cpp.

◆ TYPED_TEST() [15/20]

TYPED_TEST	(	Dd	,
		MultiplyMatrixTest
	)

Definition at line 626 of file DdTest.cpp.

◆ TYPED_TEST() [16/20]

TYPED_TEST	(	Dd	,
		MultiplyMatrixTest2
	)

Definition at line 644 of file DdTest.cpp.

◆ TYPED_TEST() [17/20]

TYPED_TEST	(	Dd	,
		OperatorTest
	)

Definition at line 474 of file DdTest.cpp.

◆ TYPED_TEST() [18/20]

TYPED_TEST	(	Dd	,
		RangeTest
	)

Definition at line 428 of file DdTest.cpp.

◆ TYPED_TEST() [19/20]

TYPED_TEST	(	Dd	,
		SwapTest
	)

Definition at line 609 of file DdTest.cpp.

◆ TYPED_TEST() [20/20]

TYPED_TEST	(	Dd	,
		UintIdentityTest
	)

Definition at line 459 of file DdTest.cpp.

◆ TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	Dd	,
		TestingTypes
	)

Classes

Typedefs

Functions