diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:05:13 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:05:13 -0700 |
| commit | 51a646a355c78cf0f4cf104d6316706653b24008 (patch) | |
| tree | 4584ce9a96b88d32f110944f76b29ab90bb92a99 /src/aig/gia/giaAig.h | |
| parent | 327078393947f3c2e0b5548e5fada9ee67ef6134 (diff) | |
| download | abc-51a646a355c78cf0f4cf104d6316706653b24008.tar.gz abc-51a646a355c78cf0f4cf104d6316706653b24008.tar.bz2 abc-51a646a355c78cf0f4cf104d6316706653b24008.zip | |
Version abc90901
committer: Baruch Sterin <baruchs@gmail.com>
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 0e29bf06..8cef5c7e 100644 --- a/src/aig/gia/giaAig.h +++ b/src/aig/gia/giaAig.h @@ -52,6 +52,7 @@ extern Gia_Man_t * Gia_ManFromAigSwitch( Aig_Man_t * p ); extern Aig_Man_t * Gia_ManToAig( Gia_Man_t * p, int fChoices ); extern Aig_Man_t * Gia_ManToAigSkip( Gia_Man_t * p, int nOutDelta ); extern void Gia_ManReprToAigRepr( Aig_Man_t * p, Gia_Man_t * pGia ); +extern Gia_Man_t * Gia_ManCompress2( Gia_Man_t * p ); #ifdef __cplusplus } |