[13] | 1 | /**CHeaderFile***************************************************************** |
---|
| 2 | |
---|
| 3 | FileName [cuddPortInt.h] |
---|
| 4 | |
---|
| 5 | PackageName [cu_port] |
---|
| 6 | |
---|
| 7 | Synopsis [Header file used by cu_port.] |
---|
| 8 | |
---|
| 9 | Author [Abelardo Pardo <abel@vlsi.colorado.edu>] |
---|
| 10 | |
---|
| 11 | Copyright [Copyright (c) 1995-2004, Regents of the University of Colorado |
---|
| 12 | |
---|
| 13 | All rights reserved. |
---|
| 14 | |
---|
| 15 | Redistribution and use in source and binary forms, with or without |
---|
| 16 | modification, are permitted provided that the following conditions |
---|
| 17 | are met: |
---|
| 18 | |
---|
| 19 | Redistributions of source code must retain the above copyright |
---|
| 20 | notice, this list of conditions and the following disclaimer. |
---|
| 21 | |
---|
| 22 | Redistributions in binary form must reproduce the above copyright |
---|
| 23 | notice, this list of conditions and the following disclaimer in the |
---|
| 24 | documentation and/or other materials provided with the distribution. |
---|
| 25 | |
---|
| 26 | Neither the name of the University of Colorado nor the names of its |
---|
| 27 | contributors may be used to endorse or promote products derived from |
---|
| 28 | this software without specific prior written permission. |
---|
| 29 | |
---|
| 30 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS |
---|
| 31 | "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT |
---|
| 32 | LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS |
---|
| 33 | FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE |
---|
| 34 | COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, |
---|
| 35 | INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, |
---|
| 36 | BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; |
---|
| 37 | LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER |
---|
| 38 | CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT |
---|
| 39 | LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN |
---|
| 40 | ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE |
---|
| 41 | POSSIBILITY OF SUCH DAMAGE.] |
---|
| 42 | |
---|
| 43 | Revision [$Id: cuPortInt.h,v 1.5 2004/08/13 18:39:31 fabio Exp $] |
---|
| 44 | |
---|
| 45 | ******************************************************************************/ |
---|
| 46 | |
---|
| 47 | #ifndef _CU_PORT_INT |
---|
| 48 | #define _CU_PORT_INT |
---|
| 49 | |
---|
| 50 | #include "util.h" |
---|
| 51 | #include "array.h" |
---|
| 52 | #include "st.h" |
---|
| 53 | |
---|
| 54 | #include "cuddInt.h" |
---|
| 55 | #include "bdd.h" |
---|
| 56 | |
---|
| 57 | /*---------------------------------------------------------------------------*/ |
---|
| 58 | /* Constant declarations */ |
---|
| 59 | /*---------------------------------------------------------------------------*/ |
---|
| 60 | |
---|
| 61 | /*---------------------------------------------------------------------------*/ |
---|
| 62 | /* Type declarations */ |
---|
| 63 | /*---------------------------------------------------------------------------*/ |
---|
| 64 | |
---|
| 65 | |
---|
| 66 | /*---------------------------------------------------------------------------*/ |
---|
| 67 | /* Structure declarations */ |
---|
| 68 | /*---------------------------------------------------------------------------*/ |
---|
| 69 | struct bdd_t { |
---|
| 70 | boolean free; /* TRUE if this is free, FALSE otherwise ... */ |
---|
| 71 | DdNode *node; /* ptr to the top node of the function */ |
---|
| 72 | DdManager *mgr; /* the manager */ |
---|
| 73 | }; |
---|
| 74 | |
---|
| 75 | |
---|
| 76 | /*---------------------------------------------------------------------------*/ |
---|
| 77 | /* Variable declarations */ |
---|
| 78 | /*---------------------------------------------------------------------------*/ |
---|
| 79 | |
---|
| 80 | |
---|
| 81 | /*---------------------------------------------------------------------------*/ |
---|
| 82 | /* Macro declarations */ |
---|
| 83 | /*---------------------------------------------------------------------------*/ |
---|
| 84 | |
---|
| 85 | |
---|
| 86 | /**AutomaticStart*************************************************************/ |
---|
| 87 | |
---|
| 88 | /*---------------------------------------------------------------------------*/ |
---|
| 89 | /* Function prototypes */ |
---|
| 90 | /*---------------------------------------------------------------------------*/ |
---|
| 91 | |
---|
| 92 | |
---|
| 93 | /**AutomaticEnd***************************************************************/ |
---|
| 94 | |
---|
| 95 | #endif /* _CU_PORT_INT */ |
---|
| 96 | |
---|