Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::dd::bisimulation::Partition< DdType, ValueType > Member List

This is the complete list of members for storm::dd::bisimulation::Partition< DdType, ValueType >, including all inherited members.

asAdd() conststorm::dd::bisimulation::Partition< DdType, ValueType >
asBdd() conststorm::dd::bisimulation::Partition< DdType, ValueType >
changedStatesAsAdd() conststorm::dd::bisimulation::Partition< DdType, ValueType >
changedStatesAsBdd() conststorm::dd::bisimulation::Partition< DdType, ValueType >
create(storm::models::symbolic::Model< DdType, ValueType > const &model, storm::storage::BisimulationType const &bisimulationType, PreservationInformation< DdType, ValueType > const &preservationInformation)storm::dd::bisimulation::Partition< DdType, ValueType >static
create(storm::models::symbolic::Model< DdType, ValueType > const &model, storm::storage::BisimulationType const &bisimulationType, std::vector< std::shared_ptr< storm::logic::Formula const > > const &formulas)storm::dd::bisimulation::Partition< DdType, ValueType >static
createTrivialChoicePartition(storm::models::symbolic::NondeterministicModel< DdType, ValueType > const &model, std::pair< storm::expressions::Variable, storm::expressions::Variable > const &blockVariables)storm::dd::bisimulation::Partition< DdType, ValueType >static
getBlockVariable() conststorm::dd::bisimulation::Partition< DdType, ValueType >
getBlockVariables() conststorm::dd::bisimulation::Partition< DdType, ValueType >
getNextFreeBlockIndex() conststorm::dd::bisimulation::Partition< DdType, ValueType >
getNodeCount() conststorm::dd::bisimulation::Partition< DdType, ValueType >
getNumberOfBlocks() conststorm::dd::bisimulation::Partition< DdType, ValueType >
getNumberOfStates() conststorm::dd::bisimulation::Partition< DdType, ValueType >
getPrimedBlockVariable() conststorm::dd::bisimulation::Partition< DdType, ValueType >
getStates() conststorm::dd::bisimulation::Partition< DdType, ValueType >
hasChangedStates() conststorm::dd::bisimulation::Partition< DdType, ValueType >
operator==(Partition< DdType, ValueType > const &other) conststorm::dd::bisimulation::Partition< DdType, ValueType >
Partition()storm::dd::bisimulation::Partition< DdType, ValueType >
replacePartition(storm::dd::Add< DdType, ValueType > const &newPartitionAdd, uint64_t numberOfBlocks, uint64_t nextFreeBlockIndex, boost::optional< storm::dd::Add< DdType, ValueType > > const &changedStates=boost::none) conststorm::dd::bisimulation::Partition< DdType, ValueType >
replacePartition(storm::dd::Bdd< DdType > const &newPartitionBdd, uint64_t numberOfBlocks, uint64_t nextFreeBlockIndex, boost::optional< storm::dd::Bdd< DdType > > const &changedStates=boost::none) conststorm::dd::bisimulation::Partition< DdType, ValueType >
storedAsAdd() conststorm::dd::bisimulation::Partition< DdType, ValueType >
storedAsBdd() conststorm::dd::bisimulation::Partition< DdType, ValueType >