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 f76d0562 authored by Valentin Touzeau's avatar Valentin Touzeau
Browse files

Fix update

parent 6cef8b44
...@@ -6,6 +6,7 @@ add_library(extra STATIC ...@@ -6,6 +6,7 @@ add_library(extra STATIC
src/minUnion.c src/minUnion.c
src/notSubSet.c src/notSubSet.c
src/notSupSet.c src/notSupSet.c
src/emptyBelongs.c
) )
set_target_properties(extra set_target_properties(extra
......
...@@ -5,6 +5,8 @@ ...@@ -5,6 +5,8 @@
#include <cudd.h> #include <cudd.h>
#include <cuddInt.h> #include <cuddInt.h>
extern int Extra_zddEmptyBelongs( DdManager *dd, DdNode* zS );
extern DdNode * Extra_zddMaxUnion( DdManager *dd, DdNode * S, DdNode * T ); extern DdNode * Extra_zddMaxUnion( DdManager *dd, DdNode * S, DdNode * T );
extern DdNode * extraZddMaxUnion( DdManager *dd, DdNode * S, DdNode * T ); extern DdNode * extraZddMaxUnion( DdManager *dd, DdNode * S, DdNode * T );
extern DdNode * Extra_zddMinUnion( DdManager *dd, DdNode * S, DdNode * T ); extern DdNode * Extra_zddMinUnion( DdManager *dd, DdNode * S, DdNode * T );
......
#include <extra.h>
int
Extra_zddEmptyBelongs(
DdManager *dd,
DdNode* zS )
{
while ( zS->index != CUDD_MAXINDEX )
zS = cuddE( zS );
return (int)( zS == DD_ONE(dd) );
} /* end of Extra_zddEmptyBelongs */
...@@ -8,7 +8,7 @@ DdNode *Extra_zddMinDotProduct( ...@@ -8,7 +8,7 @@ DdNode *Extra_zddMinDotProduct(
DdNode *res; DdNode *res;
do { do {
dd->reordered = 0; dd->reordered = 0;
res = ZddMinDotProduct(dd, S, T); res = extraZddMinDotProduct(dd, S, T);
} while (dd->reordered == 1); } while (dd->reordered == 1);
return(res); return(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