diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-16 22:36:23 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-16 22:36:23 +0700 |
| commit | 7457b8a64ae92880b8c04f1128298ee51becb76f (patch) | |
| tree | 2a6772616f6fbedf9d5b2a2314d43e954d87fb39 /src/proof/acec/acecInt.h | |
| parent | 153b71c1403ed79d7650ad702bb343e0490e36c9 (diff) | |
| download | abc-7457b8a64ae92880b8c04f1128298ee51becb76f.tar.gz abc-7457b8a64ae92880b8c04f1128298ee51becb76f.tar.bz2 abc-7457b8a64ae92880b8c04f1128298ee51becb76f.zip | |
Updates to arithmetic verification.
Diffstat (limited to 'src/proof/acec/acecInt.h')
| -rw-r--r-- | src/proof/acec/acecInt.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/acec/acecInt.h b/src/proof/acec/acecInt.h index c49945db..b8ec2455 100644 --- a/src/proof/acec/acecInt.h +++ b/src/proof/acec/acecInt.h @@ -75,7 +75,7 @@ extern void Acec_InsertFadd( Gia_Man_t * pNew, int In[3], int Out[2] ); extern Gia_Man_t * Acec_InsertBox( Acec_Box_t * pBox, int fAll ); /*=== acecTree.c ========================================================*/ extern void Acec_PrintAdders( Vec_Wec_t * vBoxes, Vec_Int_t * vAdds ); -extern Acec_Box_t * Acec_DeriveBox( Gia_Man_t * p, Vec_Bit_t * vIgnore, int fVerbose ); +extern Acec_Box_t * Acec_DeriveBox( Gia_Man_t * p, Vec_Bit_t * vIgnore, int fFilterIn, int fFilterOut, int fVerbose ); extern void Acec_BoxFreeP( Acec_Box_t ** ppBox ); /*=== acecUtil.c ========================================================*/ extern void Gia_PolynAnalyzeXors( Gia_Man_t * pGia, int fVerbose ); |