Classes
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	ArrayExpressionFinderExpressionVisitor

class	ArrayExpressionFinderTraverser

class	ArrayReplacementsCollectorExpressionVisitor

class	ArrayVariableReplacer

class	ConstEdges

class	Edges

class	FunctionCallExpressionFinderExpressionVisitor

class	FunctionCallExpressionFinderTraverser

class	FunctionEliminationExpressionVisitor

class	FunctionEliminatorTraverser

class	InformationCollector

class	VariableAccessedTraverser

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)