src/cuPort/cuPortInt.h

Go to the documentation of this file.

#ifndef _CU_PORT_INT
#define _CU_PORT_INT

#include "util.h"
#include "array.h"
#include "st.h"

#include "cuddInt.h"
#include "bdd.h"

/*---------------------------------------------------------------------------*/
/* Constant declarations                                                     */
/*---------------------------------------------------------------------------*/

/*---------------------------------------------------------------------------*/
/* Type declarations                                                         */
/*---------------------------------------------------------------------------*/


/*---------------------------------------------------------------------------*/
/* Structure declarations                                                    */
/*---------------------------------------------------------------------------*/
struct bdd_t {
  boolean free; /* TRUE if this is free, FALSE otherwise ... */
  DdNode *node; /* ptr to the top node of the function */
  DdManager *mgr; /* the manager */
};


/*---------------------------------------------------------------------------*/
/* Variable declarations                                                     */
/*---------------------------------------------------------------------------*/


/*---------------------------------------------------------------------------*/
/* Macro declarations                                                        */
/*---------------------------------------------------------------------------*/


/*---------------------------------------------------------------------------*/
/* Function prototypes                                                       */
/*---------------------------------------------------------------------------*/


#endif /* _CU_PORT_INT */

---