storm::test::bisimulation::PrismInput< ValueType > Struct Template Reference

The model built from the given PRISM file together with the formulas that the minimization has to preserve. More...

#include <BisimulationTestHelper.h>

Public Attributes
std::shared_ptr< storm::models::sparse::Model< ValueType > >	model
std::vector< std::shared_ptr< storm::logic::Formula const > >	formulas

Detailed Description

template<typename ValueType>
struct storm::test::bisimulation::PrismInput< ValueType >

The model built from the given PRISM file together with the formulas that the minimization has to preserve.

Note

building from a PRISM program requires an SMT solver, so callers have to guard with STORM_HAVE_Z3.

Definition at line 131 of file BisimulationTestHelper.h.

Member Data Documentation

formulas

template<typename ValueType>

std::vector<std::shared_ptr<storm::logic::Formula const> > storm::test::bisimulation::PrismInput< ValueType >::formulas

Definition at line 133 of file BisimulationTestHelper.h.

model

template<typename ValueType>

std::shared_ptr<storm::models::sparse::Model<ValueType> > storm::test::bisimulation::PrismInput< ValueType >::model

Definition at line 132 of file BisimulationTestHelper.h.

---

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

• src/test/storm/transformer/bisimulation/BisimulationTestHelper.h