diff options
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 6778e6ee..eba34d62 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -397,42 +397,6 @@ extern int Abc_CommandAbcLivenessToSafetyWithLTL( Abc_Frame_t * pAbc, int argc, SeeAlso [] ***********************************************************************/ -Abc_Cex_t * Abc_FrameReadCex( Abc_Frame_t * pAbc ) -{ - Abc_Cex_t * pCex; - pCex = pAbc->pCex; - pAbc->pCex = NULL; - return pCex; -} - -/**Function************************************************************* - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -void Abc_FrameSetCex( Abc_Frame_t * pAbc, Abc_Cex_t * pCex ) -{ - ABC_FREE( pAbc->pCex ); - pAbc->pCex = pCex; -} - -/**Function************************************************************* - - Synopsis [] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ void Abc_FrameReplaceCex( Abc_Frame_t * pAbc, Abc_Cex_t ** ppCex ) { ABC_FREE( pAbc->pCex ); |