Commit 263d0b71 authored by Valentin Touzeau's avatar Valentin Touzeau Committed by EXT Valentin Touzeau
Browse files

Fix bug in minDotProduct

parent 95f1c9f9
...@@ -13,8 +13,6 @@ DdNode* ZddMinDotProduct(DdManager* dd, DdNode* S, DdNode* T); ...@@ -13,8 +13,6 @@ DdNode* ZddMinDotProduct(DdManager* dd, DdNode* S, DdNode* T);
namespace exactlru namespace exactlru
{ {
long int count = 0;
ZDD ZDD::one(ManagerPtr manager) ZDD ZDD::one(ManagerPtr manager)
{ {
ASSERT(manager); ASSERT(manager);
...@@ -47,7 +45,6 @@ ZDD::ZDD(const ZDD& other) : _manager(other._manager), _zdd(other._zdd) ...@@ -47,7 +45,6 @@ ZDD::ZDD(const ZDD& other) : _manager(other._manager), _zdd(other._zdd)
ZDD::~ZDD() ZDD::~ZDD()
{ {
++count;
if(_zdd != nullptr) if(_zdd != nullptr)
Cudd_RecursiveDerefZdd(_manager->getManager(), _zdd); Cudd_RecursiveDerefZdd(_manager->getManager(), _zdd);
} }
...@@ -309,7 +306,7 @@ ZddMinDotProduct( ...@@ -309,7 +306,7 @@ ZddMinDotProduct(
} }
/* remove subsets with this element covering subsets without this element */ /* remove subsets with this element covering subsets without this element */
zRes1 = extraZddNotSubSet(dd, zTemp = zRes1, zRes0); zRes1 = extraZddNotSupSet(dd, zTemp = zRes1, zRes0);
if ( zRes1 == NULL ) if ( zRes1 == NULL )
{ {
Cudd_RecursiveDerefZdd(dd, zTemp); Cudd_RecursiveDerefZdd(dd, zTemp);
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment