diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-08 19:01:46 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-08 19:01:46 -0700 |
| commit | 652b2792345978c34ea614800b76996930a21a49 (patch) | |
| tree | 5a793c54ab67aa7817ed37da4197760a9bc0a58a /src/proof/acec/acecInt.h | |
| parent | 4771b598c0fcba1e762aec28f9c561af5d214a96 (diff) | |
| download | abc-652b2792345978c34ea614800b76996930a21a49.tar.gz abc-652b2792345978c34ea614800b76996930a21a49.tar.bz2 abc-652b2792345978c34ea614800b76996930a21a49.zip | |
Experiments with CEC for arithmetic circuits.
Diffstat (limited to 'src/proof/acec/acecInt.h')
| -rw-r--r-- | src/proof/acec/acecInt.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/proof/acec/acecInt.h b/src/proof/acec/acecInt.h index 28e8740b..7f70658e 100644 --- a/src/proof/acec/acecInt.h +++ b/src/proof/acec/acecInt.h @@ -54,13 +54,6 @@ ABC_NAMESPACE_HEADER_START /// FUNCTION DECLARATIONS /// //////////////////////////////////////////////////////////////////////// -/*=== acecFadds.c ========================================================*/ -extern Vec_Int_t * Gia_ManDetectFullAdders( Gia_Man_t * p, int fVerbose ); -extern Vec_Int_t * Gia_ManDetectHalfAdders( Gia_Man_t * p, int fVerbose ); -/*=== acecOrder.c ========================================================*/ -extern Vec_Int_t * Gia_PolynReorder( Gia_Man_t * pGia, int fVerbose ); -/*=== acecPolyn.c ========================================================*/ -extern void Gia_PolynBuild( Gia_Man_t * pGia, Vec_Int_t * vOrder, int fVerbose ); /*=== acecUtil.c ========================================================*/ extern void Gia_PolynAnalyzeXors( Gia_Man_t * pGia, int fVerbose ); |