1 | /**CHeaderFile***************************************************************** |
---|
2 | |
---|
3 | FileName [calPortInt.h] |
---|
4 | |
---|
5 | PackageName [cal] |
---|
6 | |
---|
7 | Synopsis [required] |
---|
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: calPortInt.h,v 1.2 2002/08/25 05:30:11 fabio Exp $] |
---|
35 | |
---|
36 | ******************************************************************************/ |
---|
37 | |
---|
38 | #ifndef _CAL_PORT_INT_H |
---|
39 | #define _CAL_PORT_INT_H |
---|
40 | #include "util.h" |
---|
41 | #include "array.h" |
---|
42 | #include "st.h" |
---|
43 | #include "avl.h" |
---|
44 | #include "var_set.h" |
---|
45 | #include "bdd.h" |
---|
46 | #include "calInt.h" |
---|
47 | /*---------------------------------------------------------------------------*/ |
---|
48 | /* Constant declarations */ |
---|
49 | /*---------------------------------------------------------------------------*/ |
---|
50 | |
---|
51 | |
---|
52 | /*---------------------------------------------------------------------------*/ |
---|
53 | /* Type declarations */ |
---|
54 | /*---------------------------------------------------------------------------*/ |
---|
55 | |
---|
56 | /*---------------------------------------------------------------------------*/ |
---|
57 | /* Structure declarations */ |
---|
58 | /*---------------------------------------------------------------------------*/ |
---|
59 | struct bdd_t { |
---|
60 | Cal_Bdd calBdd; |
---|
61 | Cal_BddManager_t *bddManager; |
---|
62 | int free; |
---|
63 | }; |
---|
64 | |
---|
65 | |
---|
66 | |
---|
67 | /*---------------------------------------------------------------------------*/ |
---|
68 | /* Variable declarations */ |
---|
69 | /*---------------------------------------------------------------------------*/ |
---|
70 | |
---|
71 | |
---|
72 | /*---------------------------------------------------------------------------*/ |
---|
73 | /* Macro declarations */ |
---|
74 | /*---------------------------------------------------------------------------*/ |
---|
75 | |
---|
76 | |
---|
77 | /**AutomaticStart*************************************************************/ |
---|
78 | |
---|
79 | /*---------------------------------------------------------------------------*/ |
---|
80 | /* Function prototypes */ |
---|
81 | /*---------------------------------------------------------------------------*/ |
---|
82 | |
---|
83 | |
---|
84 | #endif |
---|
85 | |
---|