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 */ |
---|