backwardTransitions | storm::storage::BisimulationDecomposition< ModelType, BlockDataType > | protected |
begin() | storm::storage::Decomposition< StateBlock > | |
begin() const | storm::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 typedef | storm::storage::Decomposition< StateBlock > | |
blocks | storm::storage::Decomposition< StateBlock > | protected |
buildQuotient()=0 | storm::storage::BisimulationDecomposition< ModelType, BlockDataType > | protectedpure virtual |
comparator | storm::storage::BisimulationDecomposition< ModelType, BlockDataType > | protected |
computeBisimulationDecomposition() | storm::storage::BisimulationDecomposition< ModelType, BlockDataType > | |
const_iterator typedef | storm::storage::Decomposition< StateBlock > | |
Decomposition() | storm::storage::Decomposition< StateBlock > | |
Decomposition(Decomposition const &other) | storm::storage::Decomposition< StateBlock > | |
Decomposition(Decomposition &&other) | storm::storage::Decomposition< StateBlock > | |
empty() const | storm::storage::Decomposition< StateBlock > | |
end() | storm::storage::Decomposition< StateBlock > | |
end() const | storm::storage::Decomposition< StateBlock > | |
extractDecompositionBlocks() | storm::storage::BisimulationDecomposition< ModelType, BlockDataType > | protected |
extractPartitionDependencyGraph(storm::storage::SparseMatrix< ValueType > const &matrix) const | storm::storage::Decomposition< StateBlock > | |
getBlock(uint_fast64_t index) const | storm::storage::Decomposition< StateBlock > | |
getBlock(uint_fast64_t index) | storm::storage::Decomposition< StateBlock > | |
getQuotient() const | storm::storage::BisimulationDecomposition< ModelType, BlockDataType > | |
getStatesWithProbability01()=0 | storm::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 typedef | storm::storage::Decomposition< StateBlock > | |
model | storm::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) const | storm::storage::Decomposition< StateBlock > | |
operator[](uint_fast64_t index) | storm::storage::Decomposition< StateBlock > | |
options | storm::storage::BisimulationDecomposition< ModelType, BlockDataType > | protected |
partition | storm::storage::BisimulationDecomposition< ModelType, BlockDataType > | protected |
performPartitionRefinement() | storm::storage::BisimulationDecomposition< ModelType, BlockDataType > | protected |
quotient | storm::storage::BisimulationDecomposition< ModelType, BlockDataType > | protected |
refinePartitionBasedOnSplitter(bisimulation::Block< BlockDataType > &splitter, std::vector< bisimulation::Block< BlockDataType > * > &splitterQueue)=0 | storm::storage::BisimulationDecomposition< ModelType, BlockDataType > | protectedpure virtual |
RewardModelType typedef | storm::storage::BisimulationDecomposition< ModelType, BlockDataType > | |
size() const | storm::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 typedef | storm::storage::BisimulationDecomposition< ModelType, BlockDataType > | |
~BisimulationDecomposition()=default | storm::storage::BisimulationDecomposition< ModelType, BlockDataType > | virtual |
~Decomposition()=default | storm::storage::Decomposition< StateBlock > | virtual |