Storm
A Modern Probabilistic Model Checker
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Public Member Functions | List of all members
storm::jani::ArrayEliminator Class Reference

#include <ArrayEliminator.h>

Public Member Functions

 ArrayEliminator ()=default
 
ArrayEliminatorData eliminate (Model &model, bool keepNonTrivialArrayAccess=false)
 Eliminates all array references in the given model by replacing them with basic variables.
 

Detailed Description

Definition at line 44 of file ArrayEliminator.h.

Constructor & Destructor Documentation

◆ ArrayEliminator()

storm::jani::ArrayEliminator::ArrayEliminator ( )
default

Member Function Documentation

◆ eliminate()

ArrayEliminatorData storm::jani::ArrayEliminator::eliminate ( Model &  model,
bool  keepNonTrivialArrayAccess = false 
)

Eliminates all array references in the given model by replacing them with basic variables.

Definition at line 1205 of file ArrayEliminator.cpp.

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