60 #include <boost/intrusive_ptr.hpp>
115 variable_names_type m_names;
126 ref(0), m_names(numVarsZ), m_vars(numVarsZ) {
127 manager = Cudd_Init(numVars,numVarsZ,numSlots,cacheSize,maxMemory);
130 for (
unsigned idx = 0 ; idx < numVarsZ; ++idx) {
131 m_vars[idx] = cuddUniqueInterZdd(manager, idx, DD_ONE(manager),
133 Cudd_Ref(m_vars[idx]);
141 for (std::vector<node_type>::iterator iter = m_vars.begin(); iter !=
142 m_vars.end(); ++iter) {
144 Cudd_RecursiveDerefZdd(manager, *iter);
147 int retval = Cudd_CheckZeroRef(manager);