diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-19 16:53:11 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-19 16:53:11 -0800 |
| commit | ab75993d28e766062dbcfe5c8009e80d74d74121 (patch) | |
| tree | 4ec88d14270877fca642bd50ad1da308a5e7d78c /src/base/abci/abc.c | |
| parent | e3f88c81c62cb771faba13cbe58a7488af0087bd (diff) | |
| download | abc-ab75993d28e766062dbcfe5c8009e80d74d74121.tar.gz abc-ab75993d28e766062dbcfe5c8009e80d74d74121.tar.bz2 abc-ab75993d28e766062dbcfe5c8009e80d74d74121.zip | |
Moved two new APIs for reading/writing CEX from/into ABC from abc.c to mainFrame.c.
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 ); |