ArrayEliminator.cpp File Reference

#include "ArrayEliminator.h"
#include <unordered_map>
#include "storm/storage/expressions/ExpressionVisitor.h"
#include "storm/storage/jani/Model.h"
#include "storm/storage/jani/Property.h"
#include "storm/storage/jani/Variable.h"
#include "storm/storage/jani/traverser/ArrayExpressionFinder.h"
#include "storm/storage/jani/traverser/JaniTraverser.h"
#include "storm/storage/jani/visitor/JaniExpressionVisitor.h"
#include "storm/storage/expressions/ExpressionManager.h"
#include "storm/storage/expressions/Expressions.h"
#include "storm/storage/jani/expressions/JaniExpressions.h"
#include "storm/exceptions/InvalidOperationException.h"
#include "storm/exceptions/NotSupportedException.h"
#include "storm/exceptions/OutOfRangeException.h"
#include "storm/exceptions/UnexpectedException.h"

Include dependency graph for ArrayEliminator.cpp:

Go to the source code of this file.

Classes
class	storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor
class	storm::jani::detail::ArrayEliminatorDataCollector
	Gets the data necessary for array elimination. More...
class	storm::jani::detail::ArrayExpressionEliminationVisitor
	Eliminates the array accesses in the given expression, for example ([[1],[2,3]])[i][j] --> i=0 ? [1][j] : [2,3][j] --> i=0 ? 1 : (j=0 ? 2 : 3) More...
class	storm::jani::detail::ArrayExpressionEliminationVisitor::ResultType
class	storm::jani::detail::ArrayVariableReplacer

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::jani
namespace	storm::jani::detail