114 #ifndef PBORI_UNIQUE_SLOTS
115 # define PBORI_UNIQUE_SLOTS CUDD_UNIQUE_SLOTS // initial size of subtables
118 #ifndef PBORI_CACHE_SLOTS
119 # define PBORI_CACHE_SLOTS CUDD_CACHE_SLOTS // default size of the cache
122 #ifndef PBORI_MAX_MEMORY
123 # define PBORI_MAX_MEMORY 0 // target maximum memory occupation
134 return ZDD(&const_cast<Cudd&>(mgr), rhs.getNode());
137 template <
class MgrType,
class DDType>
145 return const_cast<Cudd&
>(mgr);
148 template <
class MgrType>
149 inline const MgrType&
164 template <
class CuddLikeManType,
class StorageType>
203 m_interfaced(0, nvars, numSlots, cacheSize, maxMemory) { }
207 m_interfaced(rhs.m_interfaced) {
216 m_interfaced(dd.manager()) { }
228 return manager().zddVar(nvar);
233 return blank().change(nvar);
238 return manager().getVar(nvar);
243 return manager().nVariables();
271 manager().setName(idx, varname);
276 return manager().getName(idx);
281 mutable interfaced_store m_interfaced;
415 #endif // of #ifndef CDDManager_h_