Gloups

alliance/src/bdd/src/bddalloc.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddalloc.h"

alliance/src/bdd/src/bddapply.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddapply.h"

alliance/src/bdd/src/bddassoc.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddassoc.h"

alliance/src/bdd/src/bddblock.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include <stdlib.h>

alliance/src/bdd/src/bddcheck.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddcheck.h"

alliance/src/bdd/src/bddcircuit.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include <memory.h>

alliance/src/bdd/src/bddcofactor.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddcofactor.h"

alliance/src/bdd/src/bddcompose.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddcompose.h"

alliance/src/bdd/src/bddconvert.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddconvert.h"

alliance/src/bdd/src/bdddump.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include <string.h>

alliance/src/bdd/src/bddenv.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddenv.h"

alliance/src/bdd/src/bdderror.c

@@ -44,10 +44,10 @@
 
 # include <stdio.h>
 # include <string.h>
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 # include "bdderror.h"
 
 /*------------------------------------------------------------\

alliance/src/bdd/src/bddexist.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddassoc.h"

alliance/src/bdd/src/bddexplosion.c

@@ -43,10 +43,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddexplosion.h"

alliance/src/bdd/src/bddflag.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddflag.h"

alliance/src/bdd/src/bddfraction.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddfraction.h"

alliance/src/bdd/src/bddfree.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddfree.h"

alliance/src/bdd/src/bddgarbage.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddgarbage.h"

alliance/src/bdd/src/bddheath.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddheath.h"

alliance/src/bdd/src/bddhnode.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include <string.h>

alliance/src/bdd/src/bddhoper.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include <string.h>

alliance/src/bdd/src/bddimply.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 

alliance/src/bdd/src/bddlog.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include <string.h>

alliance/src/bdd/src/bddmark.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddmark.h"

alliance/src/bdd/src/bddnode.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include <string.h>

alliance/src/bdd/src/bddoptimize.c

@@ -28,10 +28,10 @@
 /*                               Includes                               */
 /*----------------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddoptimize.h"

alliance/src/bdd/src/bddreduce.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddassoc.h"

alliance/src/bdd/src/bddref.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddref.h"

alliance/src/bdd/src/bddrelprod.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddassoc.h"

alliance/src/bdd/src/bddreorder.c

@@ -43,10 +43,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddreorder.h"

alliance/src/bdd/src/bddresize.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddresize.h"

alliance/src/bdd/src/bddsatisfy.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddsatisfy.h"

alliance/src/bdd/src/bddsimpdc.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddapply.h"

alliance/src/bdd/src/bddsubst.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddassoc.h"

alliance/src/bdd/src/bddsupport.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddsupport.h"

alliance/src/bdd/src/bddsweep.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddsweep.h"

alliance/src/bdd/src/bddsystem.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddsystem.h"

alliance/src/bdd/src/bddtest.c

@@ -45,10 +45,10 @@
 # include <stdlib.h>
 # include <string.h>
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include "bddtest.h"
 # include "bdderror.h"

alliance/src/bdd/src/bddtransfert.c

@@ -28,10 +28,10 @@
 /*                               Includes                               */
 /*----------------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddtransfert.h"

alliance/src/bdd/src/bdduser.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bdduser.h"

alliance/src/bdd/src/bddvar.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include <memory.h>

alliance/src/bdd/src/bddvaraux.c

@@ -41,10 +41,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddapply.h"

alliance/src/bdd/src/bddvartree.c

@@ -15,10 +15,10 @@
 |                                                             |
 \------------------------------------------------------------*/
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 # include <stdio.h>
 # include "bddvartree.h"

alliance/src/bdd/src/main.c

@@ -26,10 +26,10 @@
 \------------------------------------------------------------*/
 # include <stdio.h>
 
-# include MUT_H
+# include "mut.h"
-# include AUT_H
+# include "aut.h"
-# include ABL_H
+# include "abl.h"
-# include BDD_H
+# include "bdd.h"
 
 int main( argc, argv )