[8] | 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 */ |
---|