Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::storage::BisimulationDecomposition< ModelType, BlockDataType > Member List

This is the complete list of members for storm::storage::BisimulationDecomposition< ModelType, BlockDataType >, including all inherited members.

backwardTransitionsstorm::storage::BisimulationDecomposition< ModelType, BlockDataType >protected
begin()storm::storage::Decomposition< StateBlock >
begin() conststorm::storage::Decomposition< StateBlock >
BisimulationDecomposition(ModelType const &model, Options const &options)storm::storage::BisimulationDecomposition< ModelType, BlockDataType >
BisimulationDecomposition(ModelType const &model, storm::storage::SparseMatrix< ValueType > const &backwardTransitions, Options const &options)storm::storage::BisimulationDecomposition< ModelType, BlockDataType >protected
block_type typedefstorm::storage::Decomposition< StateBlock >
blocksstorm::storage::Decomposition< StateBlock >protected
buildQuotient()=0storm::storage::BisimulationDecomposition< ModelType, BlockDataType >protectedpure virtual
comparatorstorm::storage::BisimulationDecomposition< ModelType, BlockDataType >protected
computeBisimulationDecomposition()storm::storage::BisimulationDecomposition< ModelType, BlockDataType >
const_iterator typedefstorm::storage::Decomposition< StateBlock >
Decomposition()storm::storage::Decomposition< StateBlock >
Decomposition(Decomposition const &other)storm::storage::Decomposition< StateBlock >
Decomposition(Decomposition &&other)storm::storage::Decomposition< StateBlock >
empty() conststorm::storage::Decomposition< StateBlock >
end()storm::storage::Decomposition< StateBlock >
end() conststorm::storage::Decomposition< StateBlock >
extractDecompositionBlocks()storm::storage::BisimulationDecomposition< ModelType, BlockDataType >protected
extractPartitionDependencyGraph(storm::storage::SparseMatrix< ValueType > const &matrix) conststorm::storage::Decomposition< StateBlock >
getBlock(uint_fast64_t index) conststorm::storage::Decomposition< StateBlock >
getBlock(uint_fast64_t index)storm::storage::Decomposition< StateBlock >
getQuotient() conststorm::storage::BisimulationDecomposition< ModelType, BlockDataType >
getStatesWithProbability01()=0storm::storage::BisimulationDecomposition< ModelType, BlockDataType >protectedpure virtual
initialize()storm::storage::BisimulationDecomposition< ModelType, BlockDataType >protectedvirtual
initializeLabelBasedPartition()storm::storage::BisimulationDecomposition< ModelType, BlockDataType >protectedvirtual
initializeMeasureDrivenPartition()storm::storage::BisimulationDecomposition< ModelType, BlockDataType >protectedvirtual
iterator typedefstorm::storage::Decomposition< StateBlock >
modelstorm::storage::BisimulationDecomposition< ModelType, BlockDataType >protected
operator=(Decomposition const &other)storm::storage::Decomposition< StateBlock >
operator=(Decomposition &&other)storm::storage::Decomposition< StateBlock >
operator[](uint_fast64_t index) conststorm::storage::Decomposition< StateBlock >
operator[](uint_fast64_t index)storm::storage::Decomposition< StateBlock >
optionsstorm::storage::BisimulationDecomposition< ModelType, BlockDataType >protected
partitionstorm::storage::BisimulationDecomposition< ModelType, BlockDataType >protected
performPartitionRefinement()storm::storage::BisimulationDecomposition< ModelType, BlockDataType >protected
quotientstorm::storage::BisimulationDecomposition< ModelType, BlockDataType >protected
refinePartitionBasedOnSplitter(bisimulation::Block< BlockDataType > &splitter, std::vector< bisimulation::Block< BlockDataType > * > &splitterQueue)=0storm::storage::BisimulationDecomposition< ModelType, BlockDataType >protectedpure virtual
RewardModelType typedefstorm::storage::BisimulationDecomposition< ModelType, BlockDataType >
size() conststorm::storage::Decomposition< StateBlock >
splitInitialPartitionBasedOnActionRewards(std::vector< std::set< ValueType > > const &rewardVector)storm::storage::BisimulationDecomposition< ModelType, BlockDataType >protectedvirtual
splitInitialPartitionBasedOnRewards()storm::storage::BisimulationDecomposition< ModelType, BlockDataType >protectedvirtual
splitInitialPartitionBasedOnRewards(std::vector< ValueType > const &rewardVector)storm::storage::BisimulationDecomposition< ModelType, BlockDataType >protectedvirtual
ValueType typedefstorm::storage::BisimulationDecomposition< ModelType, BlockDataType >
~BisimulationDecomposition()=defaultstorm::storage::BisimulationDecomposition< ModelType, BlockDataType >virtual
~Decomposition()=defaultstorm::storage::Decomposition< StateBlock >virtual