cuddSupport.h

// @file cuddSuport.h
//
//This file contains declarations of cudd internals for support of
// simplecudd.h. It also calls cudd.h, so you shouldn't need anything else
// to interface with cudd.
 
 
// cudd.h should be available from external source.
 
#include <cudd/cudd.h>
 
 
#if SIZEOF_VOID_P == 8 && SIZEOF_INT == 4
#define CUDD_MAXINDEX       (((DdHalfWord) ~0) >> 1)
#else
#define CUDD_MAXINDEX       ((DdHalfWord) ~0)
#endif
 
#define CUDD_CONST_INDEX    CUDD_MAXINDEX
 
#if SIZEOF_VOID_P == 8 && SIZEOF_INT == 4
typedef uint32_t DdHalfWord;
#else
typedef uint16_t DdHalfWord;
#endif
 
struct DdChildren {
    struct DdNode *T;   
    struct DdNode *E;   
};
 
 
 
struct DdNode {
    DdHalfWord index;       
    DdHalfWord ref;     
    DdNode *next;       
    union {
    CUDD_VALUE_TYPE value;  
    struct DdChildren kids; 
    } type;         
};
 
 
 
#define cuddRef(n) cuddSatInc(Cudd_Regular(n)->ref)
 
#define cuddV(node) ((node)->type.value)
 
extern DdNode * cuddAllocNode(DdManager *unique);
 
#define  statLine(dd)
 
 
extern DdNode * cuddCacheLookup1(DdManager *table, DdNode * (*)(DdManager *, DdNode *), DdNode *f);
extern void cuddCacheInsert1(DdManager *table, DdNode * (*)(DdManager *, DdNode *), DdNode *f, DdNode *data);
 
 
#define cuddDeref(n) cuddSatDec(Cudd_Regular(n)->ref)
 
#define cuddT(node) ((node)->type.kids.T)
 
 
#define cuddE(node) ((node)->type.kids.E)
 
 
 
extern DdNode * cuddUniqueInter(DdManager *unique, int index, DdNode *T, DdNode *E);
 
#if SIZEOF_VOID_P == 8 && SIZEOF_INT == 4
#define cuddSatInc(x) ((x)++)
#else
#define cuddSatInc(x) ((x) += (x) != (DdHalfWord)DD_MAXREF)
#endif
 
 
#if SIZEOF_VOID_P == 8 && SIZEOF_INT == 4
#define cuddSatDec(x) ((x)--)
#else
#define cuddSatDec(x) ((x) -= (x) != (DdHalfWord)DD_MAXREF)
#endif
 
extern DdNode * cuddUniqueConst(DdManager *unique, CUDD_VALUE_TYPE value);