diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:04:53 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:04:53 -0700 |
| commit | 0398ced8243806439b814f21ca7d6e584cea13a1 (patch) | |
| tree | 8812787fdd028d6fa04b1206c628a1b0c4743417 /src/aig/dch/dch.h | |
| parent | 70697f868a263930e971c062e5b46e64fbb1ee18 (diff) | |
| download | abc-0398ced8243806439b814f21ca7d6e584cea13a1.tar.gz abc-0398ced8243806439b814f21ca7d6e584cea13a1.tar.bz2 abc-0398ced8243806439b814f21ca7d6e584cea13a1.zip | |
Version abc90714
committer: Baruch Sterin <baruchs@gmail.com>
Diffstat (limited to 'src/aig/dch/dch.h')
| -rw-r--r-- | src/aig/dch/dch.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/dch/dch.h b/src/aig/dch/dch.h index 6157a811..38978164 100644 --- a/src/aig/dch/dch.h +++ b/src/aig/dch/dch.h @@ -50,6 +50,7 @@ struct Dch_Pars_t_ int fPower; // uses power-aware rewriting int fUseGia; // uses GIA package int fUseCSat; // uses circuit-based solver + int fLightSynth; // uses lighter version of synthesis int fVerbose; // verbose stats int timeSynth; // synthesis runtime int nNodesAhead; // the lookahead in terms of nodes @@ -66,7 +67,7 @@ struct Dch_Pars_t_ /*=== dchCore.c ==========================================================*/ extern void Dch_ManSetDefaultParams( Dch_Pars_t * p ); -extern Aig_Man_t * Dch_ComputeChoices( Vec_Ptr_t * vAigs, Dch_Pars_t * pPars ); +extern Aig_Man_t * Dch_ComputeChoices( Aig_Man_t * pAig, Dch_Pars_t * pPars ); #ifdef __cplusplus |