distr/sis/cuddPwPt.c

   1 /**CFile***********************************************************************
   2
   3   FileName    [cuddPwPt.c]
   4
   5   PackageName [cudd]
   6
   7   Synopsis    [Emulation functions for the power package in SIS.]
   8
   9   Description [This file contains functions that are necessary for the
  10   power package in SIS. This package directly calls a few functions of
  11   the CMU BDD package. Therefore, functions with identical names and
  12   equivalent functionality are provided here.
  13         External procedures included in this file:
  14                 <ul>
  15                 <li> cmu_bdd_zero()
  16                 <li> cmu_bdd_one()
  17                 <li> cmu_bdd_if_index()
  18                 </ul>
  19         Internal procedures included in this module:
  20                 <ul>
  21                 <li>
  22                 </ul>]
  23
  24   Author      [Fabio Somenzi]
  25
  26   Copyright   [This file was created at the University of Colorado at
  27   Boulder.  The University of Colorado at Boulder makes no warranty
  28   about the suitability of this software for any purpose.  It is
  29   presented on an AS IS basis.]
  30
  31 ******************************************************************************/
  32
  33 #include "util.h"
  34 #include "array.h"
  35 #include "st.h"
  36 #include "cuddInt.h"
  37 #include "cuddBdd.h"
  38
  39 /*---------------------------------------------------------------------------*/
  40 /* Constant declarations                                                     */
  41 /*---------------------------------------------------------------------------*/
  42
  43 /*---------------------------------------------------------------------------*/
  44 /* Stucture declarations                                                     */
  45 /*---------------------------------------------------------------------------*/
  46
  47 /*---------------------------------------------------------------------------*/
  48 /* Type declarations                                                         */
  49 /*---------------------------------------------------------------------------*/
  50
  51 /*---------------------------------------------------------------------------*/
  52 /* Variable declarations                                                     */
  53 /*---------------------------------------------------------------------------*/
  54
  55 #ifndef lint
  56 static char rcsid[] DD_UNUSED = "$Id: cuddPwPt.c,v 1.3 1997/01/18 19:43:19 fabio Exp $";
  57 #endif
  58
  59 /*---------------------------------------------------------------------------*/
  60 /* Macro declarations                                                        */
  61 /*---------------------------------------------------------------------------*/
  62
  63 /**AutomaticStart*************************************************************/
  64
  65 /*---------------------------------------------------------------------------*/
  66 /* Static function prototypes                                                */
  67 /*---------------------------------------------------------------------------*/
  68
  69 /**AutomaticEnd***************************************************************/
  70
  71
  72 /*---------------------------------------------------------------------------*/
  73 /* Definition of exported functions                                          */
  74 /*---------------------------------------------------------------------------*/
  75
  76
  77 /**Function********************************************************************
  78
  79   Synopsis    [Returns a pointer to the one constant.]
  80
  81   Description [Returns a pointer to the one constant. Used by the power
  82   package in SIS. For new code, use Cudd_ReadOne instead.]
  83
  84   SideEffects [None]
  85
  86   SeeAlso     [Cudd_ReadOne]
  87
  88 ******************************************************************************/
  89 bdd_node *
  90 cmu_bdd_one(dd)
  91 bdd_manager *dd;
  92 {
  93     return((bdd_node *)((DdManager *)dd)->one);
  94
  95 } /* end of cmu_bdd_one */
  96
  97
  98 /**Function********************************************************************
  99
 100   Synopsis    [Returns a pointer to the zero constant.]
 101
 102   Description [Returns a pointer to the zero constant. Used by the power
 103   package in SIS. For new code, use Cudd_ReadZero instead.]
 104
 105   SideEffects [None]
 106
 107   SeeAlso     [Cudd_ReadZero]
 108
 109 ******************************************************************************/
 110 bdd_node *
 111 cmu_bdd_zero(dd)
 112 bdd_manager *dd;
 113 {
 114     return((bdd_node *)Cudd_Not(((DdManager *)dd)->one));
 115
 116 } /* end of cmu_bdd_zero */
 117
 118
 119 /**Function********************************************************************
 120
 121   Synopsis    [Returns the index of the top variable in a BDD.]
 122
 123   Description [Returns the index of the top variable in a BDD. Used by
 124   the power package in SIS. For new code, use Cudd_ReadIndex instead.]
 125
 126   SideEffects [None]
 127
 128   SeeAlso     [Cudd_ReadIndex]
 129
 130 ******************************************************************************/
 131 int
 132 cmu_bdd_if_index(dd, node)
 133 bdd_manager *dd;
 134 bdd_node *node;
 135 {
 136     return(Cudd_Regular(node)->index);
 137
 138 } /* end of cmu_bdd_if_index */
 139
 140
 141 /*---------------------------------------------------------------------------*/
 142 /* Definition of internal functions                                          */
 143 /*---------------------------------------------------------------------------*/
 144
 145 /*---------------------------------------------------------------------------*/
 146 /* Definition of static functions                                            */
 147 /*---------------------------------------------------------------------------*/