storm::dd::DdManager< LibraryType > Member List

This is the complete list of members for storm::dd::DdManager< LibraryType >, including all inherited members.

Add	storm::dd::DdManager< LibraryType >	friend
addBitVectorMetaVariable(std::string const &variableName, uint64_t bits, uint64_t numberOfLayers, boost::optional< std::pair< MetaVariablePosition, storm::expressions::Variable > > const &position=boost::none)	storm::dd::DdManager< LibraryType >
AddIterator	storm::dd::DdManager< LibraryType >	friend
addMetaVariable(std::string const &variableName, int_fast64_t low, int_fast64_t high, boost::optional< std::pair< MetaVariablePosition, storm::expressions::Variable > > const &position=boost::none)	storm::dd::DdManager< LibraryType >
addMetaVariable(std::string const &variableName, int_fast64_t low, int_fast64_t high, uint64_t numberOfLayers, boost::optional< std::pair< MetaVariablePosition, storm::expressions::Variable > > const &position=boost::none)	storm::dd::DdManager< LibraryType >
addMetaVariable(std::string const &variableName, boost::optional< std::pair< MetaVariablePosition, storm::expressions::Variable > > const &position=boost::none)	storm::dd::DdManager< LibraryType >
addMetaVariable(std::string const &variableName, uint64_t numberOfLayers, boost::optional< std::pair< MetaVariablePosition, storm::expressions::Variable > > const &position=boost::none)	storm::dd::DdManager< LibraryType >
allowDynamicReordering(bool value)	storm::dd::DdManager< LibraryType >
asSharedPointer()	storm::dd::DdManager< LibraryType >
asSharedPointer() const	storm::dd::DdManager< LibraryType >
Bdd< LibraryType >	storm::dd::DdManager< LibraryType >	friend
cloneVariable(storm::expressions::Variable const &variable, std::string const &newVariableName, boost::optional< uint64_t > const &numberOfLayers=boost::none)	storm::dd::DdManager< LibraryType >
DdManager()	storm::dd::DdManager< LibraryType >
DdManager(DdManager< LibraryType > const &other)=delete	storm::dd::DdManager< LibraryType >
DdManager(DdManager< LibraryType > &&other)=default	storm::dd::DdManager< LibraryType >
debugCheck() const	storm::dd::DdManager< LibraryType >
execute(std::function< void()> const &f) const	storm::dd::DdManager< LibraryType >
getAddOne() const	storm::dd::DdManager< LibraryType >
getAddUndefined() const	storm::dd::DdManager< LibraryType >
getAddZero() const	storm::dd::DdManager< LibraryType >
getAllMetaVariableNames() const	storm::dd::DdManager< LibraryType >
getAllMetaVariables() const	storm::dd::DdManager< LibraryType >
getBddOne() const	storm::dd::DdManager< LibraryType >
getBddZero() const	storm::dd::DdManager< LibraryType >
getConstant(ValueType const &value) const	storm::dd::DdManager< LibraryType >
getCube(storm::expressions::Variable const &variable) const	storm::dd::DdManager< LibraryType >
getCube(std::set< storm::expressions::Variable > const &variables) const	storm::dd::DdManager< LibraryType >
getEncoding(storm::expressions::Variable const &variable, int_fast64_t value, bool mostSignificantBitAtTop=true) const	storm::dd::DdManager< LibraryType >
getIdentity(storm::expressions::Variable const &variable) const	storm::dd::DdManager< LibraryType >
getIdentity(std::vector< std::pair< storm::expressions::Variable, storm::expressions::Variable > > const &variablePairs, bool restrictToFirstRange=true) const	storm::dd::DdManager< LibraryType >
getIdentity(storm::expressions::Variable const &first, storm::expressions::Variable const &second, bool restrictToFirstRange=true) const	storm::dd::DdManager< LibraryType >
getInfinity() const	storm::dd::DdManager< LibraryType >
getInternalDdManager()	storm::dd::DdManager< LibraryType >
getInternalDdManager() const	storm::dd::DdManager< LibraryType >
getMetaVariable(std::string const &variableName) const	storm::dd::DdManager< LibraryType >
getMetaVariable(storm::expressions::Variable const &variable) const	storm::dd::DdManager< LibraryType >
getNumberOfMetaVariables() const	storm::dd::DdManager< LibraryType >
getRange(storm::expressions::Variable const &variable) const	storm::dd::DdManager< LibraryType >
getSortedVariableIndices() const	storm::dd::DdManager< LibraryType >
getSortedVariableIndices(std::set< storm::expressions::Variable > const &metaVariables) const	storm::dd::DdManager< LibraryType >
hasMetaVariable(std::string const &variableName) const	storm::dd::DdManager< LibraryType >
isDynamicReorderingAllowed() const	storm::dd::DdManager< LibraryType >
operator=(DdManager< LibraryType > const &other)=delete	storm::dd::DdManager< LibraryType >
operator=(DdManager< LibraryType > &&other)=default	storm::dd::DdManager< LibraryType >
supportsOrderedInsertion() const	storm::dd::DdManager< LibraryType >
triggerReordering()	storm::dd::DdManager< LibraryType >