distrib/sources/beh/beh/beh_vect_test.c

   1 /****************************************************************************/
   2 /*                                                                          */
   3 /*                      Chaine de CAO & VLSI   AVERTEC                      */
   4 /*                                                                          */
   5 /*    Produit : BEHVECT Version 1.00                                        */
   6 /*    Fichier : behvect.c                                                   */
   7 /*                                                                          */
   8 /*    (c) copyright 2002 AVERTEC                                            */
   9 /*    Tous droits reserves                                                  */
  10 /*                                                                          */
  11 /*    Auteur(s) :   Antony PINTO                                            */
  12 /*                                                                          */
  13 /****************************************************************************/
  14 #include <stdio.h>
  15 #include <stdlib.h>
  16 #include <string.h>
  17 #include <time.h>
  18 #include <math.h>
  19 #include <setjmp.h>
  20
  21 #include <sys/types.h>
  22 #include <sys/time.h>
  23 #include <sys/resource.h>
  24
  25 #ifndef __P
  26 # if defined(__STDC__) ||  defined(__GNUC__)
  27 #  define __P(x) x
  28 # else
  29 #  define __P(x) ()
  30 # endif
  31 #endif
  32
  33 #include BEH_H
  34 #include MUT_H
  35 #include LOG_H
  36
  37 int main(argc, argv)
  38 int     argc;
  39 char    *argv[];
  40 {
  41   chain_list *abl1  = NULL;
  42   chain_list *abl2  = NULL;
  43   chain_list *abl3  = NULL;
  44   chain_list *abl4  = NULL;
  45   chain_list *abl5  = NULL;
  46   chain_list *chainx;
  47
  48   mbkenv();               /* MBK environment */
  49
  50
  51   abl1 = addchain(abl1,addchain(NULL,namealloc("B")));
  52   abl1 = addchain(abl1,addchain(NULL,namealloc("D")));
  53   abl1 = addchain(abl1,addchain(NULL,OR));
  54   displayExpr(abl1);
  55
  56   abl2 = addchain(abl2,addchain(NULL,namealloc("T")));
  57   abl2 = addchain(abl2,addchain(NULL,namealloc("F")));
  58   abl2 = addchain(abl2,addchain(NULL,AND));
  59   displayExpr(abl2);
  60
  61   abl3 = concatAbl(abl1,abl2);
  62   displayExpr(abl3);
  63
  64   abl4 = concatAbl(abl3,addchain(NULL,namealloc("A")));
  65   displayExpr(abl4);
  66   displayExpr(getAblAtPos(abl4,1));
  67
  68   abl5 = addchain(NULL,namealloc("b 6:4"));
  69   displayExpr(abl5);
  70   displayExpr(getAblAtPos(abl5,1));
  71
  72   abl5 = addchain(NULL,namealloc("b 2:4"));
  73   displayExpr(abl5);
  74   displayExpr(getAblAtPos(abl5,1));
  75
  76   abl4 = addchain(NULL,abl4);
  77   abl4 = addchain(abl4,abl5);
  78   abl4 = addchain(abl4,addchain(NULL,OR));
  79   displayExpr(abl4);
  80   displayExpr(getAblAtPos(abl4,1));
  81
  82   abl4 = replicateAbl(abl4,3);
  83   displayExpr(abl4);
  84   chainx = supportChain_listExpr(abl4);
  85   for (;chainx;chainx=chainx->NEXT)
  86     printf("%s ",chainx->DATA);
  87   printf("\n");
  88
  89   displayExpr(getAblAtPos(abl4,4));
  90   displayExpr(getAblAtPos(abl4,6));
  91
  92   abl4 = replicateAbl(abl2,3);
  93   displayExpr(abl4);
  94   displayExpr(getAblAtPos(abl4,1));
  95
  96
  97   EXIT(EXIT_SUCCESS);
  98 }