storm::jani::ArrayEliminatorData Struct Reference

#include <ArrayEliminator.h>

Classes
class	Replacement

Public Member Functions
storm::expressions::Expression	transformExpression (storm::expressions::Expression const &arrayExpression) const
void	transformProperty (storm::jani::Property &property) const

Public Attributes
std::vector< std::shared_ptr< Variable > >	eliminatedArrayVariables
std::unordered_map< storm::expressions::Variable, Replacement >	replacements

Detailed Description

Definition at line 17 of file ArrayEliminator.h.

Member Function Documentation

transformExpression()

storm::expressions::Expression storm::jani::ArrayEliminatorData::transformExpression

(

storm::expressions::Expression const &

arrayExpression

)

const

Definition at line 1196 of file ArrayEliminator.cpp.

transformProperty()

void storm::jani::ArrayEliminatorData::transformProperty

(

storm::jani::Property &

property

)

const

Definition at line 1201 of file ArrayEliminator.cpp.

Member Data Documentation

eliminatedArrayVariables

std::vector<std::shared_ptr<Variable> > storm::jani::ArrayEliminatorData::eliminatedArrayVariables

Definition at line 35 of file ArrayEliminator.h.

replacements

std::unordered_map<storm::expressions::Variable, Replacement> storm::jani::ArrayEliminatorData::replacements

Definition at line 36 of file ArrayEliminator.h.

---

The documentation for this struct was generated from the following files:

• src/storm/storage/jani/eliminator/ArrayEliminator.h
• src/storm/storage/jani/eliminator/ArrayEliminator.cpp