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 68 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 69 of file storm-pars.cpp.

Member Data Documentation

changed

bool storm::pars::PreprocessResult::changed

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

formulas

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

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

model

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

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

---

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

• src/storm-pars-cli/storm-pars.cpp