diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-14 18:20:35 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-14 18:20:35 -0800 |
| commit | be29f37baaa4eaef52829bc48593d12c8c81e8ba (patch) | |
| tree | 5b0671988bf8fc8dadd51af1addb6e5d5242e34e /src/sat/bmc/bmc.h | |
| parent | 9d5d8046105e083228fa504238d5e36b4e0d32d2 (diff) | |
| download | abc-be29f37baaa4eaef52829bc48593d12c8c81e8ba.tar.gz abc-be29f37baaa4eaef52829bc48593d12c8c81e8ba.tar.bz2 abc-be29f37baaa4eaef52829bc48593d12c8c81e8ba.zip | |
Added command 'cexcut' and 'cexmerge'.
Diffstat (limited to 'src/sat/bmc/bmc.h')
| -rw-r--r-- | src/sat/bmc/bmc.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sat/bmc/bmc.h b/src/sat/bmc/bmc.h index e1841bbc..5d789dcb 100644 --- a/src/sat/bmc/bmc.h +++ b/src/sat/bmc/bmc.h @@ -76,6 +76,7 @@ extern void Saig_ParBmcSetDefaultParams( Saig_ParBmc_t * p ); extern int Saig_ManBmcScalable( Aig_Man_t * pAig, Saig_ParBmc_t * pPars ); /*=== bmcCexCut.c ==========================================================*/ extern Gia_Man_t * Bmc_GiaTargetStates( Gia_Man_t * p, Abc_Cex_t * pCex, int iFrBeg, int iFrEnd, int fVerbose ); +extern Aig_Man_t * Bmc_AigTargetStates( Aig_Man_t * p, Abc_Cex_t * pCex, int iFrBeg, int iFrEnd, int fVerbose ); /*=== bmcCexMin.c ==========================================================*/ extern Abc_Cex_t * Saig_ManCexMinPerform( Aig_Man_t * pAig, Abc_Cex_t * pCex ); |