Searched refs:Abc_FrameReplaceCex (Results 1 – 3 of 3) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/glucose/ |
| H A D | AbcGlucoseCmd.cpp | 130 Abc_FrameReplaceCex( pAbc, &pAbc->pGia->pCexComb ); in Abc_CommandGlucose()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/main/ |
| H A D | main.h | 153 extern ABC_DLL void Abc_FrameReplaceCex( Abc_Frame_t * pAbc, Abc_Cex_t ** ppCex );
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abc.c | 11465 Abc_FrameReplaceCex( pAbc, &pNtk->pSeqModel ); in Abc_CommandReach()
15757 Abc_FrameReplaceCex( pAbc, &pCex ); in Abc_CommandIProve()
22482 Abc_FrameReplaceCex( pAbc, &pNtk->pSeqModel ); in Abc_CommandSim()
22664 Abc_FrameReplaceCex( pAbc, &pNtk->pSeqModel ); in Abc_CommandSim3()
22843 Abc_FrameReplaceCex( pAbc, &pCexNew ); in Abc_CommandDarPhase()
24550 Abc_FrameReplaceCex( pAbc, &pNtk->pSeqModel ); in Abc_CommandDProve()
26252 Abc_FrameReplaceCex( pAbc, &pNtk->pSeqModel ); in Abc_CommandBmc()
26452 Abc_FrameReplaceCex( pAbc, &pNtk->pSeqModel ); in Abc_CommandBmc2()
27398 Abc_FrameReplaceCex( pAbc, &pCexNew ); in Abc_CommandTempor()
28827 Abc_FrameReplaceCex( pAbc, &pCex ); in Abc_CommandReconcile()
[all …]
|