| 1 | /**CHeaderFile***************************************************************** | 
|---|
| 2 |  | 
|---|
| 3 |   FileName    [cmuPortInt.h] | 
|---|
| 4 |  | 
|---|
| 5 |   PackageName [cmu_port] | 
|---|
| 6 |  | 
|---|
| 7 |   Synopsis    [Header file used by cmu_port.] | 
|---|
| 8 |  | 
|---|
| 9 |   Description [optional] | 
|---|
| 10 |  | 
|---|
| 11 |   SeeAlso     [optional] | 
|---|
| 12 |  | 
|---|
| 13 |   Author      [Rajeev K. Ranjan] | 
|---|
| 14 |  | 
|---|
| 15 |   Copyright   [Copyright (c) 1994-1996 The Regents of the Univ. of California. | 
|---|
| 16 |   All rights reserved. | 
|---|
| 17 |  | 
|---|
| 18 |   Permission is hereby granted, without written agreement and without license | 
|---|
| 19 |   or royalty fees, to use, copy, modify, and distribute this software and its | 
|---|
| 20 |   documentation for any purpose, provided that the above copyright notice and | 
|---|
| 21 |   the following two paragraphs appear in all copies of this software. | 
|---|
| 22 |  | 
|---|
| 23 |   IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY FOR | 
|---|
| 24 |   DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT | 
|---|
| 25 |   OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF THE UNIVERSITY OF | 
|---|
| 26 |   CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | 
|---|
| 27 |  | 
|---|
| 28 |   THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY WARRANTIES, | 
|---|
| 29 |   INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND | 
|---|
| 30 |   FITNESS FOR A PARTICULAR PURPOSE.  THE SOFTWARE PROVIDED HEREUNDER IS ON AN | 
|---|
| 31 |   "AS IS" BASIS, AND THE UNIVERSITY OF CALIFORNIA HAS NO OBLIGATION TO PROVIDE | 
|---|
| 32 |   MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.] | 
|---|
| 33 |  | 
|---|
| 34 |   Revision    [$Id: cmuPortInt.h,v 1.1.1.2 1997/02/12 21:15:26 hsv Exp $] | 
|---|
| 35 |  | 
|---|
| 36 | ******************************************************************************/ | 
|---|
| 37 |  | 
|---|
| 38 | #ifndef _CMU_PORT_INT | 
|---|
| 39 | #define _CMU_PORT_INT | 
|---|
| 40 |  | 
|---|
| 41 | #include "util.h"     /* includes math.h */ | 
|---|
| 42 | #include "array.h" | 
|---|
| 43 | #include "st.h" | 
|---|
| 44 | #include "bdd.h"       | 
|---|
| 45 | #include "bddint.h"   /* CMU internal routines; for use in bdd_get_branches() and for BDD_POINTER */ | 
|---|
| 46 | /*---------------------------------------------------------------------------*/ | 
|---|
| 47 | /* Constant declarations                                                     */ | 
|---|
| 48 | /*---------------------------------------------------------------------------*/ | 
|---|
| 49 | #ifndef refany | 
|---|
| 50 | /* this otta be a typedef somewhere */ | 
|---|
| 51 | #define refany char *   /* a void * or any sort of untyped pointer */ | 
|---|
| 52 | #endif | 
|---|
| 53 |  | 
|---|
| 54 | #ifndef any     /* Ansi C defines this right? */ | 
|---|
| 55 | /* this otta be a typedef somewhere */ | 
|---|
| 56 | #define any char        /* so that NIL(any) == refany */ | 
|---|
| 57 | #endif | 
|---|
| 58 |  | 
|---|
| 59 |  | 
|---|
| 60 | /*---------------------------------------------------------------------------*/ | 
|---|
| 61 | /* Type declarations                                                         */ | 
|---|
| 62 | /*---------------------------------------------------------------------------*/ | 
|---|
| 63 |  | 
|---|
| 64 |  | 
|---|
| 65 | /*---------------------------------------------------------------------------*/ | 
|---|
| 66 | /* Structure declarations                                                    */ | 
|---|
| 67 | /*---------------------------------------------------------------------------*/ | 
|---|
| 68 | struct bdd_t { | 
|---|
| 69 |   boolean free; /* TRUE if this is free, FALSE otherwise ... */ | 
|---|
| 70 |   struct bdd_ *node; /* ptr to the top node of the function */ | 
|---|
| 71 |   struct bdd_manager_ *mgr; /* the manager */ | 
|---|
| 72 | }; | 
|---|
| 73 |  | 
|---|
| 74 |  | 
|---|
| 75 | /*---------------------------------------------------------------------------*/ | 
|---|
| 76 | /* Variable declarations                                                     */ | 
|---|
| 77 | /*---------------------------------------------------------------------------*/ | 
|---|
| 78 |  | 
|---|
| 79 |  | 
|---|
| 80 | /*---------------------------------------------------------------------------*/ | 
|---|
| 81 | /* Macro declarations                                                        */ | 
|---|
| 82 | /*---------------------------------------------------------------------------*/ | 
|---|
| 83 |  | 
|---|
| 84 |  | 
|---|
| 85 | /**AutomaticStart*************************************************************/ | 
|---|
| 86 |  | 
|---|
| 87 | /*---------------------------------------------------------------------------*/ | 
|---|
| 88 | /* Function prototypes                                                       */ | 
|---|
| 89 | /*---------------------------------------------------------------------------*/ | 
|---|
| 90 |  | 
|---|
| 91 | /**AutomaticEnd***************************************************************/ | 
|---|
| 92 |  | 
|---|
| 93 | #endif /* _CMU_PORT_INT */ | 
|---|