diff options
| author | Baruch Sterin <baruchs@gmail.com> | 2017-08-09 12:00:59 -0700 |
|---|---|---|
| committer | Baruch Sterin <baruchs@gmail.com> | 2017-08-09 12:00:59 -0700 |
| commit | 590ae696526823709bd6c38726c1c21695babe15 (patch) | |
| tree | 37ab9d1911babcf4261894addbbd805c802a4216 | |
| parent | a1d1a7b8cd1e58473efb7fadfdb117b044f98197 (diff) | |
| download | abc-590ae696526823709bd6c38726c1c21695babe15.tar.gz abc-590ae696526823709bd6c38726c1c21695babe15.tar.bz2 abc-590ae696526823709bd6c38726c1c21695babe15.zip | |
add a new field to the ABC Frame. The new field is a callback that may be called by a BMC-like engine when a frame is done and a PO is either known to be SAT or UNSAT up to a specific frame
| -rw-r--r-- | src/base/main/mainInt.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index efc5fc7f..5f330e4a 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -54,6 +54,8 @@ ABC_NAMESPACE_HEADER_START /// STRUCTURE DEFINITIONS /// //////////////////////////////////////////////////////////////////////// +typedef void (*Abc_Frame_Callback_BmcFrameDone_Func)(int frame, int po, int status); + struct Abc_Frame_t_ { // general info @@ -146,6 +148,8 @@ struct Abc_Frame_t_ Gia_Man_t * pGiaMiniLut; Vec_Int_t * vCopyMiniAig; Vec_Int_t * vCopyMiniLut; + + Abc_Frame_Callback_BmcFrameDone_Func pFuncOnFrameDone; }; typedef void (*Abc_Frame_Initialization_Func)( Abc_Frame_t * pAbc ); |