distrib/sources/tas/zen/zen_all.h

   1 /****************************************************************************/
   2 /*                                                                          */
   3 /*                      Chaine de CAO & VLSI   AVERTEC                      */
   4 /*                                                                          */
   5 /*    Produit : zen                                                         */
   6 /*    Fichier : zen_all.h                                                   */
   7 /*                                                                          */
   8 /*    (c) copyright 2002 AVERTEC                                            */
   9 /*    Tous droits reserves                                                  */
  10 /*                                                                          */
  11 /*    Auteur(s) :   Antony PINTO                                            */
  12 /*                                                                          */
  13 /****************************************************************************/
  14
  15 #ifndef ZEN_ALL_H
  16 #define ZEN_ALL_H
  17
  18 #define RET(X)        res = (X); goto fin;
  19
  20 extern  int ZEN_FAST;
  21 extern  int ZEN_LEVEL;
  22
  23 // added to prevent warning
  24 int          zen_simulNod           ( zennod_list *znod         ,
  25                                       int          level        );
  26 int          zen_simulOutNod        ( zennod_list *znod         ,
  27                                       zennod_list *inznod       ,
  28                                       int          level        );
  29
  30 int          toto                   ( zennod_list *ZenNod       ,
  31                                       char         Value        );
  32 int          zen_nbResOne           ( pNode        Bdd          );
  33 int          zen_nbResZero          ( pNode        Bdd          );
  34 int          zen_algo1              ( zenfig_list *ZenFig       );
  35 int          zen_algo1Loc           ( zenfig_list *zfig         ,
  36                                       chain_list  *Path         );
  37 int          zen_algo2              ( zenfig_list *ZenFig       );
  38 int          zen_algo2Loc           ( zenfig_list *ZenFig       );
  39 int          zen_resteIn            ( zenfig_list *ZenFig       );
  40 int          zen_impderiv           ( zenfig_list *zfig         ,
  41                                       chain_list  *path         );
  42 chain_list  *zen_searchSetNod       ( zennod_list *znod         );
  43 chain_list  *zen_searchUnSetNode    ( zennod_list *ChainNod     );
  44 int          zen_decision           ( zenfig_list *ZenFig       ,
  45                                       zennod_list *Node         ,
  46                                       char         Value        );
  47 chain_list  *zen_desimplic          ( chain_list  *Chain        );
  48 int          zen_setNodValue        ( zennod_list *ZenNod       ,
  49                                       char         Value        ,
  50                                       int          level        );
  51 void         vv                     ( chain_list  *chain        ,
  52                                       char        *string       );
  53 pNode        zen_deriveBdd          ( zennod_list *nod          ,
  54                                       zennod_list *nextNod      );
  55 void         zen_setDelay           ( int          delay        );
  56 int          zen_doBddFSetNod       ( zennod_list *zennod       );
  57 chain_list  *zen_freechain          ( chain_list  *chainx       );
  58 int          toto2one               ( pNode        bdd          ,
  59                                       chain_list  *inList       ,
  60                                       zennod_list *zennod       );
  61 int          toto2zero              ( pNode        bdd          ,
  62                                       chain_list  *inList       ,
  63                                       zennod_list *zennod       );
  64 void         zen_cleanTreatedNod    ( void                      );
  65
  66 chain_list  *zen_inWithoutAList     ( zennod_list *zennod       ,
  67                                                                           zennod_list *A            );
  68 void         zen_cleanNBdd          ( zenfig_list *zenfig           );
  69 int          zen_ZNodGotValue       ( zennod_list *znod         );
  70 int          zen_bddIsTerm1         ( pNode        bdd          );
  71 int          zen_bddIsTerm0         ( pNode        bdd          );
  72 chain_list  *zen_buildAbl           ( zennod_list *znod         ,
  73                                                                           chain_list  *inChain      );
  74 int          zen_simulAOutNod       ( zennod_list *znod         ,
  75                                       int          level        );
  76 int          zen_reduceBdd          ( zenfig_list *zfig         ,
  77                                       zennod_list *znod         );
  78
  79
  80 #endif