Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::bisimulation::WeakBisimulationData Member List

This is the complete list of members for storm::bisimulation::WeakBisimulationData, including all inherited members.

checkBlockHomogeneity(Partition const &partition) conststorm::bisimulation::WeakBisimulationData
divergentStatesstorm::bisimulation::WeakBisimulationData
isDivergent(Partition::Block const &block) conststorm::bisimulation::WeakBisimulationData
isStepSensitive(Partition::Block const &block) conststorm::bisimulation::WeakBisimulationData
silentStatesstorm::bisimulation::WeakBisimulationData
stepSensitiveStatesstorm::bisimulation::WeakBisimulationData
WeakBisimulationData(storm::storage::BitVector divergentStates, storm::storage::BitVector stepSensitiveStates, storm::storage::BitVector silentStates)storm::bisimulation::WeakBisimulationData