diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-05-14 09:34:20 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-05-14 09:34:20 -0700 |
commit | a39ef307081a98a99cdac80dab7f213392c1debb (patch) | |
tree | b50f39f43f31b9060af84f469ec5894557920347 /src/sat/bmc/bmc.h | |
parent | a90700c7537e85fd5178a5f41d82cbad35234fcf (diff) | |
download | abc-a39ef307081a98a99cdac80dab7f213392c1debb.tar.gz abc-a39ef307081a98a99cdac80dab7f213392c1debb.tar.bz2 abc-a39ef307081a98a99cdac80dab7f213392c1debb.zip |
Procedure for extending care CEX to all objects.
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 b0a9210d..19a4679d 100644 --- a/src/sat/bmc/bmc.h +++ b/src/sat/bmc/bmc.h @@ -161,6 +161,7 @@ extern int Saig_ManBmcScalable( Aig_Man_t * pAig, Saig_ParBmc_t * /*=== bmcBmcAnd.c ==========================================================*/ extern int Gia_ManBmcPerform( Gia_Man_t * p, Bmc_AndPar_t * pPars ); /*=== bmcCexCare.c ==========================================================*/ +extern Abc_Cex_t * Bmc_CexCareExtendToObjects( Gia_Man_t * p, Abc_Cex_t * pCex, Abc_Cex_t * pCexCare ); extern Abc_Cex_t * Bmc_CexCareMinimize( Aig_Man_t * p, Abc_Cex_t * pCex, int fCheck, int fVerbose ); extern void Bmc_CexCareVerify( Aig_Man_t * p, Abc_Cex_t * pCex, Abc_Cex_t * pCexMin, int fVerbose ); /*=== bmcCexCut.c ==========================================================*/ |