CDDManagerBase< CuddLikeManType, StorageType > Member List

This is the complete list of members for CDDManagerBase< CuddLikeManType, StorageType >, including all inherited members.
blank() const CDDManagerBase< CuddLikeManType, StorageType > [inline]
CDDManagerBase(size_type nvars=0, size_type numSlots=PBORI_UNIQUE_SLOTS, size_type cacheSize=PBORI_CACHE_SLOTS, unsigned long maxMemory=PBORI_MAX_MEMORY)CDDManagerBase< CuddLikeManType, StorageType > [inline]
CDDManagerBase(const self &rhs)CDDManagerBase< CuddLikeManType, StorageType > [inline]
CDDManagerBase(const interfaced_type &rhs)CDDManagerBase< CuddLikeManType, StorageType > [inline]
CDDManagerBase(const dd_type &dd)CDDManagerBase< CuddLikeManType, StorageType > [inline]
const_varname_reference typedefCDDManagerBase< CuddLikeManType, StorageType >
dd_base typedefCDDManagerBase< CuddLikeManType, StorageType >
dd_type typedefCDDManagerBase< CuddLikeManType, StorageType >
ddVariable(idx_type nvar) const CDDManagerBase< CuddLikeManType, StorageType > [inline]
empty() const CDDManagerBase< CuddLikeManType, StorageType > [inline]
fetchDiagram(const dd_base &rhs) const CDDManagerBase< CuddLikeManType, StorageType > [inline]
getVariableName(idx_type idx) const CDDManagerBase< CuddLikeManType, StorageType > [inline]
idx_type typedefCDDManagerBase< CuddLikeManType, StorageType >
interfaced_store typedefCDDManagerBase< CuddLikeManType, StorageType >
interfaced_type typedefCDDManagerBase< CuddLikeManType, StorageType >
manager()CDDManagerBase< CuddLikeManType, StorageType > [inline]
manager() const CDDManagerBase< CuddLikeManType, StorageType > [inline]
nVariables() const CDDManagerBase< CuddLikeManType, StorageType > [inline]
operator const interfaced_type &() const CDDManagerBase< CuddLikeManType, StorageType > [inline]
operator interfaced_type &()CDDManagerBase< CuddLikeManType, StorageType > [inline]
persistent_cache_type typedefCDDManagerBase< CuddLikeManType, StorageType >
persistentVariable(idx_type nvar) const CDDManagerBase< CuddLikeManType, StorageType > [inline]
printInfo() const CDDManagerBase< CuddLikeManType, StorageType > [inline]
self typedefCDDManagerBase< CuddLikeManType, StorageType >
setVariableName(idx_type idx, const_varname_reference varname)CDDManagerBase< CuddLikeManType, StorageType > [inline]
size_type typedefCDDManagerBase< CuddLikeManType, StorageType >
variable(idx_type nvar) const CDDManagerBase< CuddLikeManType, StorageType > [inline]
variable_names_type typedefCDDManagerBase< CuddLikeManType, StorageType >
~CDDManagerBase()CDDManagerBase< CuddLikeManType, StorageType > [inline]
Generated on Wed May 5 21:35:58 2010 for PolyBoRi by  doxygen 1.6.3