Main Page   Namespace List   Class Hierarchy   Alphabetical List   Compound List   File List   Namespace Members   Compound Members   File Members  

dddmpInt.h File Reference

#include "dddmp.h"
#include "cuddInt.h"

Include dependency graph for dddmpInt.h:

Include dependency graph

Go to the source code of this file.

Compounds

struct  binary_dd_code

Defines

#define DDDMP_TERMINAL   0
#define DDDMP_ABSOLUTE_ID   1
#define DDDMP_RELATIVE_ID   2
#define DDDMP_RELATIVE_1   3
#define DDDMP_MAXSTRLEN   500
#define DDDMP_ALLOC(type, num)   ((type *) malloc(sizeof(type) * (num)))
#define DDDMP_FREE(p)   ((p)!=NULL)?(free(p)):0)

Functions

EXTERN int DddmpWriteCode (FILE *fp, struct binary_dd_code code)
EXTERN int DddmpReadCode (FILE *fp, struct binary_dd_code *pcode)
EXTERN int DddmpWriteInt (FILE *fp, int id)
EXTERN int DddmpReadInt (FILE *fp, int *pid)
EXTERN int DddmpNumberDdNodes (DdManager *dd, DdNode **f, int n)
EXTERN void DddmpUnnumberDdNodes (DdManager *dd, DdNode **f, int n)
EXTERN void DddmpWriteNodeIndex (DdNode *f, int id)
EXTERN int DddmpReadNodeIndex (DdNode *f)
EXTERN int DddmpVisited (DdNode *f)
EXTERN void DddmpSetVisited (DdNode *f)
EXTERN void DddmpClearVisited (DdNode *f)
EXTERN int NumberNodeRecur (DdNode *f, int id)

Define Documentation

#define DDDMP_ABSOLUTE_ID   1
 

Definition at line 37 of file dddmpInt.h.

#define DDDMP_ALLOC (  type,
num    )     ((type *) malloc(sizeof(type) * (num)))
 

Definition at line 83 of file dddmpInt.h.

#define DDDMP_FREE (  p    )     ((p)!=NULL)?(free(p)):0)
 

Definition at line 90 of file dddmpInt.h.

#define DDDMP_MAXSTRLEN   500
 

Definition at line 41 of file dddmpInt.h.

#define DDDMP_RELATIVE_1   3
 

Definition at line 39 of file dddmpInt.h.

#define DDDMP_RELATIVE_ID   2
 

Definition at line 38 of file dddmpInt.h.

#define DDDMP_TERMINAL   0
 

CHeaderFile*****************************************************************

FileName [dddmpInt.h]

PackageName [dddmp]

Synopsis [Low level functions to read in and write out bdds to file]

Description [A set of internal low-level routines of the dddmp package doing:

  • read and write of node codes in binary mode,
  • read and write of integers in binary mode,
  • marking/unmarking nodes as visited,
  • numbering nodes.
]

Author [Gianpiero Cabodi & Stefano Quer]

Copyright [Politecnico di Torino(Italy) ]

Definition at line 36 of file dddmpInt.h.

Function Documentation

EXTERN void DddmpClearVisited (  DdNode *    f ) 
 

EXTERN int DddmpNumberDdNodes (  DdManager *    dd,
DdNode **    f,
int    n
) 
 

EXTERN int DddmpReadCode (  FILE *    fp,
struct binary_dd_code *    pcode
) 
 

EXTERN int DddmpReadInt (  FILE *    fp,
int *    pid
) 
 

EXTERN int DddmpReadNodeIndex (  DdNode *    f ) 
 

EXTERN void DddmpSetVisited (  DdNode *    f ) 
 

EXTERN void DddmpUnnumberDdNodes (  DdManager *    dd,
DdNode **    f,
int    n
) 
 

EXTERN int DddmpVisited (  DdNode *    f ) 
 

EXTERN int DddmpWriteCode (  FILE *    fp,
struct binary_dd_code    code
) 
 

AutomaticStart************************************************************

EXTERN int DddmpWriteInt (  FILE *    fp,
int    id
) 
 

EXTERN void DddmpWriteNodeIndex (  DdNode *    f,
int    id
) 
 

EXTERN int NumberNodeRecur (  DdNode *    f,
int    id
) 
 

Generated on Fri Jan 14 08:29:19 2005 for SystemC2.1beta11(excludingMSLib)(IncludingSCV)\nProvidedby:www.openverificationfoundation.org by doxygen1.2.18