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() 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 >