MemoryStructureTest.cpp File Reference

#include "storm-config.h"
#include "test/storm_gtest.h"
#include "storm/models/sparse/Mdp.h"
#include "storm/storage/SparseMatrix.h"
#include "storm/storage/memorystructure/MemoryStructure.h"
#include "storm/storage/memorystructure/MemoryStructureBuilder.h"
#include "storm/storage/memorystructure/SparseModelMemoryProduct.h"

Include dependency graph for MemoryStructureTest.cpp:

Go to the source code of this file.

Functions
	TEST (MemoryStructure, OnlyInitialStatesRelevantDefault)
	TEST (MemoryStructure, OnlyInitialStatesRelevantFalse)
	TEST (MemoryStructure, ProductPropagatesOnlyInitialStatesRelevant)
	TEST (MemoryStructure, ProductOfTrivialMemoryStructuresIsTrivial)
	TEST (MemoryStructure, ProductModelWithOnlyInitialStatesRelevantFalse)
	TEST (MemoryStructure, ProductModelWithOnlyInitialStatesRelevantTrue)
	TEST (MemoryStructure, StateLabelingRespectsOnlyInitialStatesRelevantFalse)

Function Documentation

TEST() [1/7]

TEST	(	MemoryStructure	,
		OnlyInitialStatesRelevantDefault	)

Definition at line 45 of file MemoryStructureTest.cpp.

TEST() [2/7]

TEST	(	MemoryStructure	,
		OnlyInitialStatesRelevantFalse	)

Definition at line 56 of file MemoryStructureTest.cpp.

TEST() [3/7]

TEST	(	MemoryStructure	,
		ProductModelWithOnlyInitialStatesRelevantFalse	)

Definition at line 94 of file MemoryStructureTest.cpp.

TEST() [4/7]

TEST	(	MemoryStructure	,
		ProductModelWithOnlyInitialStatesRelevantTrue	)

Definition at line 110 of file MemoryStructureTest.cpp.

TEST() [5/7]

TEST	(	MemoryStructure	,
		ProductOfTrivialMemoryStructuresIsTrivial	)

Definition at line 81 of file MemoryStructureTest.cpp.

TEST() [6/7]

TEST	(	MemoryStructure	,
		ProductPropagatesOnlyInitialStatesRelevant	)

Definition at line 68 of file MemoryStructureTest.cpp.

TEST() [7/7]

TEST	(	MemoryStructure	,
		StateLabelingRespectsOnlyInitialStatesRelevantFalse	)

Definition at line 132 of file MemoryStructureTest.cpp.