Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
storm::pars::PreprocessResult Struct Reference

Public Member Functions

 PreprocessResult (std::shared_ptr< storm::models::ModelBase > const &model, bool changed)
 

Public Attributes

bool changed
 
std::shared_ptr< storm::models::ModelBase > model
 
boost::optional< std::vector< std::shared_ptr< storm::logic::Formula const > > > formulas
 

Detailed Description

Definition at line 66 of file storm-pars.cpp.

Constructor & Destructor Documentation

◆ PreprocessResult()

storm::pars::PreprocessResult::PreprocessResult ( std::shared_ptr< storm::models::ModelBase > const &  model,
bool  changed 
)
inline

Definition at line 67 of file storm-pars.cpp.

Member Data Documentation

◆ changed

bool storm::pars::PreprocessResult::changed

Definition at line 71 of file storm-pars.cpp.

◆ formulas

boost::optional<std::vector<std::shared_ptr<storm::logic::Formula const> > > storm::pars::PreprocessResult::formulas

Definition at line 73 of file storm-pars.cpp.

◆ model

std::shared_ptr<storm::models::ModelBase> storm::pars::PreprocessResult::model

Definition at line 72 of file storm-pars.cpp.

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