diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-02 22:58:23 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-02 22:58:23 -0700 |
| commit | cfa7be1a07e3102195b2395f379f50e556dbf4e3 (patch) | |
| tree | a53bddabc1d9554eae9d03cb6f6363c5edd2d478 /src/opt/dau/dau.h | |
| parent | 38e577f5dfeb30379c0f97c246b4cc9428ba3db3 (diff) | |
| download | abc-cfa7be1a07e3102195b2395f379f50e556dbf4e3.tar.gz abc-cfa7be1a07e3102195b2395f379f50e556dbf4e3.tar.bz2 abc-cfa7be1a07e3102195b2395f379f50e556dbf4e3.zip | |
Integrating synthesis into the new BMC engine.
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 a928fecf..92641b71 100644 --- a/src/opt/dau/dau.h +++ b/src/opt/dau/dau.h @@ -89,7 +89,7 @@ extern int Dau_DsdCheck1Step( word * pTruth, int nVarsInit ); /*=== dauGia.c ==========================================================*/ extern int Dsm_ManTruthToGia( void * p, word * pTruth, Vec_Int_t * vLeaves, Vec_Int_t * vCover ); -extern void * Dsm_ManDeriveGia( void * p ); +extern void * Dsm_ManDeriveGia( void * p, int fUseMuxes ); /*=== dauMerge.c ==========================================================*/ extern void Dau_DsdRemoveBraces( char * pDsd, int * pMatches ); |