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

dddmp.h File Reference

#include "util.h"
#include "cudd.h"

Include dependency graph for dddmp.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Defines

#define DDDMP_VERSION   "DDDMP-1.0"

#define DDDMP_MODE_TEXT   ((int)'A')

#define DDDMP_MODE_BINARY   ((int)'B')

#define DDDMP_MODE_DEFAULT   ((int)'D')

Enumerations

enum Dddmp_VarInfoType {
  DDDMP_VARIDS, DDDMP_VARPERMIDS, DDDMP_VARAUXIDS, DDDMP_VARNAMES,
  DDDMP_VARDEFAULT
}

enum Dddmp_VarMatchType {
  DDDMP_VAR_MATCHIDS, DDDMP_VAR_MATCHPERMIDS, DDDMP_VAR_MATCHAUXIDS, DDDMP_VAR_MATCHNAMES,
  DDDMP_VAR_COMPOSEIDS
}

enum Dddmp_RootMatchType { DDDMP_ROOT_MATCHNAMES, DDDMP_ROOT_MATCHLIST }

Functions

EXTERN int Dddmp_Text2Bin (char *filein, char *fileout)

EXTERN int Dddmp_Bin2Text (char *filein, char *fileout)

EXTERN int Dddmp_cuddBddDisplayBinary (char *filein, char *fileout)

EXTERN int Dddmp_cuddBddStore (DdManager *dd, char *ddname, DdNode *f, char **varnames, int *auxids, int mode, Dddmp_VarInfoType varinfo, char *fname, FILE *fp)

EXTERN int Dddmp_cuddBddArrayStore (DdManager *dd, char *ddname, int nroots, DdNode **f, char **rootnames, char **varnames, int *auxids, int mode, Dddmp_VarInfoType varinfo, char *fname, FILE *fp)

EXTERN DdNode * Dddmp_cuddBddLoad (DdManager *dd, Dddmp_VarMatchType varmatchmode, char **varmatchnames, int *varmatchauxids, int *varcomposeids, int mode, char *file, FILE *fp)

EXTERN int Dddmp_cuddBddArrayLoad (DdManager *dd, Dddmp_RootMatchType rootmatchmode, char **rootmatchnames, Dddmp_VarMatchType varmatchmode, char **varmatchnames, int *varmatchauxids, int *varcomposeids, int mode, char *file, FILE *fp, DdNode ***pproots)

Define Documentation

#define DDDMP_MODE_BINARY ((int)'B')

Definition at line 39 of file dddmp.h.

#define DDDMP_MODE_DEFAULT ((int)'D')

Definition at line 40 of file dddmp.h.

#define DDDMP_MODE_TEXT ((int)'A')

Definition at line 38 of file dddmp.h.

#define DDDMP_VERSION "DDDMP-1.0"

CHeaderFile*****************************************************************
FileName [dddmp.h]
PackageName [dddmp]
Synopsis [Functions to read in and write out bdds to file]
Description []
Author [Gianpiero Cabodi & Stefano Quer]
Copyright [Politecnico di Torino(Italy)]
Definition at line 32 of file dddmp.h.

Enumeration Type Documentation

enum Dddmp_RootMatchType

Enum************************************************************************
Synopsis [Type for BDD root matching in BDD load.]
Description []
Enumeration values:

DDDMP_ROOT_MATCHNAMES

DDDMP_ROOT_MATCHLIST

Definition at line 91 of file dddmp.h.

enum Dddmp_VarInfoType

Enum************************************************************************
Synopsis [Type for variable extra info.]
Description [Type for variable extra info. Used to specify info stored in text mode.]
Enumeration values:

DDDMP_VARIDS

DDDMP_VARPERMIDS

DDDMP_VARAUXIDS

DDDMP_VARNAMES

DDDMP_VARDEFAULT

Definition at line 59 of file dddmp.h.

enum Dddmp_VarMatchType

Enum************************************************************************
Synopsis [Type for variable matching in BDD load.]
Description []
Enumeration values:

DDDMP_VAR_MATCHIDS

DDDMP_VAR_MATCHPERMIDS

DDDMP_VAR_MATCHAUXIDS

DDDMP_VAR_MATCHNAMES

DDDMP_VAR_COMPOSEIDS

Definition at line 75 of file dddmp.h.

Function Documentation

EXTERN int Dddmp_Bin2Text ( char * filein,

char * fileout

)

EXTERN int Dddmp_cuddBddArrayLoad ( DdManager * dd,

Dddmp_RootMatchType rootmatchmode,

char ** rootmatchnames,

Dddmp_VarMatchType varmatchmode,

char ** varmatchnames,

int * varmatchauxids,

int * varcomposeids,

int mode,

char * file,

FILE * fp,

DdNode *** pproots

)

EXTERN int Dddmp_cuddBddArrayStore ( DdManager * dd,

char * ddname,

int nroots,

DdNode ** f,

char ** rootnames,

char ** varnames,

int * auxids,

int mode,

Dddmp_VarInfoType varinfo,

char * fname,

FILE * fp

)

EXTERN int Dddmp_cuddBddDisplayBinary ( char * filein,

char * fileout

)

EXTERN DdNode* Dddmp_cuddBddLoad ( DdManager * dd,

Dddmp_VarMatchType varmatchmode,

char ** varmatchnames,

int * varmatchauxids,

int * varcomposeids,

int mode,

char * file,

FILE * fp

)

EXTERN int Dddmp_cuddBddStore ( DdManager * dd,

char * ddname,

DdNode * f,

char ** varnames,

int * auxids,

int mode,

Dddmp_VarInfoType varinfo,

char * fname,

FILE * fp

)

EXTERN int Dddmp_Text2Bin ( char * filein,

char * fileout

)

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

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

1.2.18


Defines
#define	DDDMP_VERSION "DDDMP-1.0"
#define	DDDMP_MODE_TEXT ((int)'A')
#define	DDDMP_MODE_BINARY ((int)'B')
#define	DDDMP_MODE_DEFAULT ((int)'D')
Enumerations
enum	Dddmp_VarInfoType { DDDMP_VARIDS, DDDMP_VARPERMIDS, DDDMP_VARAUXIDS, DDDMP_VARNAMES, DDDMP_VARDEFAULT }
enum	Dddmp_VarMatchType { DDDMP_VAR_MATCHIDS, DDDMP_VAR_MATCHPERMIDS, DDDMP_VAR_MATCHAUXIDS, DDDMP_VAR_MATCHNAMES, DDDMP_VAR_COMPOSEIDS }
enum	Dddmp_RootMatchType { DDDMP_ROOT_MATCHNAMES, DDDMP_ROOT_MATCHLIST }
Functions
EXTERN int	Dddmp_Text2Bin (char filein, char fileout)
EXTERN int	Dddmp_Bin2Text (char filein, char fileout)
EXTERN int	Dddmp_cuddBddDisplayBinary (char filein, char fileout)
EXTERN int	Dddmp_cuddBddStore (DdManager dd, char ddname, DdNode f, char varnames, int auxids, int mode, Dddmp_VarInfoType varinfo, char fname, FILE fp)
EXTERN int	Dddmp_cuddBddArrayStore (DdManager dd, char ddname, int nroots, DdNode f, char rootnames, char *varnames, int auxids, int mode, Dddmp_VarInfoType varinfo, char fname, FILE fp)
EXTERN DdNode *	Dddmp_cuddBddLoad (DdManager dd, Dddmp_VarMatchType varmatchmode, char varmatchnames, int varmatchauxids, int varcomposeids, int mode, char file, FILE *fp)
EXTERN int	Dddmp_cuddBddArrayLoad (DdManager dd, Dddmp_RootMatchType rootmatchmode, char rootmatchnames, Dddmp_VarMatchType varmatchmode, char varmatchnames, int varmatchauxids, int varcomposeids, int mode, char file, FILE fp, DdNode **pproots)