Storm
A Modern Probabilistic Model Checker
|
This is the complete list of members for storm::storage::bisimulation::Partition< DataType >, including all inherited members.
begin(Block< DataType > const &block) | storm::storage::bisimulation::Partition< DataType > | |
begin(Block< DataType > const &block) const | storm::storage::bisimulation::Partition< DataType > | |
begin() | storm::storage::bisimulation::Partition< DataType > | |
begin() const | storm::storage::bisimulation::Partition< DataType > | |
check() const | storm::storage::bisimulation::Partition< DataType > | |
computeRangesOfEqualValue(uint_fast64_t startIndex, uint_fast64_t endIndex, std::function< bool(storm::storage::sparse::state_type, storm::storage::sparse::state_type)> const &less) | storm::storage::bisimulation::Partition< DataType > | |
end(Block< DataType > const &block) | storm::storage::bisimulation::Partition< DataType > | |
end(Block< DataType > const &block) const | storm::storage::bisimulation::Partition< DataType > | |
end() | storm::storage::bisimulation::Partition< DataType > | |
end() const | storm::storage::bisimulation::Partition< DataType > | |
getBlock(storm::storage::sparse::state_type state) | storm::storage::bisimulation::Partition< DataType > | |
getBlock(storm::storage::sparse::state_type state) const | storm::storage::bisimulation::Partition< DataType > | |
getBlocks() const | storm::storage::bisimulation::Partition< DataType > | |
getBlocks() | storm::storage::bisimulation::Partition< DataType > | |
getPosition(storm::storage::sparse::state_type state) const | storm::storage::bisimulation::Partition< DataType > | |
getState(storm::storage::sparse::state_type position) const | storm::storage::bisimulation::Partition< DataType > | |
mapStatesToBlock(Block< DataType > &block, std::vector< storm::storage::sparse::state_type >::iterator first, std::vector< storm::storage::sparse::state_type >::iterator last) | storm::storage::bisimulation::Partition< DataType > | |
mapStatesToPositions(Block< DataType > const &block) | storm::storage::bisimulation::Partition< DataType > | |
mapStatesToPositions(std::vector< storm::storage::sparse::state_type >::const_iterator first, std::vector< storm::storage::sparse::state_type >::const_iterator last) | storm::storage::bisimulation::Partition< DataType > | |
operator=(Partition const &other)=default | storm::storage::bisimulation::Partition< DataType > | |
operator=(Partition &&other)=default | storm::storage::bisimulation::Partition< DataType > | |
Partition(std::size_t numberOfStates) | storm::storage::bisimulation::Partition< DataType > | |
Partition(std::size_t numberOfStates, storm::storage::BitVector const &prob0States, storm::storage::BitVector const &prob1States, boost::optional< storm::storage::sparse::state_type > representativeProb1State) | storm::storage::bisimulation::Partition< DataType > | |
Partition()=default | storm::storage::bisimulation::Partition< DataType > | |
Partition(Partition const &other)=default | storm::storage::bisimulation::Partition< DataType > | |
Partition(Partition &&other)=default | storm::storage::bisimulation::Partition< DataType > | |
print() const | storm::storage::bisimulation::Partition< DataType > | |
size() const | storm::storage::bisimulation::Partition< DataType > | |
sortBlock(Block< DataType > &block, std::function< bool(storm::storage::sparse::state_type, storm::storage::sparse::state_type)> const &less, bool updatePositions=true) | storm::storage::bisimulation::Partition< DataType > | |
sortBlock(Block< DataType > const &block) | storm::storage::bisimulation::Partition< DataType > | |
sortRange(storm::storage::sparse::state_type beginIndex, storm::storage::sparse::state_type endIndex, std::function< bool(storm::storage::sparse::state_type, storm::storage::sparse::state_type)> const &less, bool updatePositions=true) | storm::storage::bisimulation::Partition< DataType > | |
split(std::function< bool(storm::storage::sparse::state_type, storm::storage::sparse::state_type)> const &less, std::function< void(Block< DataType > &)> const &newBlockCallback) | storm::storage::bisimulation::Partition< DataType > | |
split(std::function< bool(storm::storage::sparse::state_type, storm::storage::sparse::state_type)> const &less) | storm::storage::bisimulation::Partition< DataType > | |
splitBlock(Block< DataType > &block, storm::storage::sparse::state_type position) | storm::storage::bisimulation::Partition< DataType > | |
splitBlock(Block< DataType > &block, std::function< bool(storm::storage::sparse::state_type, storm::storage::sparse::state_type)> const &less, std::function< void(Block< DataType > &)> const &newBlockCallback) | storm::storage::bisimulation::Partition< DataType > | |
splitBlock(Block< DataType > &block, std::function< bool(storm::storage::sparse::state_type, storm::storage::sparse::state_type)> const &less) | storm::storage::bisimulation::Partition< DataType > | |
splitStates(Block< DataType > &block, storm::storage::BitVector const &states) | storm::storage::bisimulation::Partition< DataType > | |
splitStates(storm::storage::BitVector const &states) | storm::storage::bisimulation::Partition< DataType > | |
swapStates(storm::storage::sparse::state_type state1, storm::storage::sparse::state_type state2) | storm::storage::bisimulation::Partition< DataType > | |
swapStatesAtPositions(storm::storage::sparse::state_type position1, storm::storage::sparse::state_type position2) | storm::storage::bisimulation::Partition< DataType > |