Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::storage::bisimulation::Partition< DataType > Member List

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) conststorm::storage::bisimulation::Partition< DataType >
begin()storm::storage::bisimulation::Partition< DataType >
begin() conststorm::storage::bisimulation::Partition< DataType >
check() conststorm::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) conststorm::storage::bisimulation::Partition< DataType >
end()storm::storage::bisimulation::Partition< DataType >
end() conststorm::storage::bisimulation::Partition< DataType >
getBlock(storm::storage::sparse::state_type state)storm::storage::bisimulation::Partition< DataType >
getBlock(storm::storage::sparse::state_type state) conststorm::storage::bisimulation::Partition< DataType >
getBlocks() conststorm::storage::bisimulation::Partition< DataType >
getBlocks()storm::storage::bisimulation::Partition< DataType >
getPosition(storm::storage::sparse::state_type state) conststorm::storage::bisimulation::Partition< DataType >
getState(storm::storage::sparse::state_type position) conststorm::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)=defaultstorm::storage::bisimulation::Partition< DataType >
operator=(Partition &&other)=defaultstorm::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()=defaultstorm::storage::bisimulation::Partition< DataType >
Partition(Partition const &other)=defaultstorm::storage::bisimulation::Partition< DataType >
Partition(Partition &&other)=defaultstorm::storage::bisimulation::Partition< DataType >
print() conststorm::storage::bisimulation::Partition< DataType >
size() conststorm::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 >