src/calPort/calPortInt.h

Go to the documentation of this file.

#ifndef _CAL_PORT_INT_H
#define _CAL_PORT_INT_H
#include "util.h"  
#include "array.h"
#include "st.h"
#include "avl.h"
#include "var_set.h"
#include "bdd.h"
#include "calInt.h"
/*---------------------------------------------------------------------------*/
/* Constant declarations                                                     */
/*---------------------------------------------------------------------------*/


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

/*---------------------------------------------------------------------------*/
/* Structure declarations                                                    */
/*---------------------------------------------------------------------------*/
struct bdd_t {
  Cal_Bdd calBdd;
  Cal_BddManager_t *bddManager; 
  int free;
};



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


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


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


#endif 

---