Searched defs:pCexState (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcCexTools.c | 550 Abc_Cex_t * Bmc_CexCareBits( Gia_Man_t * p, Abc_Cex_t * pCexState, Abc_Cex_t * pCexImpl, Abc_Cex_t … in Bmc_CexCareBits()
644 Abc_Cex_t * Bmc_CexEssentialBitOne( Gia_Man_t * p, Abc_Cex_t * pCexState, int iBit, Abc_Cex_t * pCe… in Bmc_CexEssentialBitOne()
724 void Bmc_CexEssentialBitTest( Gia_Man_t * p, Abc_Cex_t * pCexState ) in Bmc_CexEssentialBitTest()
755 Abc_Cex_t * Bmc_CexEssentialBits( Gia_Man_t * p, Abc_Cex_t * pCexState, Abc_Cex_t * pCexCare, int f… in Bmc_CexEssentialBits()
|