diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-16 23:27:21 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-16 23:27:21 -0800 |
| commit | 5a10c8ad01b62a6760e4cf8720800acb1fab8554 (patch) | |
| tree | 8ecd829e6329e0b3faa94438a52b9f3530d83d13 /src/opt/sfm/sfm.h | |
| parent | d9ffe9c3ad918bffadc833be0542a50c758d85d5 (diff) | |
| download | abc-5a10c8ad01b62a6760e4cf8720800acb1fab8554.tar.gz abc-5a10c8ad01b62a6760e4cf8720800acb1fab8554.tar.bz2 abc-5a10c8ad01b62a6760e4cf8720800acb1fab8554.zip | |
Integrating mfs2 package to work with boxes.
Diffstat (limited to 'src/opt/sfm/sfm.h')
| -rw-r--r-- | src/opt/sfm/sfm.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sfm/sfm.h b/src/opt/sfm/sfm.h index c8a30030..1d97cd8b 100644 --- a/src/opt/sfm/sfm.h +++ b/src/opt/sfm/sfm.h @@ -77,7 +77,7 @@ extern word * Sfm_NodeReadTruth( Sfm_Ntk_t * p, int i ); extern int Sfm_NodeReadFixed( Sfm_Ntk_t * p, int i ); extern int Sfm_NodeReadUsed( Sfm_Ntk_t * p, int i ); /*=== sfmWin.c ==========================================================*/ -extern Vec_Int_t * Sfm_NtkDfs( Sfm_Ntk_t * p ); +extern Vec_Int_t * Sfm_NtkDfs( Sfm_Ntk_t * p, Vec_Wec_t * vGroups, Vec_Int_t * vGroupMap, Vec_Int_t * vBoxesLeft ); ABC_NAMESPACE_HEADER_END |