storm::test::bisimulation::BuildOptions Struct Reference

What to build from a PRISM program in addition to what the formulas require. More...

#include <BisimulationTestHelper.h>

Public Attributes
bool	allLabels = false
bool	choiceLabels = false
bool	choiceOrigins = false
bool	stateValuations = false

Detailed Description

What to build from a PRISM program in addition to what the formulas require.

Definition at line 139 of file BisimulationTestHelper.h.

Member Data Documentation

allLabels

bool storm::test::bisimulation::BuildOptions::allLabels = false

Definition at line 140 of file BisimulationTestHelper.h.

choiceLabels

bool storm::test::bisimulation::BuildOptions::choiceLabels = false

Definition at line 142 of file BisimulationTestHelper.h.

choiceOrigins

bool storm::test::bisimulation::BuildOptions::choiceOrigins = false

Definition at line 143 of file BisimulationTestHelper.h.

stateValuations

bool storm::test::bisimulation::BuildOptions::stateValuations = false

Definition at line 144 of file BisimulationTestHelper.h.

---

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

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