diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-30 19:45:36 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-30 19:45:36 -0700 |
commit | 73ba1458af9b82085451a931268f86547f48e431 (patch) | |
tree | 491cdcba53d753d768c49992895cba5c2c6e17c3 /src/opt/dau/dau.h | |
parent | cb845d4488af31b44e6913fff57c1c0b7bc52f55 (diff) | |
download | abc-73ba1458af9b82085451a931268f86547f48e431.tar.gz abc-73ba1458af9b82085451a931268f86547f48e431.tar.bz2 abc-73ba1458af9b82085451a931268f86547f48e431.zip |
Producing AIG after structural mapping.
Diffstat (limited to 'src/opt/dau/dau.h')
-rw-r--r-- | src/opt/dau/dau.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/dau/dau.h b/src/opt/dau/dau.h index 0ee50007..f91d2831 100644 --- a/src/opt/dau/dau.h +++ b/src/opt/dau/dau.h @@ -88,7 +88,7 @@ extern void Dau_DsdTruthCompose_rec( word * pFunc, word pFanins[DAU_MAX extern int Dau_DsdCheck1Step( word * pTruth, int nVarsInit ); /*=== dauGia.c ==========================================================*/ -extern int Dsm_ManDeriveGia( void * p, word uTruth, Vec_Int_t * vLeaves, Vec_Int_t * vCover ); +extern int Dsm_ManDeriveGia( void * p, word * pTruth, Vec_Int_t * vLeaves, Vec_Int_t * vCover ); /*=== dauMerge.c ==========================================================*/ extern void Dau_DsdRemoveBraces( char * pDsd, int * pMatches ); |