DSD.h File Reference

#include "util.h"
#include "cudd.h"
#include "cuddInt.h"
#include "fixheap.h"
#include <assert.h>
#include <stdio.h>

Go to the source code of this file.

Defines
#define	VAR   0
#define	PRIME   1
#define	OR   2
#define	XOR   3
#define	MAX_NOT_ALLOWED   ~0
#define	TYPE_MASK   127<<25
#define	SIZE_MASK   255<<24
#define	MARK_MASK   1<<24
#define	SATURATION   16384
#define	CAN_MASK   ((1<<16) - 1)<<16
#define	DSD_Regular(x)   ((DSDNode *)((int)(x) & ~01))
#define	DSD_Not(x)   ((DSDNode *) ((int)(x) ^ 01))
#define	DSD_Complement(x)   ((DSDNode *) ((int)(x) | 01))
#define	DSD_IsComplement(x)   ((int) ((int) (x) & 01))
#define	GET_TYPE(x)   (((x)->type_actualsize & TYPE_MASK)>>25)
#define	SET_TYPE(x, type)   ((x)->type_actualsize = (((x)->type_actualsize & ~(TYPE_MASK)) | (type << 25)))
#define	INPUT_SIZE(x)   ((x)->type_actualsize & ~(SIZE_MASK))
#define	SET_SIZE(x, size)   ((x)->type_actualsize = (((x)->type_actualsize & (SIZE_MASK)) | (size)))
#define	mark(x)   ((x)->type_actualsize = (((x)->type_actualsize | (MARK_MASK))))
#define	unmark(x)   ((x)->type_actualsize = (((x)->type_actualsize & ~(MARK_MASK))))
#define	marked(x)   (((x)->type_actualsize & (MARK_MASK))>>24)
#define	SET_CAN(x, value)   ((x)->topvar_refsize = (((x)->topvar_refsize & ~(CAN_MASK)) | (value << 16)))
#define	GET_CAN(x)   (((x)->topvar_refsize & CAN_MASK)>>16)
#define	GET_REF(x)   ((x)->topvar_refsize & ~(CAN_MASK))
Typedefs
typedef DSDNode	DSDNode
typedef unsigned int	int_32
typedef unsigned short	int_16
typedef ActualNode	ActualNode
typedef DSDManager	DSDManager
typedef SupportList	SupportList
Variables
FixHeapPtr	dsd_malloc_ptr
FixHeapPtr	actual_malloc_ptr

---

Define Documentation

#define CAN_MASK   ((1<<16) - 1)<<16

#define DSD_Complement (  x   )     ((DSDNode *) ((int)(x) | 01))

#define DSD_IsComplement (  x   )     ((int) ((int) (x) & 01))

#define DSD_Not (  x   )     ((DSDNode *) ((int)(x) ^ 01))

#define DSD_Regular (  x   )     ((DSDNode *)((int)(x) & ~01))

#define GET_CAN (  x   )     (((x)->topvar_refsize & CAN_MASK)>>16)

#define GET_REF (  x   )     ((x)->topvar_refsize & ~(CAN_MASK))

#define GET_TYPE (  x   )     (((x)->type_actualsize & TYPE_MASK)>>25)

#define INPUT_SIZE (  x   )     ((x)->type_actualsize & ~(SIZE_MASK))

#define mark (  x   )     ((x)->type_actualsize = (((x)->type_actualsize | (MARK_MASK))))

#define MARK_MASK   1<<24

#define marked (  x   )     (((x)->type_actualsize & (MARK_MASK))>>24)

#define MAX_NOT_ALLOWED   ~0

Internal defines

#define OR   2

#define PRIME   1

#define SATURATION   16384

#define SET_CAN (  x, value   )     ((x)->topvar_refsize = (((x)->topvar_refsize & ~(CAN_MASK)) | (value << 16)))

#define SET_SIZE (  x, size   )     ((x)->type_actualsize = (((x)->type_actualsize & (SIZE_MASK)) | (size)))

#define SET_TYPE (  x, type   )     ((x)->type_actualsize = (((x)->type_actualsize & ~(TYPE_MASK)) | (type << 25)))

#define SIZE_MASK   255<<24

#define TYPE_MASK   127<<25

#define unmark (  x   )     ((x)->type_actualsize = (((x)->type_actualsize & ~(MARK_MASK))))

#define VAR   0

Different DSD types possible

#define XOR   3

---

Typedef Documentation

typedef struct ActualNode ActualNode

typedef struct DSDManager DSDManager

typedef struct DSDNode DSDNode

typedef unsigned short int_16

typedef unsigned int int_32

typedef struct SupportList SupportList

---

Variable Documentation

FixHeapPtr actual_malloc_ptr

FixHeapPtr dsd_malloc_ptr

---