distrib/sources/yagle/yagle/yag_test.h

   1 /****************************************************************************/
   2 /*                                                                          */
   3 /*                      Chaine de CAO & VLSI   Alliance                     */
   4 /*                                                                          */
   5 /*    Produit : YAGLE  v3.50                                                */
   6 /*    Fichier : yag_test.h                                                  */
   7 /*                                                                          */
   8 /*    (c) copyright 1994 Laboratoire MASI equipe CAO & VLSI                 */
   9 /*    Tous droits reserves                                                  */
  10 /*    Support : e-mail alliance-support@asim.lip6.fr                        */
  11 /*                                                                          */
  12 /*                                                                          */
  13 /****************************************************************************/
  14
  15 void            yagViewBefig (befig_list *fig);
  16 void            yagDisplayGraph (graph *ptgraph);
  17 void            yagDisplayUsedGraph (graph *ptgraph, int level);
  18 void            yagDisplayUsedGraphLog (int lib, int loglevel, graph *ptgraph, int level);
  19 int             yagTestGraphCycle (graph *ptgraph);
  20 void            yagCountDualTrans (cnsfig_list *ptcnsfig);
  21 int             yagCountCones (cone_list *headcone);
  22 chain_list     *yagCircuitLoops (cnsfig_list *ptcnsfig);
  23 void            yagSaveCircuitLoops (chain_list *list_loop);
  24 void            yagStatLofig (lofig_list *lofig);
  25 void            yagDisplayBddExprLog (int lib, int loglevel, char *message, pCircuit theCct, pNode bdd);
  26