Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Commit 76e7afa8 authored by Valentin Touzeau's avatar Valentin Touzeau Committed by EXT Valentin Touzeau
Browse files

bug fix

parent 263d0b71
...@@ -127,11 +127,11 @@ ZDD ZDD::minDotProduct(const ZDD& other) const ...@@ -127,11 +127,11 @@ ZDD ZDD::minDotProduct(const ZDD& other) const
// TODO: Reduce at each step (code Extra_zddMinDotProduct) // TODO: Reduce at each step (code Extra_zddMinDotProduct)
// TODO: Check failure // TODO: Check failure
DdNode* res = zddMinDotProduct(_manager->getManager(), _zdd, other._zdd); // DdNode* res = zddMinDotProduct(_manager->getManager(), _zdd, other._zdd);
// DdNode* u = Extra_zddDotProduct(_manager->getManager(), _zdd, other._zdd); DdNode* u = Extra_zddDotProduct(_manager->getManager(), _zdd, other._zdd);
// Cudd_Ref(u); Cudd_Ref(u);
// DdNode* res = Extra_zddMinimal(_manager->getManager(), u); DdNode* res = Extra_zddMinimal(_manager->getManager(), u);
// Cudd_Deref(u); Cudd_Deref(u);
return ZDD(_manager, res); return ZDD(_manager, res);
} }
......
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