diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-13 20:44:34 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-13 20:44:34 -0800 |
| commit | abefcf8fc8f785f41b4f8b1a4431a079774b725c (patch) | |
| tree | 653fdb8fb1f0c7947ac6a253eeaf110610eb6851 /src/map/if/if.h | |
| parent | 30b8c3d4225d66f2eca70513c0f7cd0e00a76159 (diff) | |
| download | abc-abefcf8fc8f785f41b4f8b1a4431a079774b725c.tar.gz abc-abefcf8fc8f785f41b4f8b1a4431a079774b725c.tar.bz2 abc-abefcf8fc8f785f41b4f8b1a4431a079774b725c.zip | |
DSD manager.
Diffstat (limited to 'src/map/if/if.h')
| -rw-r--r-- | src/map/if/if.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index 6a2fdd5d..e8c57998 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -188,6 +188,8 @@ struct If_Man_t_ int nChoices; // the number of choice nodes Vec_Int_t * vSwitching; // switching activity of each node Vec_Int_t ** pDriverCuts; // temporary driver cuts + int pPerm[3][IF_MAX_LUTSIZE]; // permutations + int nShared; // the number of shared variables // SOP balancing Vec_Int_t * vCover; // used to compute ISOP Vec_Wrd_t * vAnds; // intermediate storage @@ -437,7 +439,7 @@ extern int If_ManPerformMappingComb( If_Man_t * p ); extern int If_CutFilter( If_Set_t * pCutSet, If_Cut_t * pCut ); extern void If_CutSort( If_Man_t * p, If_Set_t * pCutSet, If_Cut_t * pCut ); extern void If_CutOrder( If_Cut_t * pCut ); -extern int If_CutMerge( If_Cut_t * pCut0, If_Cut_t * pCut1, If_Cut_t * pCut ); +extern int If_CutMerge( If_Man_t * p, If_Cut_t * pCut0, If_Cut_t * pCut1, If_Cut_t * pCut ); extern int If_CutCheck( If_Cut_t * pCut ); extern void If_CutPrint( If_Cut_t * pCut ); extern void If_CutPrintTiming( If_Man_t * p, If_Cut_t * pCut ); |