source: icGREP/icgrep-devel/cudd-2.5.1/sis/cuddPwPt.c @ 4746

Last change on this file since 4746 was 4597, checked in by nmedfort, 4 years ago

Upload of the CUDD library.

File size: 5.0 KB
Line 
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
56static 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******************************************************************************/
89bdd_node *
90cmu_bdd_one(dd)
91bdd_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******************************************************************************/
110bdd_node *
111cmu_bdd_zero(dd)
112bdd_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******************************************************************************/
131int
132cmu_bdd_if_index(dd, node)
133bdd_manager *dd;
134bdd_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/*---------------------------------------------------------------------------*/
Note: See TracBrowser for help on using the repository browser.