3 #ifndef EXTRA_FWD_HEADER
4 #define EXTRA_FWD_HEADER
34 extern DdNode *
Extra_zddResolve( DdManager * dd, DdNode * S, DdNode * Vars );
76 extern void Extra_zddDivision( DdManager * dd, DdNode * zCover, DdNode * zDiv, DdNode ** zQuo, DdNode ** zRem );
93 extern int Extra_zddCommonLiterals( DdManager * dd, DdNode * zCover,
int iZVar,
int * pLevels,
int * pLiterals );
103 extern DdNode *
Extra_zddCliques( DdManager *dd, DdNode * G,
int fMaximal );
165 extern DdNode *
Extra_zddTuples( DdManager * dd,
int K, DdNode * zVarsN );
174 extern DdNode *
Extra_zddMaximum( DdManager * dd, DdNode * S,
int * nVars );
176 extern DdNode *
Extra_zddMinimum( DdManager * dd, DdNode * S,
int * nVars );
208 extern DdNode *
Extra_zddPermute ( DdManager *dd, DdNode * N,
int *permut );
213 extern DdNode *
Extra_zddCofactor1( DdManager * dd, DdNode * f, DdNode * cube,
int fIncludeVars );
219 extern DdNode *
Extra_zddSubSet ( DdManager *dd, DdNode * X, DdNode * Y );
221 extern DdNode *
Extra_zddSupSet ( DdManager *dd, DdNode * X, DdNode * Y );