int Dddmp_Bin2Text( char * filein, IN: name of binary file char * fileout IN: name of ASCII file )
Dddmp_Text2Bin()
int Dddmp_Text2Bin( char * filein, IN: name of ASCII file char * fileout IN: name of binary file )
Dddmp_Bin2Text()
int Dddmp_cuddAddArrayLoad( DdManager * ddMgr, IN: DD Manager Dddmp_RootMatchType rootMatchMode, IN: storing mode selector char ** rootmatchnames, IN: sorted names for loaded roots Dddmp_VarMatchType varMatchMode, IN: storing mode selector char ** varmatchnames, IN: array of variable names, by ids int * varmatchauxids, IN: array of variable auxids, by ids int * varcomposeids, IN: array of new ids, by ids int mode, IN: requested input file format char * file, IN: file name FILE * fp, IN: file pointer DdNode *** pproots OUT: array of returned BDD roots )
Dddmp_cuddBddArrayStore
int Dddmp_cuddAddArrayStore( DdManager * ddMgr, IN: DD Manager char * ddname, IN: DD name (or NULL) int nRoots, IN: number of output BDD roots to be stored DdNode ** f, IN: array of ADD roots to be stored char ** rootnames, IN: array of root names (or NULL) char ** varnames, IN: array of variable names (or NULL) int * auxids, IN: array of converted var IDs int mode, IN: storing mode selector Dddmp_VarInfoType varinfo, IN: extra info for variables in text mode char * fname, IN: File name FILE * fp IN: File pointer to the store file )
Dddmp_cuddAddStore
Dddmp_cuddAddLoad
Dddmp_cuddAddArrayLoad
DdNode * Dddmp_cuddAddLoad( DdManager * ddMgr, IN: Manager Dddmp_VarMatchType varMatchMode, IN: storing mode selector char ** varmatchnames, IN: array of variable names by IDs int * varmatchauxids, IN: array of variable auxids by IDs int * varcomposeids, IN: array of new ids by IDs int mode, IN: requested input file format char * file, IN: file name FILE * fp IN: file pointer )
Dddmp_cuddAddStore
Dddmp_cuddAddArrayLoad
int Dddmp_cuddAddStore( DdManager * ddMgr, IN: DD Manager char * ddname, IN: DD name (or NULL) DdNode * f, IN: ADD root to be stored char ** varnames, IN: array of variable names (or NULL) int * auxids, IN: array of converted var ids int mode, IN: storing mode selector Dddmp_VarInfoType varinfo, IN: extra info for variables in text mode char * fname, IN: File name FILE * fp IN: File pointer to the store file )
Dddmp_cuddAddLoad
Dddmp_cuddAddArrayLoad
int Dddmp_cuddBddArrayLoadCnf( DdManager * ddMgr, IN: DD Manager Dddmp_RootMatchType rootmatchmode, IN: storing mode selector char ** rootmatchnames, IN: sorted names for loaded roots Dddmp_VarMatchType varmatchmode, IN: storing mode selector char ** varmatchnames, IN: array of variable names, by IDs int * varmatchauxids, IN: array of variable auxids, by IDs int * varcomposeids, IN: array of new ids, by IDs int mode, IN: computation Mode char * file, IN: file name FILE * fp, IN: file pointer DdNode *** rootsPtrPtr, OUT: array of returned BDD roots int * nRoots OUT: number of BDDs returned )
Dddmp_cuddBddArrayLoad
int Dddmp_cuddBddArrayLoad( DdManager * ddMgr, IN: DD Manager Dddmp_RootMatchType rootMatchMode, IN: storing mode selector char ** rootmatchnames, IN: sorted names for loaded roots Dddmp_VarMatchType varMatchMode, IN: storing mode selector char ** varmatchnames, IN: array of variable names, by ids int * varmatchauxids, IN: array of variable auxids, by ids int * varcomposeids, IN: array of new ids, by ids int mode, IN: requested input file format char * file, IN: file name FILE * fp, IN: file pointer DdNode *** pproots OUT: array of returned BDD roots )
allows the loading of a DD keeping variable IDs unchanged (regardless of the variable ordering of the reading manager); this is useful, for example, when swapping DDs to file and restoring them later from file, after possible variable reordering activations.
is used to allow variable match according to the position in the ordering.
requires a non NULL varmatchnames parameter; this is a vector of strings in one-to-one correspondence with variable IDs of the reading manager. Variables in the DD file read are matched with manager variables according to their name (a non NULL varnames parameter was required while storing the DD file).
has a meaning similar to DDDMP_VAR_MATCHNAMES, but integer auxiliary IDs are used instead of strings; the additional non NULL varmatchauxids parameter is needed.
uses the additional varcomposeids parameter is used as array of variable ids to be composed with ids stored in file.
Dddmp_cuddBddArrayStore
int Dddmp_cuddBddArrayStoreBlif( DdManager * ddMgr, IN: DD Manager int nroots, IN: number of output BDD roots to be stored DdNode ** f, IN: array of BDD roots to be stored char ** inputNames, IN: array of variable names (or NULL) char ** outputNames, IN: array of root names (or NULL) char * modelName, IN: Model Name char * fname, IN: File name FILE * fp IN: File pointer to the store file )
Dddmp_cuddBddArrayStorePrefix
int Dddmp_cuddBddArrayStoreCnf( DdManager * ddMgr, IN: DD Manager DdNode ** f, IN: array of BDD roots to be stored int rootN, IN: # output BDD roots to be stored Dddmp_DecompCnfStoreType mode, IN: format selection int noHeader, IN: do not store header iff 1 char ** varNames, IN: array of variable names (or NULL) int * bddIds, IN: array of converted var IDs int * bddAuxIds, IN: array of BDD node Auxiliary Ids int * cnfIds, IN: array of converted var IDs int idInitial, IN: starting id for cutting variables int edgeInTh, IN: Max # Incoming Edges int pathLengthTh, IN: Max Path Length char * fname, IN: file name FILE * fp, IN: pointer to the store file int * clauseNPtr, OUT: number of clause stored int * varNewNPtr OUT: number of new variable created )
int Dddmp_cuddBddArrayStorePrefix( DdManager * ddMgr, IN: DD Manager int nroots, IN: number of output BDD roots to be stored DdNode ** f, IN: array of BDD roots to be stored char ** inputNames, IN: array of variable names (or NULL) char ** outputNames, IN: array of root names (or NULL) char * modelName, IN: Model Name char * fname, IN: File name FILE * fp IN: File pointer to the store file )
Dddmp_cuddBddArrayStore
int Dddmp_cuddBddArrayStoreSmv( DdManager * ddMgr, IN: DD Manager int nroots, IN: number of output BDD roots to be stored DdNode ** f, IN: array of BDD roots to be stored char ** inputNames, IN: array of variable names (or NULL) char ** outputNames, IN: array of root names (or NULL) char * modelName, IN: Model Name char * fname, IN: File name FILE * fp IN: File pointer to the store file )
Dddmp_cuddBddArrayStore
int Dddmp_cuddBddArrayStore( DdManager * ddMgr, IN: DD Manager char * ddname, IN: dd name (or NULL) int nRoots, IN: number of output BDD roots to be stored DdNode ** f, IN: array of BDD roots to be stored char ** rootnames, IN: array of root names (or NULL) char ** varnames, IN: array of variable names (or NULL) int * auxids, IN: array of converted var IDs int mode, IN: storing mode selector Dddmp_VarInfoType varinfo, IN: extra info for variables in text mode char * fname, IN: File name FILE * fp IN: File pointer to the store file )
Dddmp_cuddBddStore
Dddmp_cuddBddLoad
Dddmp_cuddBddArrayLoad
int Dddmp_cuddBddDisplayBinary( char * fileIn, IN: name of binary file char * fileOut IN: name of text file )
Dddmp_cuddBddStore
Dddmp_cuddBddLoad
int Dddmp_cuddBddLoadCnf( DdManager * ddMgr, IN: DD Manager Dddmp_VarMatchType varmatchmode, IN: storing mode selector char ** varmatchnames, IN: array of variable names, by IDs int * varmatchauxids, IN: array of variable auxids, by IDs int * varcomposeids, IN: array of new ids accessed, by IDs int mode, IN: computation mode char * file, IN: file name FILE * fp, IN: file pointer DdNode *** rootsPtrPtr, OUT: array of returned BDD roots int * nRoots OUT: number of BDDs returned )
Dddmp_cuddBddLoad
Dddmp_cuddBddArrayLoad
DdNode * Dddmp_cuddBddLoad( DdManager * ddMgr, IN: DD Manager Dddmp_VarMatchType varMatchMode, IN: storing mode selector char ** varmatchnames, IN: array of variable names - by IDs int * varmatchauxids, IN: array of variable auxids - by IDs int * varcomposeids, IN: array of new ids accessed - by IDs int mode, IN: requested input file format char * file, IN: file name FILE * fp IN: file pointer )
Dddmp_cuddBddStore
Dddmp_cuddBddArrayLoad
int Dddmp_cuddBddStoreBlif( DdManager * ddMgr, IN: DD Manager int nRoots, IN: Number of BDD roots DdNode * f, IN: BDD root to be stored char ** inputNames, IN: Array of variable names char ** outputNames, IN: Array of root names char * modelName, IN: Model Name char * fileName, IN: File name FILE * fp IN: File pointer to the store file )
Dddmp_cuddBddStorePrefix
int Dddmp_cuddBddStoreCnf( DdManager * ddMgr, IN: DD Manager DdNode * f, IN: BDD root to be stored Dddmp_DecompCnfStoreType mode, IN: format selection int noHeader, IN: do not store header iff 1 char ** varNames, IN: array of variable names (or NULL) int * bddIds, IN: array of var ids int * bddAuxIds, IN: array of BDD node Auxiliary Ids int * cnfIds, IN: array of CNF var ids int idInitial, IN: starting id for cutting variables int edgeInTh, IN: Max # Incoming Edges int pathLengthTh, IN: Max Path Length char * fname, IN: file name FILE * fp, IN: pointer to the store file int * clauseNPtr, OUT: number of clause stored int * varNewNPtr OUT: number of new variable created )
Dddmp_cuddBddArrayStoreCnf
int Dddmp_cuddBddStorePrefix( DdManager * ddMgr, IN: DD Manager int nRoots, IN: Number of BDD roots DdNode * f, IN: BDD root to be stored char ** inputNames, IN: Array of variable names char ** outputNames, IN: Array of root names char * modelName, IN: Model Name char * fileName, IN: File name FILE * fp IN: File pointer to the store file )
Dddmp_cuddBddStore
int Dddmp_cuddBddStoreSmv( DdManager * ddMgr, IN: DD Manager int nRoots, IN: Number of BDD roots DdNode * f, IN: BDD root to be stored char ** inputNames, IN: Array of variable names char ** outputNames, IN: Array of root names char * modelName, IN: Model Name char * fileName, IN: File name FILE * fp IN: File pointer to the store file )
Dddmp_cuddBddStore
int Dddmp_cuddBddStore( DdManager * ddMgr, IN: DD Manager char * ddname, IN: DD name (or NULL) DdNode * f, IN: BDD root to be stored char ** varnames, IN: array of variable names (or NULL) int * auxids, IN: array of converted var ids int mode, IN: storing mode selector Dddmp_VarInfoType varinfo, IN: extra info for variables in text mode char * fname, IN: File name FILE * fp IN: File pointer to the store file )
Dddmp_cuddBddLoad
Dddmp_cuddBddArrayLoad
int Dddmp_cuddHeaderLoadCnf( int * nVars, OUT: number of DD variables int * nsuppvars, OUT: number of support variables char *** suppVarNames, OUT: array of support variable names char *** orderedVarNames, OUT: array of variable names int ** varIds, OUT: array of variable ids int ** varComposeIds, OUT: array of permids ids int ** varAuxIds, OUT: array of variable aux ids int * nRoots, OUT: number of root in the file char * file, IN: file name FILE * fp IN: file pointer )
Dddmp_cuddBddArrayLoad
int Dddmp_cuddHeaderLoad( Dddmp_DecompType * ddType, OUT: selects the proper decomp type int * nVars, OUT: number of DD variables int * nsuppvars, OUT: number of support variables char *** suppVarNames, OUT: array of support variable names char *** orderedVarNames, OUT: array of variable names int ** varIds, OUT: array of variable ids int ** varComposeIds, OUT: array of permids ids int ** varAuxIds, OUT: array of variable aux ids int * nRoots, OUT: number of root in the file char * file, IN: file name FILE * fp IN: file pointer )
Dddmp_cuddBddArrayLoad