==================================================================== Modification le : Thu Sep 23 16:18:18 MET DST 1999 Par : ==================================================================== Update of /users/outil1/alliance/cvsroot/alliance/sources/syf/bdd In directory trash:/users/outil6/syf/alliance/sources/syf/bdd Modified Files: Makefile bddalloc.c bddalloc.h bddapply.h bddassoc.h bddblock.h bddcheck.h bddcircuit.c bddcircuit.h bddcofactor.c bddcofactor.h bddcompose.h bddconvert.h bdddump.c bdddump.h bddenv.h bddexist.h bddfraction.h bddfree.c bddfree.h bddgarbage.h bddheath.h bddhoper.h bddimply.h bddlog.h bddmark.c bddmark.h bddnode.c bddnode.h bddreduce.h bddref.h bddrelprod.h bddreorder.c bddreorder.h bddresize.c bddresize.h bddsatisfy.c bddsatisfy.h bddsimpdc.h bddsubst.h bddsupport.c bddsupport.h bddsweep.h bddsystem.c bddsystem.h bddtest.c bddtest.h bdduser.h bddvar.c bddvar.h bddvaraux.h Log Message: Nouvelle librairie bdd (Arnaud, Ludo)