storm::storage::BisimulationDecomposition< ModelType, BlockDataType > Member List

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

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