diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-18 19:48:42 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-18 19:48:42 -0700 |
| commit | 3a6f8688e2655a6cf37ccd99ddba33b7f504c264 (patch) | |
| tree | a99d26442f19e4505c085cd3e52820d0e0e1f3e7 /src/aig/dar/darInt.h | |
| parent | ca5d7eef2f5fbaaf5b57f32bc0b4088682ec2323 (diff) | |
| download | abc-3a6f8688e2655a6cf37ccd99ddba33b7f504c264.tar.gz abc-3a6f8688e2655a6cf37ccd99ddba33b7f504c264.tar.bz2 abc-3a6f8688e2655a6cf37ccd99ddba33b7f504c264.zip | |
Added printing MFFC sizes and deriving TT from SOP.
Diffstat (limited to 'src/aig/dar/darInt.h')
| -rw-r--r-- | src/aig/dar/darInt.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/dar/darInt.h b/src/aig/dar/darInt.h index 70831534..23e89d3c 100644 --- a/src/aig/dar/darInt.h +++ b/src/aig/dar/darInt.h @@ -147,7 +147,7 @@ extern Vec_Int_t * Dar_LibReadPrios(); extern void Dar_LibStart(); extern void Dar_LibStop(); extern void Dar_LibReturnCanonicals( unsigned * pCanons ); -extern void Dar_LibEval( Dar_Man_t * p, Aig_Obj_t * pRoot, Dar_Cut_t * pCut, int Required ); +extern void Dar_LibEval( Dar_Man_t * p, Aig_Obj_t * pRoot, Dar_Cut_t * pCut, int Required, int * pnMffcSize ); extern Aig_Obj_t * Dar_LibBuildBest( Dar_Man_t * p ); /*=== darMan.c ============================================================*/ extern Dar_Man_t * Dar_ManStart( Aig_Man_t * pAig, Dar_RwrPar_t * pPars ); |