Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Classes | Public Member Functions | Public Attributes | List of all members
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: