Moved two new APIs for reading/writing CEX from/into ABC from abc.c to mainFrame.c.

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 );

src/base/main/main.h

@@ -108,7 +108,7 @@ extern ABC_DLL int             Abc_FrameIsFlagEnabled( char * pFlag );
 
 extern ABC_DLL int             Abc_FrameReadBmcFrames( Abc_Frame_t * p );              
 extern ABC_DLL int             Abc_FrameReadProbStatus( Abc_Frame_t * p );              
-extern ABC_DLL void *          Abc_FrameReadCex( Abc_Frame_t * p );              
+extern ABC_DLL Abc_Cex_t *     Abc_FrameReadCex( Abc_Frame_t * p );              
 
 extern ABC_DLL int             Abc_FrameReadCexPiNum( Abc_Frame_t * p );              
 extern ABC_DLL int             Abc_FrameReadCexRegNum( Abc_Frame_t * p );              
@@ -123,6 +123,8 @@ extern ABC_DLL void            Abc_FrameSetLibGen2( void * pLib );
 extern ABC_DLL void            Abc_FrameSetLibSuper( void * pLib );      
 extern ABC_DLL void            Abc_FrameSetLibVer( void * pLib );      
 extern ABC_DLL void            Abc_FrameSetFlag( char * pFlag, char * pValue );
+extern ABC_DLL void            Abc_FrameSetCex( Abc_Cex_t * pCex );
+
 
 
 

src/base/main/mainFrame.c

@@ -60,7 +60,7 @@ char *      Abc_FrameReadFlag( char * pFlag )                { return Cmd_FlagRe
 
 int         Abc_FrameReadBmcFrames( Abc_Frame_t * p )        { return s_GlobalFrame->nFrames;      }               
 int         Abc_FrameReadProbStatus( Abc_Frame_t * p )       { return s_GlobalFrame->Status;       }               
-void *      Abc_FrameReadCex( Abc_Frame_t * p )              { return s_GlobalFrame->pCex;         }        
+Abc_Cex_t * Abc_FrameReadCex( Abc_Frame_t * p )              { return s_GlobalFrame->pCex;         }        
        
 int         Abc_FrameReadCexPiNum( Abc_Frame_t * p )         { return s_GlobalFrame->pCex->nPis;      }               
 int         Abc_FrameReadCexRegNum( Abc_Frame_t * p )        { return s_GlobalFrame->pCex->nRegs;     }               
@@ -73,6 +73,7 @@ void        Abc_FrameSetLibGen2( void * pLib )               { s_GlobalFrame->pL
 void        Abc_FrameSetLibSuper( void * pLib )              { s_GlobalFrame->pLibSuper = pLib;    } 
 void        Abc_FrameSetLibVer( void * pLib )                { s_GlobalFrame->pLibVer   = pLib;    } 
 void        Abc_FrameSetFlag( char * pFlag, char * pValue )  { Cmd_FlagUpdateValue( s_GlobalFrame, pFlag, pValue );         } 
+void        Abc_FrameSetCex( Abc_Cex_t * pCex )              { ABC_FREE( s_GlobalFrame->pCex ); s_GlobalFrame->pCex = pCex; }
 
 /**Function*************************************************************