diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-23 23:53:12 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-23 23:53:12 -0700 |
| commit | 255f171f632610eead441e62c7fe4cd4148bb207 (patch) | |
| tree | 321863ebb934ee8a72587a7d863919e949fb2228 /src/aig/gia/giaAig.h | |
| parent | 40d9b5853b2849c3bf7e2157a4b4c6b798b043d5 (diff) | |
| download | abc-255f171f632610eead441e62c7fe4cd4148bb207.tar.gz abc-255f171f632610eead441e62c7fe4cd4148bb207.tar.bz2 abc-255f171f632610eead441e62c7fe4cd4148bb207.zip | |
Improving computation of choices from equivalence classes.
Diffstat (limited to 'src/aig/gia/giaAig.h')
| -rw-r--r-- | src/aig/gia/giaAig.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/giaAig.h b/src/aig/gia/giaAig.h index adcf9097..b72f6415 100644 --- a/src/aig/gia/giaAig.h +++ b/src/aig/gia/giaAig.h @@ -59,6 +59,7 @@ extern Aig_Man_t * Gia_ManToAigSimple( Gia_Man_t * p ); extern void Gia_ManReprToAigRepr( Aig_Man_t * pAig, Gia_Man_t * pGia ); extern void Gia_ManReprToAigRepr2( Aig_Man_t * pAig, Gia_Man_t * pGia ); extern void Gia_ManReprFromAigRepr( Aig_Man_t * pAig, Gia_Man_t * pGia ); +extern void Gia_ManReprFromAigRepr2( Aig_Man_t * pAig, Gia_Man_t * pGia ); extern Gia_Man_t * Gia_ManCompress2( Gia_Man_t * p, int fUpdateLevel, int fVerbose ); extern Gia_Man_t * Gia_ManPerformDch( Gia_Man_t * p, void * pPars ); extern Gia_Man_t * Gia_ManAbstraction( Gia_Man_t * p, Vec_Int_t * vFlops ); |