PolyBoRi
|
#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) |
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 | ||
) |
Referenced by polybori::CDDInterface< CuddLikeZDD >::cofactor0().
DdNode* Extra_zddCofactor1 | ( | DdManager * | dd, |
DdNode * | f, | ||
DdNode * | cube, | ||
int | fIncludeVars | ||
) |
Referenced by polybori::CDDInterface< CuddLikeZDD >::cofactor1().
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 | ||
) |
Referenced by polybori::CDDInterface< CuddLikeZDD >::minimalElements().
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 | ||
) |
Referenced by polybori::CDDInterface< CuddLikeZDD >::subSet().
DdNode* Extra_zddSupercubes | ( | DdManager * | dd, |
DdNode * | zA, | ||
DdNode * | zB | ||
) |
DdNode* Extra_zddSupSet | ( | DdManager * | dd, |
DdNode * | X, | ||
DdNode * | Y | ||
) |
Referenced by polybori::CDDInterface< CuddLikeZDD >::supSet().
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 | ||
) |
Referenced by polybori::CDDInterface< CuddLikeZDD >::Xor().
DdNode* Extra_zddUniverse | ( | DdManager * | dd, |
DdNode * | VarSet | ||
) |
DdNode* Extra_zddVariable | ( | DdManager * | dd, |
int | iVar | ||
) |
DdNode* extraZddNotContainedCubesOverArea | ( | DdManager * | dd, |
DdNode * | zC, | ||
DdNode * | zD, | ||
DdNode * | bA | ||
) |