glu-2.2: src/cmuPort/cmuPortInt.h Source File

00001 
00038 #ifndef _CMU_PORT_INT
00039 #define _CMU_PORT_INT
00040 
00041 #include "util.h"     /* includes math.h */
00042 #include "array.h"
00043 #include "st.h"
00044 #include "bdd.h"      
00045 #include "bddint.h"   /* CMU internal routines; for use in bdd_get_branches() and for BDD_POINTER */
00046 /*---------------------------------------------------------------------------*/
00047 /* Constant declarations                                                     */
00048 /*---------------------------------------------------------------------------*/
00049 #ifndef refany
00050 /* this otta be a typedef somewhere */
00051 #define refany char *   /* a void * or any sort of untyped pointer */
00052 #endif
00053 
00054 #ifndef any     /* Ansi C defines this right? */
00055 /* this otta be a typedef somewhere */
00056 #define any char        /* so that NIL(any) == refany */
00057 #endif
00058 
00059 
00060 /*---------------------------------------------------------------------------*/
00061 /* Type declarations                                                         */
00062 /*---------------------------------------------------------------------------*/
00063 
00064 
00065 /*---------------------------------------------------------------------------*/
00066 /* Structure declarations                                                    */
00067 /*---------------------------------------------------------------------------*/
00068 struct bdd_t {
00069   boolean free; /* TRUE if this is free, FALSE otherwise ... */
00070   struct bdd_ *node; /* ptr to the top node of the function */
00071   struct bdd_manager_ *mgr; /* the manager */
00072 };
00073 
00074 
00075 /*---------------------------------------------------------------------------*/
00076 /* Variable declarations                                                     */
00077 /*---------------------------------------------------------------------------*/
00078 
00079 
00080 /*---------------------------------------------------------------------------*/
00081 /* Macro declarations                                                        */
00082 /*---------------------------------------------------------------------------*/
00083 
00084 
00087 /*---------------------------------------------------------------------------*/
00088 /* Function prototypes                                                       */
00089 /*---------------------------------------------------------------------------*/
00090 
00093 #endif /* _CMU_PORT_INT */