int Dddmp_Bin2Text( char * filein, char * fileout )
Dddmp_Text2Bin()
int Dddmp_Text2Bin( char * filein, char * fileout )
Dddmp_Bin2Text()
int Dddmp_cuddBddArrayLoad( DdManager * dd, manager Dddmp_RootMatchType rootmatchmode, storing mode selector char ** rootmatchnames, sorted names for loaded roots Dddmp_VarMatchType varmatchmode, storing mode selector char ** varmatchnames, array of variable names (accessed by ids) int * varmatchauxids, array of variable auxids (accessed by ids) int * varcomposeids, array of new ids (accessed by ids) int mode, requested input file format (checked against file format) char * file, file name FILE * fp, file pointer DdNode *** pproots array of returned BDD roots (by reference) )
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_cuddBddArrayStore( DdManager * dd, manager char * ddname, dd name (or NULL) int nroots, number of output BDD roots to be stored DdNode ** f, array of BDD roots to be stored char ** rootnames, array of root names (or NULL) char ** varnames, array of variable names (or NULL) int * auxids, array of converted var IDs int mode, storing mode selector Dddmp_VarInfoType varinfo, extra info for variables in text mode char * fname, file name FILE * fp pointer to the store file )
Dddmp_cuddBddStore
Dddmp_cuddBddLoad
Dddmp_cuddBddArrayLoad
int Dddmp_cuddBddDisplayBinary( char * filein, char * fileout name of text file )
Dddmp_cuddBddStore
Dddmp_cuddBddLoad
DdNode * Dddmp_cuddBddLoad( DdManager * dd, manager Dddmp_VarMatchType varmatchmode, storing mode selector char ** varmatchnames, array of variable names (accessed by IDs) int * varmatchauxids, array of variable auxids (accessed by IDs) int * varcomposeids, array of new ids (accessed by ids) int mode, requested input file format (checked against file format) char * file, file name FILE * fp file pointer )
Dddmp_cuddBddStore
Dddmp_cuddBddArrayLoad
int Dddmp_cuddBddStore( DdManager * dd, manager char * ddname, dd name (or NULL) DdNode * f, BDD root to be stored char ** varnames, array of variable names (or NULL) int * auxids, array of converted var ids int mode, storing mode selector Dddmp_VarInfoType varinfo, extra info for variables in text mode char * fname, file name FILE * fp pointer to the store file )
Dddmp_cuddBddLoad
Dddmp_cuddBddArrayLoad