extrafwd.h File Reference

#include <cudd.h>

Go to the source code of this file.

Functions

DdNode * Extra_zddPrimeProduct (DdManager *dd, DdNode *f, DdNode *g)
DdNode * Extra_zddProductAlt (DdManager *dd, DdNode *f, DdNode *g)
DdNode * Extra_zddCompatible (DdManager *dd, DdNode *zCover, DdNode *zCube)
DdNode * Extra_zddIsopCover (DdManager *dd, DdNode *F1, DdNode *F12)
void Extra_zddIsopPrintCover (DdManager *dd, DdNode *F1, DdNode *F12)
DdNode * Extra_zddSimplify (DdManager *dd, DdNode *F1, DdNode *F12)
DdNode * Extra_zddIsopCoverAlt (DdManager *dd, DdNode *F1, DdNode *F12)
int Extra_zddIsopCubeNum (DdManager *dd, DdNode *F1, DdNode *F12)
DdNode * Extra_zddDisjointCover (DdManager *dd, DdNode *F)
DdNode * Extra_zddResolve (DdManager *dd, DdNode *S, DdNode *Vars)
DdNode * Extra_zddNotContainedCubesOverArea (DdManager *dd, DdNode *zC, DdNode *zD, DdNode *bA)
DdNode * extraZddNotContainedCubesOverArea (DdManager *dd, DdNode *zC, DdNode *zD, DdNode *bA)
DdNode * Extra_zddSelectOneCube (DdManager *dd, DdNode *zS)
DdNode * Extra_zddSelectOneSubset (DdManager *dd, DdNode *zS)
int Extra_zddCheckUnateness (DdManager *dd, DdNode *zCover)
DdNode * Extra_zddGetMostCoveredArea (DdManager *dd, DdNode *zC, int *nOverlaps)
DdNode * Extra_zddUnionExor (DdManager *dd, DdNode *S, DdNode *T)
DdNode * Extra_zddSupercubes (DdManager *dd, DdNode *zA, DdNode *zB)
DdNode * Extra_zddSelectDist1Cubes (DdManager *dd, DdNode *zA, DdNode *zB)
int Extra_zddFastEsopCoverArray (DdManager *dd, DdNode **bFs, DdNode **zCs, int nFs)
int Extra_bddFactoredFormLiterals (DdManager *dd, DdNode *bOnSet, DdNode *bOnDcSet)
DdNode * Extra_zddFactoredFormLiterals (DdManager *dd, DdNode *zCover)
DdNode * Extra_zddLFLiterals (DdManager *dd, DdNode *zCover, DdNode *zCube)
DdNode * Extra_zddQuickDivisor (DdManager *dd, DdNode *zCover)
DdNode * Extra_zddLevel0Kernel (DdManager *dd, DdNode *zCover)
void Extra_zddDivision (DdManager *dd, DdNode *zCover, DdNode *zDiv, DdNode **zQuo, DdNode **zRem)
DdNode * Extra_zddCommonCubeFast (DdManager *dd, DdNode *zCover)
DdNode * Extra_zddMoreThanOnceCubeFast (DdManager *dd, DdNode *zCover)
DdNode * Extra_zddMakeCubeFree (DdManager *dd, DdNode *zCover, int iZVar)
int Extra_zddTestCubeFree (DdManager *dd, DdNode *zCover)
int Extra_zddCountLiteralsSimple (DdManager *dd, DdNode *zCover)
int Extra_zddMoreThanOneCube (DdManager *dd, DdNode *zCover)
DdNode * Extra_zddCombinationFromLevels (DdManager *dd, int *pLevels, int nVars)
int Extra_zddCommonLiterals (DdManager *dd, DdNode *zCover, int iZVar, int *pLevels, int *pLiterals)
int Extra_zddMoreThanOneLiteralSet (DdManager *dd, DdNode *zCover, int StartLevel, int *pVars, int *pCounters)
int Extra_zddMoreThanOneLiteral (DdManager *dd, DdNode *zCover, int iZVar)
DdNode * Extra_zddCliques (DdManager *dd, DdNode *G, int fMaximal)
DdNode * Extra_zddMaxCliques (DdManager *dd, DdNode *G)
DdNode * Extra_zddIncremCliques (DdManager *dd, DdNode *G, DdNode *C)
DdNode * Extra_zddIsopCoverAllVars (DdManager *dd, DdNode *F1, DdNode *F12)
DdNode * Extra_zddIsopCoverUnateVars (DdManager *dd, DdNode *F1, DdNode *F12)
DdNode * Extra_zddIsopCoverRandom (DdManager *dd, DdNode *F1, DdNode *F12)
DdNode * Extra_zddIsopCoverReduced (DdManager *dd, DdNode *F1, DdNode *F12)
int * Extra_zddLitCount (DdManager *dd, DdNode *Set)
int Extra_zddLitCountComb (DdManager *dd, DdNode *zComb)
DdNode * Extra_zddMaximal (DdManager *dd, DdNode *S)
DdNode * Extra_zddMinimal (DdManager *dd, DdNode *S)
DdNode * Extra_zddMaxUnion (DdManager *dd, DdNode *S, DdNode *T)
DdNode * Extra_zddMinUnion (DdManager *dd, DdNode *S, DdNode *T)
DdNode * Extra_zddDotProduct (DdManager *dd, DdNode *S, DdNode *T)
DdNode * Extra_zddExorProduct (DdManager *dd, DdNode *S, DdNode *T)
DdNode * Extra_zddCrossProduct (DdManager *dd, DdNode *S, DdNode *T)
DdNode * Extra_zddMaxDotProduct (DdManager *dd, DdNode *S, DdNode *T)
DdNode * Extra_zddVariable (DdManager *dd, int iVar)
DdNode * Extra_zddCombination (DdManager *dd, int *VarValues, int nVars)
DdNode * Extra_zddUniverse (DdManager *dd, DdNode *VarSet)
DdNode * Extra_zddTuples (DdManager *dd, int K, DdNode *zVarsN)
DdNode * Extra_zddTuplesFromBdd (DdManager *dd, int K, DdNode *bVarsN)
DdNode * Extra_zddSinglesToComb (DdManager *dd, DdNode *Singles)
DdNode * Extra_zddMaximum (DdManager *dd, DdNode *S, int *nVars)
DdNode * Extra_zddMinimum (DdManager *dd, DdNode *S, int *nVars)
DdNode * Extra_zddRandomSet (DdManager *dd, int n, int k, double d)
DdNode * Extra_zddCoveredByArea (DdManager *dd, DdNode *zC, DdNode *bA)
DdNode * Extra_zddNotCoveredByCover (DdManager *dd, DdNode *zC, DdNode *zD)
DdNode * Extra_zddOverlappingWithArea (DdManager *dd, DdNode *zC, DdNode *bA)
DdNode * Extra_zddConvertToBdd (DdManager *dd, DdNode *zC)
DdNode * Extra_zddConvertToBddUnate (DdManager *dd, DdNode *zC)
DdNode * Extra_zddConvertEsopToBdd (DdManager *dd, DdNode *zC)
DdNode * Extra_zddConvertToBddAndAdd (DdManager *dd, DdNode *zC, DdNode *bA)
DdNode * Extra_zddSingleCoveredArea (DdManager *dd, DdNode *zC)
DdNode * Extra_zddConvertBddCubeIntoZddCube (DdManager *dd, DdNode *bCube)
DdNode * Extra_zddExistAbstract (DdManager *manager, DdNode *F, DdNode *cube)
DdNode * Extra_zddChangeVars (DdManager *manager, DdNode *F, DdNode *cube)
DdNode * Extra_zddPermute (DdManager *dd, DdNode *N, int *permut)
DdNode * Extra_zddCofactor0 (DdManager *dd, DdNode *f, DdNode *cube)
DdNode * Extra_zddCofactor1 (DdManager *dd, DdNode *f, DdNode *cube, int fIncludeVars)
DdNode * Extra_zddSubSet (DdManager *dd, DdNode *X, DdNode *Y)
DdNode * Extra_zddSupSet (DdManager *dd, DdNode *X, DdNode *Y)
DdNode * Extra_zddNotSubSet (DdManager *dd, DdNode *X, DdNode *Y)
DdNode * Extra_zddNotSupSet (DdManager *dd, DdNode *X, DdNode *Y)
DdNode * Extra_zddMaxNotSupSet (DdManager *dd, DdNode *X, DdNode *Y)
int Extra_zddEmptyBelongs (DdManager *dd, DdNode *zS)
int Extra_zddIsOneSubset (DdManager *dd, DdNode *zS)

Function Documentation

int Extra_bddFactoredFormLiterals ( DdManager *  dd,
DdNode *  bOnSet,
DdNode *  bOnDcSet 
)
DdNode* Extra_zddChangeVars ( DdManager *  manager,
DdNode *  F,
DdNode *  cube 
)
int Extra_zddCheckUnateness ( DdManager *  dd,
DdNode *  zCover 
)
DdNode* Extra_zddCliques ( DdManager *  dd,
DdNode *  G,
int  fMaximal 
)
DdNode* Extra_zddCofactor0 ( DdManager *  dd,
DdNode *  f,
DdNode *  cube 
)
DdNode* Extra_zddCofactor1 ( DdManager *  dd,
DdNode *  f,
DdNode *  cube,
int  fIncludeVars 
)
DdNode* Extra_zddCombination ( DdManager *  dd,
int *  VarValues,
int  nVars 
)
DdNode* Extra_zddCombinationFromLevels ( DdManager *  dd,
int *  pLevels,
int  nVars 
)
DdNode* Extra_zddCommonCubeFast ( DdManager *  dd,
DdNode *  zCover 
)
int Extra_zddCommonLiterals ( DdManager *  dd,
DdNode *  zCover,
int  iZVar,
int *  pLevels,
int *  pLiterals 
)
DdNode* Extra_zddCompatible ( DdManager *  dd,
DdNode *  zCover,
DdNode *  zCube 
)
DdNode* Extra_zddConvertBddCubeIntoZddCube ( DdManager *  dd,
DdNode *  bCube 
)
DdNode* Extra_zddConvertEsopToBdd ( DdManager *  dd,
DdNode *  zC 
)
DdNode* Extra_zddConvertToBdd ( DdManager *  dd,
DdNode *  zC 
)
DdNode* Extra_zddConvertToBddAndAdd ( DdManager *  dd,
DdNode *  zC,
DdNode *  bA 
)
DdNode* Extra_zddConvertToBddUnate ( DdManager *  dd,
DdNode *  zC 
)
int Extra_zddCountLiteralsSimple ( DdManager *  dd,
DdNode *  zCover 
)
DdNode* Extra_zddCoveredByArea ( DdManager *  dd,
DdNode *  zC,
DdNode *  bA 
)
DdNode* Extra_zddCrossProduct ( DdManager *  dd,
DdNode *  S,
DdNode *  T 
)
DdNode* Extra_zddDisjointCover ( DdManager *  dd,
DdNode *  F 
)
void Extra_zddDivision ( DdManager *  dd,
DdNode *  zCover,
DdNode *  zDiv,
DdNode **  zQuo,
DdNode **  zRem 
)
DdNode* Extra_zddDotProduct ( DdManager *  dd,
DdNode *  S,
DdNode *  T 
)
int Extra_zddEmptyBelongs ( DdManager *  dd,
DdNode *  zS 
)
DdNode* Extra_zddExistAbstract ( DdManager *  manager,
DdNode *  F,
DdNode *  cube 
)
DdNode* Extra_zddExorProduct ( DdManager *  dd,
DdNode *  S,
DdNode *  T 
)
DdNode* Extra_zddFactoredFormLiterals ( DdManager *  dd,
DdNode *  zCover 
)
int Extra_zddFastEsopCoverArray ( DdManager *  dd,
DdNode **  bFs,
DdNode **  zCs,
int  nFs 
)
DdNode* Extra_zddGetMostCoveredArea ( DdManager *  dd,
DdNode *  zC,
int *  nOverlaps 
)
DdNode* Extra_zddIncremCliques ( DdManager *  dd,
DdNode *  G,
DdNode *  C 
)
int Extra_zddIsOneSubset ( DdManager *  dd,
DdNode *  zS 
)
DdNode* Extra_zddIsopCover ( DdManager *  dd,
DdNode *  F1,
DdNode *  F12 
)
DdNode* Extra_zddIsopCoverAllVars ( DdManager *  dd,
DdNode *  F1,
DdNode *  F12 
)
DdNode* Extra_zddIsopCoverAlt ( DdManager *  dd,
DdNode *  F1,
DdNode *  F12 
)
DdNode* Extra_zddIsopCoverRandom ( DdManager *  dd,
DdNode *  F1,
DdNode *  F12 
)
DdNode* Extra_zddIsopCoverReduced ( DdManager *  dd,
DdNode *  F1,
DdNode *  F12 
)
DdNode* Extra_zddIsopCoverUnateVars ( DdManager *  dd,
DdNode *  F1,
DdNode *  F12 
)
int Extra_zddIsopCubeNum ( DdManager *  dd,
DdNode *  F1,
DdNode *  F12 
)
void Extra_zddIsopPrintCover ( DdManager *  dd,
DdNode *  F1,
DdNode *  F12 
)
DdNode* Extra_zddLevel0Kernel ( DdManager *  dd,
DdNode *  zCover 
)
DdNode* Extra_zddLFLiterals ( DdManager *  dd,
DdNode *  zCover,
DdNode *  zCube 
)
int* Extra_zddLitCount ( DdManager *  dd,
DdNode *  Set 
)
int Extra_zddLitCountComb ( DdManager *  dd,
DdNode *  zComb 
)
DdNode* Extra_zddMakeCubeFree ( DdManager *  dd,
DdNode *  zCover,
int  iZVar 
)
DdNode* Extra_zddMaxCliques ( DdManager *  dd,
DdNode *  G 
)
DdNode* Extra_zddMaxDotProduct ( DdManager *  dd,
DdNode *  S,
DdNode *  T 
)
DdNode* Extra_zddMaximal ( DdManager *  dd,
DdNode *  S 
)
DdNode* Extra_zddMaximum ( DdManager *  dd,
DdNode *  S,
int *  nVars 
)
DdNode* Extra_zddMaxNotSupSet ( DdManager *  dd,
DdNode *  X,
DdNode *  Y 
)
DdNode* Extra_zddMaxUnion ( DdManager *  dd,
DdNode *  S,
DdNode *  T 
)
DdNode* Extra_zddMinimal ( DdManager *  dd,
DdNode *  S 
)
DdNode* Extra_zddMinimum ( DdManager *  dd,
DdNode *  S,
int *  nVars 
)
DdNode* Extra_zddMinUnion ( DdManager *  dd,
DdNode *  S,
DdNode *  T 
)
DdNode* Extra_zddMoreThanOnceCubeFast ( DdManager *  dd,
DdNode *  zCover 
)
int Extra_zddMoreThanOneCube ( DdManager *  dd,
DdNode *  zCover 
)
int Extra_zddMoreThanOneLiteral ( DdManager *  dd,
DdNode *  zCover,
int  iZVar 
)
int Extra_zddMoreThanOneLiteralSet ( DdManager *  dd,
DdNode *  zCover,
int  StartLevel,
int *  pVars,
int *  pCounters 
)
DdNode* Extra_zddNotContainedCubesOverArea ( DdManager *  dd,
DdNode *  zC,
DdNode *  zD,
DdNode *  bA 
)
DdNode* Extra_zddNotCoveredByCover ( DdManager *  dd,
DdNode *  zC,
DdNode *  zD 
)
DdNode* Extra_zddNotSubSet ( DdManager *  dd,
DdNode *  X,
DdNode *  Y 
)
DdNode* Extra_zddNotSupSet ( DdManager *  dd,
DdNode *  X,
DdNode *  Y 
)
DdNode* Extra_zddOverlappingWithArea ( DdManager *  dd,
DdNode *  zC,
DdNode *  bA 
)
DdNode* Extra_zddPermute ( DdManager *  dd,
DdNode *  N,
int *  permut 
)
DdNode* Extra_zddPrimeProduct ( DdManager *  dd,
DdNode *  f,
DdNode *  g 
)
DdNode* Extra_zddProductAlt ( DdManager *  dd,
DdNode *  f,
DdNode *  g 
)
DdNode* Extra_zddQuickDivisor ( DdManager *  dd,
DdNode *  zCover 
)
DdNode* Extra_zddRandomSet ( DdManager *  dd,
int  n,
int  k,
double  d 
)
DdNode* Extra_zddResolve ( DdManager *  dd,
DdNode *  S,
DdNode *  Vars 
)
DdNode* Extra_zddSelectDist1Cubes ( DdManager *  dd,
DdNode *  zA,
DdNode *  zB 
)
DdNode* Extra_zddSelectOneCube ( DdManager *  dd,
DdNode *  zS 
)
DdNode* Extra_zddSelectOneSubset ( DdManager *  dd,
DdNode *  zS 
)
DdNode* Extra_zddSimplify ( DdManager *  dd,
DdNode *  F1,
DdNode *  F12 
)
DdNode* Extra_zddSingleCoveredArea ( DdManager *  dd,
DdNode *  zC 
)
DdNode* Extra_zddSinglesToComb ( DdManager *  dd,
DdNode *  Singles 
)
DdNode* Extra_zddSubSet ( DdManager *  dd,
DdNode *  X,
DdNode *  Y 
)
DdNode* Extra_zddSupercubes ( DdManager *  dd,
DdNode *  zA,
DdNode *  zB 
)
DdNode* Extra_zddSupSet ( DdManager *  dd,
DdNode *  X,
DdNode *  Y 
)
int Extra_zddTestCubeFree ( DdManager *  dd,
DdNode *  zCover 
)
DdNode* Extra_zddTuples ( DdManager *  dd,
int  K,
DdNode *  zVarsN 
)
DdNode* Extra_zddTuplesFromBdd ( DdManager *  dd,
int  K,
DdNode *  bVarsN 
)
DdNode* Extra_zddUnionExor ( DdManager *  dd,
DdNode *  S,
DdNode *  T 
)
DdNode* Extra_zddUniverse ( DdManager *  dd,
DdNode *  VarSet 
)
DdNode* Extra_zddVariable ( DdManager *  dd,
int  iVar 
)
DdNode* extraZddNotContainedCubesOverArea ( DdManager *  dd,
DdNode *  zC,
DdNode *  zD,
DdNode *  bA 
)

Generated on 23 Dec 2009 for PolyBoRi by  doxygen 1.6.1