PolyBoRi
polybori::CDDManager< CCuddInterface > Member List

This is the complete list of members for polybori::CDDManager< CCuddInterface >, including all inherited members.

base typedefpolybori::CDDManager< CCuddInterface >
blank() constpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >inline
CDDManager(size_type nvars=0)polybori::CDDManager< CCuddInterface >inline
CDDManager(const manager_type &rhs)polybori::CDDManager< CCuddInterface >inline
CDDManagerBase(size_type nvars=0, size_type numSlots=CUDD_UNIQUE_SLOTS, size_type cacheSize=CUDD_CACHE_SLOTS, unsigned long maxMemory=0)polybori::CDDManagerBase< CCuddInterface, CCuddInterface >inline
CDDManagerBase(const self &rhs)polybori::CDDManagerBase< CCuddInterface, CCuddInterface >inline
CDDManagerBase(const interfaced_type &rhs)polybori::CDDManagerBase< CCuddInterface, CCuddInterface >inline
CDDManagerBase(const dd_type &dd)polybori::CDDManagerBase< CCuddInterface, CCuddInterface >inline
const_varname_reference typedefpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >
dd_base typedefpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >
dd_type typedefpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >
ddVariable(idx_type nvar) constpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >inline
empty() constpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >inline
fetchDiagram(const dd_base &rhs) constpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >inline
getVariableName(idx_type idx) constpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >inline
idx_type typedefpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >
interfaced_store typedefpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >
interfaced_type typedefpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >
manager()polybori::CDDManagerBase< CCuddInterface, CCuddInterface >inline
manager() constpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >inline
manager_type typedefpolybori::CDDManager< CCuddInterface >
nVariables() constpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >inline
operator const interfaced_type &() constpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >inline
operator interfaced_type &()polybori::CDDManagerBase< CCuddInterface, CCuddInterface >inline
persistent_cache_type typedefpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >
persistentVariable(idx_type nvar) constpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >inline
printInfo() constpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >inline
self typedefpolybori::CDDManager< CCuddInterface >
setVariableName(idx_type idx, const_varname_reference varname)polybori::CDDManagerBase< CCuddInterface, CCuddInterface >inline
size_type typedefpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >
storage_type typedefpolybori::CDDManager< CCuddInterface >
variable(idx_type nvar) constpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >inline
variable_names_type typedefpolybori::CDDManagerBase< CCuddInterface, CCuddInterface >
~CDDManager()polybori::CDDManager< CCuddInterface >inline
~CDDManagerBase()polybori::CDDManagerBase< CCuddInterface, CCuddInterface >inline