storm::dd::bisimulation::BisimulationOptions Struct Reference

#include <BisimulationOptions.h>

Public Attributes
ReuseMode	reuseMode = ReuseMode::BlockNumbers
RefinementMode	refinementMode = RefinementMode::Full
InitialPartitionMode	initialPartitionMode = InitialPartitionMode::Finer
bool	useRepresentatives = false
bool	useOriginalVariables = false

Detailed Description

Definition at line 12 of file BisimulationOptions.h.

Member Data Documentation

initialPartitionMode

InitialPartitionMode storm::dd::bisimulation::BisimulationOptions::initialPartitionMode = InitialPartitionMode::Finer

Definition at line 15 of file BisimulationOptions.h.

refinementMode

RefinementMode storm::dd::bisimulation::BisimulationOptions::refinementMode = RefinementMode::Full

Definition at line 14 of file BisimulationOptions.h.

reuseMode

ReuseMode storm::dd::bisimulation::BisimulationOptions::reuseMode = ReuseMode::BlockNumbers

Definition at line 13 of file BisimulationOptions.h.

useOriginalVariables

bool storm::dd::bisimulation::BisimulationOptions::useOriginalVariables = false

Definition at line 17 of file BisimulationOptions.h.

useRepresentatives

bool storm::dd::bisimulation::BisimulationOptions::useRepresentatives = false

Definition at line 16 of file BisimulationOptions.h.

---

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

• src/storm/storage/dd/bisimulation/BisimulationOptions.h