#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