MemoryIncorporation.h File Reference

#include <memory>
#include "storm/logic/Formula.h"
#include "storm/logic/MultiObjectiveFormula.h"
#include "storm/storage/memorystructure/MemoryStructure.h"
#include "storm/storage/memorystructure/SparseModelMemoryProductReverseData.h"

Include dependency graph for MemoryIncorporation.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	storm::transformer::MemoryIncorporation< SparseModelType >
	Incorporates Memory into the state space of the given model, that is the resulting model is the crossproduct of of the given model plus some type of memory structure. More...

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::transformer