#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/DdType.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 47 of file DdTest.cpp.

Function Documentation

◆ TYPED_TEST() [1/20]

TYPED_TEST	(	Dd	,
		AbstractionTest
	)

Definition at line 577 of file DdTest.cpp.

◆ TYPED_TEST() [2/20]

TYPED_TEST	(	Dd	,
		AddConstants
	)

Definition at line 50 of file DdTest.cpp.

◆ TYPED_TEST() [3/20]

TYPED_TEST	(	Dd	,
		AddGetMetaVariableTest
	)

Definition at line 397 of file DdTest.cpp.

◆ TYPED_TEST() [4/20]

TYPED_TEST	(	Dd	,
		AddIteratorTest
	)

Definition at line 712 of file DdTest.cpp.

◆ TYPED_TEST() [5/20]

TYPED_TEST	(	Dd	,
		AddMaxExistAbstractRepresentative
	)

Definition at line 302 of file DdTest.cpp.

◆ TYPED_TEST() [6/20]

TYPED_TEST	(	Dd	,
		AddMinExistAbstractRepresentative
	)

Definition at line 207 of file DdTest.cpp.

◆ TYPED_TEST() [7/20]

TYPED_TEST	(	Dd	,
		AddOddTest
	)

Definition at line 758 of file DdTest.cpp.

◆ TYPED_TEST() [8/20]

TYPED_TEST	(	Dd	,
		BddConstants
	)

Definition at line 83 of file DdTest.cpp.

◆ TYPED_TEST() [9/20]

TYPED_TEST	(	Dd	,
		BddExistAbstractRepresentative
	)

Definition at line 103 of file DdTest.cpp.

◆ TYPED_TEST() [10/20]

TYPED_TEST	(	Dd	,
		BddOddTest
	)

Definition at line 808 of file DdTest.cpp.

◆ TYPED_TEST() [11/20]

TYPED_TEST	(	Dd	,
		BddToExpressionTest
	)

Definition at line 861 of file DdTest.cpp.

◆ TYPED_TEST() [12/20]

TYPED_TEST	(	Dd	,
		DoubleIdentityTest
	)

Definition at line 461 of file DdTest.cpp.

◆ TYPED_TEST() [13/20]

TYPED_TEST	(	Dd	,
		EncodingTest
	)

Definition at line 418 of file DdTest.cpp.

◆ TYPED_TEST() [14/20]

TYPED_TEST	(	Dd	,
		GetSetValueTest
	)

Definition at line 692 of file DdTest.cpp.

◆ TYPED_TEST() [15/20]

TYPED_TEST	(	Dd	,
		MultiplyMatrixTest
	)

Definition at line 643 of file DdTest.cpp.

◆ TYPED_TEST() [16/20]

TYPED_TEST	(	Dd	,
		MultiplyMatrixTest2
	)

Definition at line 661 of file DdTest.cpp.

◆ TYPED_TEST() [17/20]

TYPED_TEST	(	Dd	,
		OperatorTest
	)

Definition at line 491 of file DdTest.cpp.

◆ TYPED_TEST() [18/20]

TYPED_TEST	(	Dd	,
		RangeTest
	)

Definition at line 445 of file DdTest.cpp.

◆ TYPED_TEST() [19/20]

TYPED_TEST	(	Dd	,
		SwapTest
	)

Definition at line 626 of file DdTest.cpp.

◆ TYPED_TEST() [20/20]

TYPED_TEST	(	Dd	,
		UintIdentityTest
	)

Definition at line 476 of file DdTest.cpp.

◆ TYPED_TEST_SUITE()

TYPED_TEST_SUITE	(	Dd	,
		TestingTypes
	)

Classes

Typedefs

Functions