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 */
)
{
int retValue;
#if 0
#ifdef DDDMP_DEBUG
#ifndef __alpha__
int retValueBis;
retValueBis = Cudd_DebugCheck (ddMgr);
if (retValueBis == 1) {
fprintf (stderr, "Inconsistency Found During ADD Load.\n");
fflush (stderr);
} else {
if (retValueBis == CUDD_OUT_OF_MEM) {
fprintf (stderr, "Out of Memory During ADD Load.\n");
fflush (stderr);
}
}
#endif
#endif
#endif
retValue = DddmpCuddDdArrayLoad (DDDMP_ADD, ddMgr, rootMatchMode,
rootmatchnames, varMatchMode, varmatchnames, varmatchauxids,
varcomposeids, mode, file, fp, pproots);
#if 0
#ifdef DDDMP_DEBUG
#ifndef __alpha__
retValueBis = Cudd_DebugCheck (ddMgr);
if (retValueBis == 1) {
fprintf (stderr, "Inconsistency Found During ADD Load.\n");
fflush (stderr);
} else {
if (retValueBis == CUDD_OUT_OF_MEM) {
fprintf (stderr, "Out of Memory During ADD Load.\n");
fflush (stderr);
}
}
#endif
#endif
#endif
return (retValue);
}
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 */
)
{
int retValue;
retValue = DddmpCuddDdArrayLoad (DDDMP_BDD,ddMgr,rootMatchMode,
rootmatchnames, varMatchMode,varmatchnames,varmatchauxids,
varcomposeids, mode, file, fp, pproots);
return (retValue);
}