Classes
class	Edges
class	ConstEdges
class	ArrayReplacementsCollectorExpressionVisitor
class	ArrayEliminatorDataCollector
	Gets the data necessary for array elimination. More...
class	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	ArrayVariableReplacer
class	FunctionEliminationExpressionVisitor
class	FunctionEliminatorTraverser
class	VariableAccessedTraverser
class	ArrayExpressionFinderExpressionVisitor
class	ArrayExpressionFinderTraverser
class	FunctionCallExpressionFinderExpressionVisitor
class	FunctionCallExpressionFinderTraverser
class	InformationCollector

Typedefs
using	Assignments = storm::adapters::DereferenceIteratorAdapter<std::vector<std::shared_ptr<Assignment>>>
using	ConstAssignments = storm::adapters::DereferenceIteratorAdapter<std::vector<std::shared_ptr<Assignment>> const>
template<typename VariableType>
using	Variables = storm::adapters::DereferenceIteratorAdapter<std::vector<std::shared_ptr<VariableType>>>
template<typename VariableType>
using	ConstVariables = storm::adapters::DereferenceIteratorAdapter<std::vector<std::shared_ptr<VariableType>> const>

Functions
std::set< uint64_t >	getAutomataAccessingVariable (storm::expressions::Variable const &variable, Model const &model)
storm::jani::Constant	createConstantFromVariable (storm::jani::Variable const &variable)
template<typename JaniStructureType>
bool	canTransformVariable (storm::jani::Variable const &variable, JaniStructureType const &janiStructure)