diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-10-05 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-10-05 08:01:00 -0700 |
| commit | d401cfa6793a76758917fece545103377f3814ca (patch) | |
| tree | 9e3bcb6db9e3661eac91e100b67d66a603803aeb /src/misc/extra/extra.h | |
| parent | 91ca630b0fd316f0843dee8b9e6d236d849eb445 (diff) | |
| download | abc-d401cfa6793a76758917fece545103377f3814ca.tar.gz abc-d401cfa6793a76758917fece545103377f3814ca.tar.bz2 abc-d401cfa6793a76758917fece545103377f3814ca.zip | |
Version abc51005
Diffstat (limited to 'src/misc/extra/extra.h')
| -rw-r--r-- | src/misc/extra/extra.h | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/misc/extra/extra.h b/src/misc/extra/extra.h index 839aa0b4..bb776ab7 100644 --- a/src/misc/extra/extra.h +++ b/src/misc/extra/extra.h @@ -106,7 +106,7 @@ typedef unsigned long long uint64; /* Various Utilities */ /*===========================================================================*/ -/*=== extraUtilBdd.c ========================================================*/ +/*=== extraBddMisc.c ========================================================*/ extern DdNode * Extra_TransferPermute( DdManager * ddSource, DdManager * ddDestination, DdNode * f, int * Permute ); extern DdNode * Extra_TransferLevelByLevel( DdManager * ddSource, DdManager * ddDestination, DdNode * f ); extern DdNode * Extra_bddRemapUp( DdManager * dd, DdNode * bF ); @@ -125,6 +125,14 @@ extern int * Extra_VectorSupportArray( DdManager * dd, DdNode ** F, int n extern DdNode * Extra_bddFindOneCube( DdManager * dd, DdNode * bF ); extern DdNode * Extra_bddGetOneCube( DdManager * dd, DdNode * bFunc ); extern DdNode * Extra_bddComputeRangeCube( DdManager * dd, int iStart, int iStop ); +extern DdNode * Extra_bddBitsToCube( DdManager * dd, int Code, int CodeWidth, DdNode ** pbVars, int fMsbFirst ); + +/*=== extraBddKmap.c ================================================================*/ + +/* displays the Karnaugh Map of a function */ +extern void Extra_PrintKMap( FILE * pFile, DdManager * dd, DdNode * OnSet, DdNode * OffSet, int nVars, DdNode ** XVars, int fSuppType, char ** pVarNames ); +/* displays the Karnaugh Map of a relation */ +extern void Extra_PrintKMapRelation( FILE * pFile, DdManager * dd, DdNode * OnSet, DdNode * OffSet, int nXVars, int nYVars, DdNode ** XVars, DdNode ** YVars ); /*=== extraBddSymm.c =================================================================*/ |