asAdd() const | storm::dd::bisimulation::Partition< DdType, ValueType > | |
asBdd() const | storm::dd::bisimulation::Partition< DdType, ValueType > | |
changedStatesAsAdd() const | storm::dd::bisimulation::Partition< DdType, ValueType > | |
changedStatesAsBdd() const | storm::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() const | storm::dd::bisimulation::Partition< DdType, ValueType > | |
getBlockVariables() const | storm::dd::bisimulation::Partition< DdType, ValueType > | |
getNextFreeBlockIndex() const | storm::dd::bisimulation::Partition< DdType, ValueType > | |
getNodeCount() const | storm::dd::bisimulation::Partition< DdType, ValueType > | |
getNumberOfBlocks() const | storm::dd::bisimulation::Partition< DdType, ValueType > | |
getNumberOfStates() const | storm::dd::bisimulation::Partition< DdType, ValueType > | |
getPrimedBlockVariable() const | storm::dd::bisimulation::Partition< DdType, ValueType > | |
getStates() const | storm::dd::bisimulation::Partition< DdType, ValueType > | |
hasChangedStates() const | storm::dd::bisimulation::Partition< DdType, ValueType > | |
operator==(Partition< DdType, ValueType > const &other) const | storm::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) const | storm::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) const | storm::dd::bisimulation::Partition< DdType, ValueType > | |
storedAsAdd() const | storm::dd::bisimulation::Partition< DdType, ValueType > | |
storedAsBdd() const | storm::dd::bisimulation::Partition< DdType, ValueType > | |