main.h File Reference

#include "base/abc/abc.h"
#include "aig/gia/gia.h"
#include "misc/vec/vec.h"
#include "misc/st/st.h"
#include "abcapis.h"
#include "base/cmd/cmd.h"
#include "base/io/ioAbc.h"

Include dependency graph for main.h:

Go to the source code of this file.

Functions
ABC_NAMESPACE_HEADER_START ABC_DLL void	Abc_Start ()
	INCLUDES ///.
ABC_DLL void	Abc_Stop ()
ABC_DLL Abc_Ntk_t *	Abc_FrameReadNtk (Abc_Frame_t *p)
ABC_DLL Gia_Man_t *	Abc_FrameReadGia (Abc_Frame_t *p)
ABC_DLL FILE *	Abc_FrameReadOut (Abc_Frame_t *p)
ABC_DLL FILE *	Abc_FrameReadErr (Abc_Frame_t *p)
ABC_DLL int	Abc_FrameReadMode (Abc_Frame_t *p)
ABC_DLL int	Abc_FrameSetMode (Abc_Frame_t *p, int fNameMode)
ABC_DLL void	Abc_FrameRestart (Abc_Frame_t *p)
ABC_DLL int	Abc_FrameShowProgress (Abc_Frame_t *p)
ABC_DLL void	Abc_FrameClearVerifStatus (Abc_Frame_t *p)
ABC_DLL void	Abc_FrameUpdateGia (Abc_Frame_t *p, Gia_Man_t *pNew)
ABC_DLL Gia_Man_t *	Abc_FrameGetGia (Abc_Frame_t *p)
ABC_DLL void	Abc_FrameSetCurrentNetwork (Abc_Frame_t *p, Abc_Ntk_t *pNet)
ABC_DLL void	Abc_FrameSwapCurrentAndBackup (Abc_Frame_t *p)
ABC_DLL void	Abc_FrameReplaceCurrentNetwork (Abc_Frame_t *p, Abc_Ntk_t *pNet)
ABC_DLL void	Abc_FrameUnmapAllNetworks (Abc_Frame_t *p)
ABC_DLL void	Abc_FrameDeleteAllNetworks (Abc_Frame_t *p)
ABC_DLL void	Abc_FrameSetGlobalFrame (Abc_Frame_t *p)
ABC_DLL Abc_Frame_t *	Abc_FrameGetGlobalFrame ()
ABC_DLL Abc_Frame_t *	Abc_FrameReadGlobalFrame ()
ABC_DLL Vec_Ptr_t *	Abc_FrameReadStore ()
	FUNCTION DEFINITIONS ///.
ABC_DLL int	Abc_FrameReadStoreSize ()
ABC_DLL void *	Abc_FrameReadLibLut ()
ABC_DLL void *	Abc_FrameReadLibBox ()
ABC_DLL void *	Abc_FrameReadLibGen ()
ABC_DLL void *	Abc_FrameReadLibGen2 ()
ABC_DLL void *	Abc_FrameReadLibSuper ()
ABC_DLL void *	Abc_FrameReadLibScl ()
ABC_DLL void *	Abc_FrameReadManDd ()
ABC_DLL void *	Abc_FrameReadManDec ()
ABC_DLL void *	Abc_FrameReadManDsd ()
ABC_DLL void *	Abc_FrameReadManDsd2 ()
ABC_DLL Vec_Ptr_t *	Abc_FrameReadSignalNames ()
ABC_DLL char *	Abc_FrameReadSpecName ()
ABC_DLL char *	Abc_FrameReadFlag (char *pFlag)
ABC_DLL int	Abc_FrameIsFlagEnabled (char *pFlag)
ABC_DLL int	Abc_FrameIsBatchMode ()
ABC_DLL void	Abc_FrameSetBatchMode (int Mode)
ABC_DLL int	Abc_FrameIsBridgeMode ()
ABC_DLL void	Abc_FrameSetBridgeMode ()
ABC_DLL int	Abc_FrameReadBmcFrames (Abc_Frame_t *p)
ABC_DLL int	Abc_FrameReadProbStatus (Abc_Frame_t *p)
ABC_DLL void *	Abc_FrameReadCex (Abc_Frame_t *p)
ABC_DLL Vec_Ptr_t *	Abc_FrameReadCexVec (Abc_Frame_t *p)
ABC_DLL Vec_Int_t *	Abc_FrameReadStatusVec (Abc_Frame_t *p)
ABC_DLL Vec_Ptr_t *	Abc_FrameReadPoEquivs (Abc_Frame_t *p)
ABC_DLL Vec_Int_t *	Abc_FrameReadPoStatuses (Abc_Frame_t *p)
ABC_DLL Vec_Int_t *	Abc_FrameReadObjIds (Abc_Frame_t *p)
ABC_DLL Abc_Nam_t *	Abc_FrameReadJsonStrs (Abc_Frame_t *p)
ABC_DLL Vec_Wec_t *	Abc_FrameReadJsonObjs (Abc_Frame_t *p)
ABC_DLL int	Abc_FrameReadCexPiNum (Abc_Frame_t *p)
ABC_DLL int	Abc_FrameReadCexRegNum (Abc_Frame_t *p)
ABC_DLL int	Abc_FrameReadCexPo (Abc_Frame_t *p)
ABC_DLL int	Abc_FrameReadCexFrame (Abc_Frame_t *p)
ABC_DLL void	Abc_FrameSetNtkStore (Abc_Ntk_t *pNtk)
ABC_DLL void	Abc_FrameSetNtkStoreSize (int nStored)
ABC_DLL void	Abc_FrameSetLibLut (void *pLib)
ABC_DLL void	Abc_FrameSetLibBox (void *pLib)
ABC_DLL void	Abc_FrameSetLibGen (void *pLib)
ABC_DLL void	Abc_FrameSetLibGen2 (void *pLib)
ABC_DLL void	Abc_FrameSetLibSuper (void *pLib)
ABC_DLL void	Abc_FrameSetLibVer (void *pLib)
ABC_DLL void	Abc_FrameSetFlag (char *pFlag, char *pValue)
ABC_DLL void	Abc_FrameSetCex (Abc_Cex_t *pCex)
ABC_DLL void	Abc_FrameSetNFrames (int nFrames)
ABC_DLL void	Abc_FrameSetStatus (int Status)
ABC_DLL void	Abc_FrameSetManDsd (void *pMan)
ABC_DLL void	Abc_FrameSetManDsd2 (void *pMan)
ABC_DLL void	Abc_FrameSetInv (Vec_Int_t *vInv)
ABC_DLL void	Abc_FrameSetCnf (Vec_Int_t *vInv)
ABC_DLL void	Abc_FrameSetStr (Vec_Str_t *vInv)
ABC_DLL void	Abc_FrameSetJsonStrs (Abc_Nam_t *pStrs)
ABC_DLL void	Abc_FrameSetJsonObjs (Vec_Wec_t *vObjs)
ABC_DLL void	Abc_FrameSetSignalNames (Vec_Ptr_t *vNames)
ABC_DLL void	Abc_FrameSetSpecName (char *pFileName)
ABC_DLL int	Abc_FrameCheckPoConst (Abc_Frame_t *p, int iPoNum)
ABC_DLL void	Abc_FrameReplaceCex (Abc_Frame_t *pAbc, Abc_Cex_t **ppCex)
	FUNCTION DEFINITIONS ///.
ABC_DLL void	Abc_FrameReplaceCexVec (Abc_Frame_t *pAbc, Vec_Ptr_t **pvCexVec)
ABC_DLL void	Abc_FrameReplacePoEquivs (Abc_Frame_t *pAbc, Vec_Ptr_t **pvPoEquivs)
ABC_DLL void	Abc_FrameReplacePoStatuses (Abc_Frame_t *pAbc, Vec_Int_t **pvStatuses)
ABC_DLL char *	Abc_FrameReadDrivingCell ()
ABC_DLL float	Abc_FrameReadMaxLoad ()
ABC_DLL void	Abc_FrameSetDrivingCell (char *pName)
ABC_DLL void	Abc_FrameSetMaxLoad (float Load)
ABC_DLL void	Abc_FrameSetArrayMapping (int *p)
ABC_DLL void	Abc_FrameSetBoxes (int *p)

Function Documentation

Abc_FrameCheckPoConst()

ABC_DLL int Abc_FrameCheckPoConst ( Abc_Frame_t * p, int iPoNum )

extern

Function*************************************************************

Synopsis [Returns 0/1 if pNtkCur is an AIG and PO is 0/1; -1 otherwise.]

Description []

SideEffects []

SeeAlso []

Definition at line 734 of file mainFrame.c.

{
    Abc_Obj_t * pObj;
    if ( p->pNtkCur == NULL )
        return -1;
    if ( !Abc_NtkIsStrash(p->pNtkCur) )
        return -1;
    if ( iPoNum < 0 || iPoNum >= Abc_NtkPoNum(p->pNtkCur) )
        return -1;
    pObj = Abc_NtkPo( p->pNtkCur, iPoNum );
    if ( !Abc_AigNodeIsConst(Abc_ObjFanin0(pObj)) )
        return -1;
    return !Abc_ObjFaninC0(pObj);
}

Here is the caller graph for this function:

Abc_FrameClearVerifStatus()

ABC_DLL void Abc_FrameClearVerifStatus ( Abc_Frame_t * p )

extern

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 292 of file mainFrame.c.

{
    p->nFrames = -1;
    p->Status  = -1;
    ABC_FREE( p->pCex );
}

Abc_FrameDeleteAllNetworks()

ABC_DLL void Abc_FrameDeleteAllNetworks ( Abc_Frame_t * p )

extern

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 596 of file mainFrame.c.

{
    Abc_Ntk_t * pNtk, * pNtk2;
    // delete all the currently saved networks
    for ( pNtk  = p->pNtkCur, 
          pNtk2 = pNtk? Abc_NtkBackup(pNtk): NULL; 
          pNtk; 
          pNtk  = pNtk2, 
          pNtk2 = pNtk? Abc_NtkBackup(pNtk): NULL )
        Abc_NtkDelete( pNtk );
    // set the current network empty
    p->pNtkCur = NULL;
//    fprintf( p->Out, "All networks have been deleted.\n" );
    Gia_ManStopP( &p->pGia );
    Gia_ManStopP( &p->pGia2 );
    Gia_ManStopP( &p->pGiaBest );
    Gia_ManStopP( &p->pGiaBest2 );
    Gia_ManStopP( &p->pGiaSaved );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_FrameGetGia()

ABC_DLL Gia_Man_t * Abc_FrameGetGia ( Abc_Frame_t * pAbc )

extern

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 869 of file abc.c.

{
    Gia_Man_t * pGia;
    if ( pAbc->pGia2 )
        Gia_ManStop( pAbc->pGia2 );
    pAbc->pGia2 = NULL;
    pGia = pAbc->pGia;
    pAbc->pGia = NULL;
    return pGia;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_FrameGetGlobalFrame()

ABC_DLL Abc_Frame_t * Abc_FrameGetGlobalFrame ( )

extern

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 643 of file mainFrame.c.

{
    if ( s_GlobalFrame == 0 )
    {
        // start the framework
        s_GlobalFrame = Abc_FrameAllocate();
        // perform initializations
        Abc_FrameInit( s_GlobalFrame );
    }
    return s_GlobalFrame;
}

Abc_FrameIsBatchMode()

ABC_DLL int Abc_FrameIsBatchMode ( )

extern

Definition at line 110 of file mainFrame.c.

{ return s_GlobalFrame ? s_GlobalFrame->fBatchMode : 0;              } 

Here is the caller graph for this function:

Abc_FrameIsBridgeMode()

ABC_DLL int Abc_FrameIsBridgeMode ( )

extern

Definition at line 113 of file mainFrame.c.

{ return s_GlobalFrame ? s_GlobalFrame->fBridgeMode : 0;             } 

Here is the caller graph for this function:

Abc_FrameIsFlagEnabled()

ABC_DLL int Abc_FrameIsFlagEnabled ( char * pFlag )

extern

Function*************************************************************

Synopsis [Returns 1 if the flag is enabled without value or with value 1.]

Description []

SideEffects []

SeeAlso []

Definition at line 138 of file mainFrame.c.

{
    char * pValue;
    // if flag is not defined, it is not enabled
    pValue = Abc_FrameReadFlag( pFlag );
    if ( pValue == NULL )
        return 0;
    // if flag is defined but value is not empty (no parameter) or "1", it is not enabled
    if ( strcmp(pValue, "") && strcmp(pValue, "1") )
        return 0;
    return 1;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_FrameReadBmcFrames()

ABC_DLL int Abc_FrameReadBmcFrames ( Abc_Frame_t * p )

extern

Definition at line 73 of file mainFrame.c.

{ return s_GlobalFrame->nFrames;      }               

Abc_FrameReadCex()

ABC_DLL void * Abc_FrameReadCex ( Abc_Frame_t * p )

extern

Definition at line 75 of file mainFrame.c.

{ return s_GlobalFrame->pCex;         }        

Abc_FrameReadCexFrame()

ABC_DLL int Abc_FrameReadCexFrame ( Abc_Frame_t * p )

extern

Definition at line 87 of file mainFrame.c.

{ return s_GlobalFrame->pCex->iFrame; }               

Abc_FrameReadCexPiNum()

ABC_DLL int Abc_FrameReadCexPiNum ( Abc_Frame_t * p )

extern

Definition at line 84 of file mainFrame.c.

{ return s_GlobalFrame->pCex->nPis;   }               

Abc_FrameReadCexPo()

ABC_DLL int Abc_FrameReadCexPo ( Abc_Frame_t * p )

extern

Definition at line 86 of file mainFrame.c.

{ return s_GlobalFrame->pCex->iPo;    }               

Abc_FrameReadCexRegNum()

ABC_DLL int Abc_FrameReadCexRegNum ( Abc_Frame_t * p )

extern

Definition at line 85 of file mainFrame.c.

{ return s_GlobalFrame->pCex->nRegs;  }               

Abc_FrameReadCexVec()

ABC_DLL Vec_Ptr_t * Abc_FrameReadCexVec ( Abc_Frame_t * p )

extern

Definition at line 76 of file mainFrame.c.

{ return s_GlobalFrame->vCexVec;      }        

Here is the caller graph for this function:

Abc_FrameReadDrivingCell()

ABC_DLL char * Abc_FrameReadDrivingCell ( )

extern

Definition at line 116 of file mainFrame.c.

{ return s_GlobalFrame->pDrivingCell;    }              

Here is the caller graph for this function:

Abc_FrameReadErr()

ABC_DLL FILE * Abc_FrameReadErr ( Abc_Frame_t * p )

extern

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 375 of file mainFrame.c.

{
    return p->Err;
}

Here is the caller graph for this function:

Abc_FrameReadFlag()

ABC_DLL char * Abc_FrameReadFlag ( char * pFlag )

extern

Definition at line 69 of file mainFrame.c.

{ return Cmd_FlagReadByName( s_GlobalFrame, pFlag );   }

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_FrameReadGia()

ABC_DLL Gia_Man_t * Abc_FrameReadGia ( Abc_Frame_t * p )

extern

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 343 of file mainFrame.c.

{
    return p->pGia;
}

Here is the caller graph for this function:

Abc_FrameReadGlobalFrame()

ABC_DLL Abc_Frame_t * Abc_FrameReadGlobalFrame ( )

extern

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 666 of file mainFrame.c.

{
    return s_GlobalFrame;
}

Here is the caller graph for this function:

Abc_FrameReadJsonObjs()

ABC_DLL Vec_Wec_t * Abc_FrameReadJsonObjs ( Abc_Frame_t * p )

extern

Definition at line 82 of file mainFrame.c.

{ return s_GlobalFrame->vJsonObjs;    }   

Abc_FrameReadJsonStrs()

ABC_DLL Abc_Nam_t * Abc_FrameReadJsonStrs ( Abc_Frame_t * p )

extern

Definition at line 81 of file mainFrame.c.

{ return s_GlobalFrame->pJsonStrs;    }     

Abc_FrameReadLibBox()

ABC_DLL void * Abc_FrameReadLibBox ( )

extern

Definition at line 58 of file mainFrame.c.

{ return s_GlobalFrame->pLibBox;      } 

Here is the caller graph for this function:

Abc_FrameReadLibGen()

ABC_DLL void * Abc_FrameReadLibGen ( )

extern

Definition at line 59 of file mainFrame.c.

{ return s_GlobalFrame->pLibGen;      } 

Here is the caller graph for this function:

Abc_FrameReadLibGen2()

ABC_DLL void * Abc_FrameReadLibGen2 ( )

extern

Definition at line 60 of file mainFrame.c.

{ return s_GlobalFrame->pLibGen2;     } 

Here is the caller graph for this function:

Abc_FrameReadLibLut()

ABC_DLL void * Abc_FrameReadLibLut ( )

extern

Definition at line 57 of file mainFrame.c.

{ return s_GlobalFrame->pLibLut;      } 

Here is the caller graph for this function:

Abc_FrameReadLibScl()

ABC_DLL void * Abc_FrameReadLibScl ( )

extern

Definition at line 62 of file mainFrame.c.

{ return s_GlobalFrame->pLibScl;      } 

Here is the caller graph for this function:

Abc_FrameReadLibSuper()

ABC_DLL void * Abc_FrameReadLibSuper ( )

extern

Definition at line 61 of file mainFrame.c.

{ return s_GlobalFrame->pLibSuper;    } 

Here is the caller graph for this function:

Abc_FrameReadManDd()

ABC_DLL void * Abc_FrameReadManDd ( )

extern

Here is the caller graph for this function:

Abc_FrameReadManDec()

ABC_DLL void * Abc_FrameReadManDec ( )

extern

Definition at line 66 of file mainFrame.c.

{ if ( s_GlobalFrame->pManDec == NULL ) s_GlobalFrame->pManDec = Dec_ManStart();                                        return s_GlobalFrame->pManDec; } 

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_FrameReadManDsd()

ABC_DLL void * Abc_FrameReadManDsd ( )

extern

Definition at line 67 of file mainFrame.c.

{ return s_GlobalFrame->pManDsd;      } 

Here is the caller graph for this function:

Abc_FrameReadManDsd2()

ABC_DLL void * Abc_FrameReadManDsd2 ( )

extern

Definition at line 68 of file mainFrame.c.

{ return s_GlobalFrame->pManDsd2;     }

Here is the caller graph for this function:

Abc_FrameReadMaxLoad()

ABC_DLL float Abc_FrameReadMaxLoad ( )

extern

Definition at line 117 of file mainFrame.c.

{ return s_GlobalFrame->MaxLoad;         }      

Here is the caller graph for this function:

Abc_FrameReadMode()

ABC_DLL int Abc_FrameReadMode ( Abc_Frame_t * p )

extern

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 391 of file mainFrame.c.

{
    int fShortNames;
    char * pValue;
    pValue = Cmd_FlagReadByName( p, "namemode" );
    if ( pValue == NULL )
        fShortNames = 0;
    else 
        fShortNames = atoi(pValue);
    return fShortNames;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_FrameReadNtk()

ABC_DLL Abc_Ntk_t * Abc_FrameReadNtk ( Abc_Frame_t * p )

extern

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 327 of file mainFrame.c.

{
    return p->pNtkCur;
}

Here is the caller graph for this function:

Abc_FrameReadObjIds()

ABC_DLL Vec_Int_t * Abc_FrameReadObjIds ( Abc_Frame_t * p )

extern

Definition at line 80 of file mainFrame.c.

{ return s_GlobalFrame->vAbcObjIds;   }        

Abc_FrameReadOut()

ABC_DLL FILE * Abc_FrameReadOut ( Abc_Frame_t * p )

extern

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 359 of file mainFrame.c.

{
    return p->Out;
}

Here is the caller graph for this function:

Abc_FrameReadPoEquivs()

ABC_DLL Vec_Ptr_t * Abc_FrameReadPoEquivs ( Abc_Frame_t * p )

extern

Definition at line 78 of file mainFrame.c.

{ return s_GlobalFrame->vPoEquivs;    }        

Abc_FrameReadPoStatuses()

ABC_DLL Vec_Int_t * Abc_FrameReadPoStatuses ( Abc_Frame_t * p )

extern

Definition at line 79 of file mainFrame.c.

{ return s_GlobalFrame->vStatuses;    }        

Here is the caller graph for this function:

Abc_FrameReadProbStatus()

ABC_DLL int Abc_FrameReadProbStatus ( Abc_Frame_t * p )

extern

Definition at line 74 of file mainFrame.c.

{ return s_GlobalFrame->Status;       }               

Abc_FrameReadSignalNames()

ABC_DLL Vec_Ptr_t * Abc_FrameReadSignalNames ( )

extern

Definition at line 70 of file mainFrame.c.

{ return s_GlobalFrame->vSignalNames; }

Here is the caller graph for this function:

Abc_FrameReadSpecName()

ABC_DLL char * Abc_FrameReadSpecName ( )

extern

Definition at line 71 of file mainFrame.c.

{ return s_GlobalFrame->pSpecName;    }

Here is the caller graph for this function:

Abc_FrameReadStatusVec()

ABC_DLL Vec_Int_t * Abc_FrameReadStatusVec ( Abc_Frame_t * p )

extern

Definition at line 77 of file mainFrame.c.

{ return s_GlobalFrame->vStatuses;    }        

Abc_FrameReadStore()

ABC_DLL Vec_Ptr_t * Abc_FrameReadStore ( )

extern

FUNCTION DEFINITIONS ///.

Function*************************************************************

Synopsis [APIs to access parameters in the flobal frame.]

Description []

SideEffects []

SeeAlso []

Definition at line 55 of file mainFrame.c.

{ return s_GlobalFrame->vStore;       } 

Here is the caller graph for this function:

Abc_FrameReadStoreSize()

ABC_DLL int Abc_FrameReadStoreSize ( )

extern

Definition at line 56 of file mainFrame.c.

{ return Vec_PtrSize(s_GlobalFrame->vStore); }

Here is the caller graph for this function:

Abc_FrameReplaceCex()

ABC_DLL void Abc_FrameReplaceCex ( Abc_Frame_t * pAbc, Abc_Cex_t ** ppCex )

extern

FUNCTION DEFINITIONS ///.

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 679 of file abc.c.

{
    // update CEX
    ABC_FREE( pAbc->pCex );
    pAbc->pCex = *ppCex;
    *ppCex = NULL;
    // remove CEX vector
    if ( pAbc->vCexVec )
    {
        Vec_PtrFreeFree( pAbc->vCexVec );
        pAbc->vCexVec = NULL;
    }
}

Here is the caller graph for this function:

Abc_FrameReplaceCexVec()

ABC_DLL void Abc_FrameReplaceCexVec ( Abc_Frame_t * pAbc, Vec_Ptr_t ** pvCexVec )

extern

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 704 of file abc.c.

{
    // update CEX vector
    if ( pAbc->vCexVec )
        Vec_PtrFreeFree( pAbc->vCexVec );
    pAbc->vCexVec = *pvCexVec;
    *pvCexVec = NULL;
    // remove CEX
    ABC_FREE( pAbc->pCex );
}

Here is the caller graph for this function:

Abc_FrameReplaceCurrentNetwork()

ABC_DLL void Abc_FrameReplaceCurrentNetwork ( Abc_Frame_t * p, Abc_Ntk_t * pNtk )

extern

Function*************************************************************

Synopsis [Replaces the current network by the given one.]

Description [This procedure does not modify the stack of saved networks.]

SideEffects []

SeeAlso []

Definition at line 538 of file mainFrame.c.

{
    if ( pNtk == NULL )
        return;
 
    if ( Abc_NtkPoNum(pNtk) == 0 )
        Abc_Print( 0, "The current network has no primary outputs. Some commands may not work correctly.\n" );
 
    // transfer the parameters to the new network
    if ( p->pNtkCur && Abc_FrameIsFlagEnabled( "backup" ) )
    {
        Abc_NtkSetBackup( pNtk, Abc_NtkBackup(p->pNtkCur) );
        Abc_NtkSetStep( pNtk, Abc_NtkStep(p->pNtkCur) );
        // delete the current network
        Abc_NtkDelete( p->pNtkCur );
    }
    else
    {
        Abc_NtkSetBackup( pNtk, NULL );
        Abc_NtkSetStep( pNtk, ++p->nSteps );
        // delete the current network if present but backup is disabled
        if ( p->pNtkCur )
            Abc_NtkDelete( p->pNtkCur );
    }
    // set the new current network
    p->pNtkCur = pNtk;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_FrameReplacePoEquivs()

ABC_DLL void Abc_FrameReplacePoEquivs ( Abc_Frame_t * pAbc, Vec_Ptr_t ** pvPoEquivs )

extern

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 726 of file abc.c.

{
    if ( pAbc->vPoEquivs )
        Vec_VecFree( (Vec_Vec_t *)pAbc->vPoEquivs );
    pAbc->vPoEquivs = *pvPoEquivs;
    *pvPoEquivs = NULL;
}

Here is the caller graph for this function:

Abc_FrameReplacePoStatuses()

ABC_DLL void Abc_FrameReplacePoStatuses ( Abc_Frame_t * pAbc, Vec_Int_t ** pvStatuses )

extern

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 745 of file abc.c.

{
    if ( pAbc->vStatuses )
        Vec_IntFree( pAbc->vStatuses );
    pAbc->vStatuses = *pvStatuses;
    *pvStatuses = NULL;
}

Abc_FrameRestart()

ABC_DLL void Abc_FrameRestart ( Abc_Frame_t * p )

extern

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 277 of file mainFrame.c.

{
}

Abc_FrameSetArrayMapping()

ABC_DLL void Abc_FrameSetArrayMapping ( int * p )

extern

Definition at line 122 of file mainFrame.c.

{ ABC_FREE( s_GlobalFrame->pArray ); s_GlobalFrame->pArray = p;   }      

Abc_FrameSetBatchMode()

ABC_DLL void Abc_FrameSetBatchMode ( int Mode )

extern

Definition at line 111 of file mainFrame.c.

{ if ( s_GlobalFrame ) s_GlobalFrame->fBatchMode = Mode;             } 

Here is the caller graph for this function:

Abc_FrameSetBoxes()

ABC_DLL void Abc_FrameSetBoxes ( int * p )

extern

Definition at line 125 of file mainFrame.c.

{ ABC_FREE( s_GlobalFrame->pBoxes ); s_GlobalFrame->pBoxes = p;   }      

Here is the caller graph for this function:

Abc_FrameSetBridgeMode()

ABC_DLL void Abc_FrameSetBridgeMode ( )

extern

Definition at line 114 of file mainFrame.c.

{ if ( s_GlobalFrame ) s_GlobalFrame->fBridgeMode = 1;               } 

Here is the caller graph for this function:

Abc_FrameSetCex()

ABC_DLL void Abc_FrameSetCex ( Abc_Cex_t * pCex )

extern

Definition at line 99 of file mainFrame.c.

{ ABC_FREE( s_GlobalFrame->pCex ); s_GlobalFrame->pCex = pCex;       }

Here is the caller graph for this function:

Abc_FrameSetCnf()

ABC_DLL void Abc_FrameSetCnf ( Vec_Int_t * vInv )

extern

Abc_FrameSetCurrentNetwork()

ABC_DLL void Abc_FrameSetCurrentNetwork ( Abc_Frame_t * p, Abc_Ntk_t * pNtkNew )

extern

Function*************************************************************

Synopsis [Sets the given network to be the current one.]

Description [Takes the network and makes it the current network. The previous current network is attached to the given network as a backup copy. In the stack of backup networks contains too many networks (defined by the paramater "savesteps"), the bottom most network is deleted.]

SideEffects []

SeeAlso []

Definition at line 441 of file mainFrame.c.

{
    Abc_Ntk_t * pNtk, * pNtk2, * pNtk3;
    int nNetsPresent;
    int nNetsToSave;
    char * pValue;
 
    if ( p->pNtkCur == pNtkNew )
        return;
 
    // link it to the previous network
    Abc_NtkSetBackup( pNtkNew, p->pNtkCur );
    // set the step of this network
    Abc_NtkSetStep( pNtkNew, ++p->nSteps );
    // set this network to be the current network
    p->pNtkCur = pNtkNew;
 
    // remove any extra network that may happen to be in the stack
    pValue = Cmd_FlagReadByName( p, "savesteps" );
    // if the value of steps to save is not set, assume 1-level undo
    if ( pValue == NULL )
        nNetsToSave = 1;
    else 
        nNetsToSave = atoi(pValue);
    
    // count the network, remember the last one, and the one before the last one
    nNetsPresent = 0;
    pNtk2 = pNtk3 = NULL;
    for ( pNtk = p->pNtkCur; pNtk; pNtk = Abc_NtkBackup(pNtk2) )
    {
        nNetsPresent++;
        pNtk3 = pNtk2;
        pNtk2 = pNtk;
    }
 
    // remove the earliest backup network if it is more steps away than we store
    if ( nNetsPresent - 1 > nNetsToSave )
    { // delete the last network
        Abc_NtkDelete( pNtk2 );
        // clean the pointer of the network before the last one
        Abc_NtkSetBackup( pNtk3, NULL );
    }
}

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_FrameSetDrivingCell()

ABC_DLL void Abc_FrameSetDrivingCell ( char * pName )

extern

Definition at line 118 of file mainFrame.c.

{ ABC_FREE(s_GlobalFrame->pDrivingCell); s_GlobalFrame->pDrivingCell   = pName; }      

Here is the caller graph for this function:

Abc_FrameSetFlag()

ABC_DLL void Abc_FrameSetFlag ( char * pFlag, char * pValue )

extern

Definition at line 98 of file mainFrame.c.

{ Cmd_FlagUpdateValue( s_GlobalFrame, pFlag, pValue );               } 

Here is the call graph for this function:

Abc_FrameSetGlobalFrame()

ABC_DLL void Abc_FrameSetGlobalFrame ( Abc_Frame_t * p )

extern

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 627 of file mainFrame.c.

{
    s_GlobalFrame = p;
}

Abc_FrameSetInv()

ABC_DLL void Abc_FrameSetInv ( Vec_Int_t * vInv )

extern

Definition at line 104 of file mainFrame.c.

{ Vec_IntFreeP(&s_GlobalFrame->pAbcWlcInv); s_GlobalFrame->pAbcWlcInv = vInv; }

Here is the caller graph for this function:

Abc_FrameSetJsonObjs()

ABC_DLL void Abc_FrameSetJsonObjs ( Vec_Wec_t * vObjs )

extern

Definition at line 106 of file mainFrame.c.

{ Vec_WecFreeP(&s_GlobalFrame->vJsonObjs ); s_GlobalFrame->vJsonObjs = vObjs; }

Abc_FrameSetJsonStrs()

ABC_DLL void Abc_FrameSetJsonStrs ( Abc_Nam_t * pStrs )

extern

Definition at line 105 of file mainFrame.c.

{ Abc_NamDeref( s_GlobalFrame->pJsonStrs ); s_GlobalFrame->pJsonStrs = pStrs; }

Here is the call graph for this function:

Abc_FrameSetLibBox()

ABC_DLL void Abc_FrameSetLibBox ( void * pLib )

extern

Definition at line 94 of file mainFrame.c.

{ s_GlobalFrame->pLibBox   = pLib;    } 

Here is the caller graph for this function:

Abc_FrameSetLibGen()

ABC_DLL void Abc_FrameSetLibGen ( void * pLib )

extern

Definition at line 95 of file mainFrame.c.

{ s_GlobalFrame->pLibGen   = pLib;    } 

Here is the caller graph for this function:

Abc_FrameSetLibGen2()

ABC_DLL void Abc_FrameSetLibGen2 ( void * pLib )

extern

Definition at line 96 of file mainFrame.c.

{ s_GlobalFrame->pLibGen2  = pLib;    } 

Here is the caller graph for this function:

Abc_FrameSetLibLut()

ABC_DLL void Abc_FrameSetLibLut ( void * pLib )

extern

Definition at line 93 of file mainFrame.c.

{ s_GlobalFrame->pLibLut   = pLib;    } 

Here is the caller graph for this function:

Abc_FrameSetLibSuper()

ABC_DLL void Abc_FrameSetLibSuper ( void * pLib )

extern

Definition at line 97 of file mainFrame.c.

{ s_GlobalFrame->pLibSuper = pLib;    } 

Here is the caller graph for this function:

Abc_FrameSetLibVer()

ABC_DLL void Abc_FrameSetLibVer ( void * pLib )

extern

Abc_FrameSetManDsd()

ABC_DLL void Abc_FrameSetManDsd ( void * pMan )

extern

Definition at line 102 of file mainFrame.c.

{ if (s_GlobalFrame->pManDsd  && s_GlobalFrame->pManDsd  != pMan) If_DsdManFree((If_DsdMan_t *)s_GlobalFrame->pManDsd,  0); s_GlobalFrame->pManDsd = pMan;  }

Here is the call graph for this function:

Abc_FrameSetManDsd2()

ABC_DLL void Abc_FrameSetManDsd2 ( void * pMan )

extern

Definition at line 103 of file mainFrame.c.

{ if (s_GlobalFrame->pManDsd2 && s_GlobalFrame->pManDsd2 != pMan) If_DsdManFree((If_DsdMan_t *)s_GlobalFrame->pManDsd2, 0); s_GlobalFrame->pManDsd2 = pMan; }

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_FrameSetMaxLoad()

ABC_DLL void Abc_FrameSetMaxLoad ( float Load )

extern

Definition at line 119 of file mainFrame.c.

{ s_GlobalFrame->MaxLoad = Load;         }      

Here is the caller graph for this function:

Abc_FrameSetMode()

ABC_DLL int Abc_FrameSetMode ( Abc_Frame_t * p, int fNameMode )

extern

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 414 of file mainFrame.c.

{
    char Buffer[2];
    int fNameModeOld;
    fNameModeOld = Abc_FrameReadMode( p );
    Buffer[0] = '0' + fNameMode;
    Buffer[1] = 0;
    Cmd_FlagUpdateValue( p, "namemode", (char *)Buffer );
    return fNameModeOld;
}

Here is the call graph for this function:

Abc_FrameSetNFrames()

ABC_DLL void Abc_FrameSetNFrames ( int nFrames )

extern

Definition at line 100 of file mainFrame.c.

{ ABC_FREE( s_GlobalFrame->pCex ); s_GlobalFrame->nFrames = nFrames; }

Here is the caller graph for this function:

Abc_FrameSetNtkStore()

ABC_DLL void Abc_FrameSetNtkStore ( Abc_Ntk_t * pNtk )

extern

Abc_FrameSetNtkStoreSize()

ABC_DLL void Abc_FrameSetNtkStoreSize ( int nStored )

extern

Abc_FrameSetSignalNames()

ABC_DLL void Abc_FrameSetSignalNames ( Vec_Ptr_t * vNames )

extern

Definition at line 107 of file mainFrame.c.

{ if ( s_GlobalFrame->vSignalNames ) Vec_PtrFreeFree( s_GlobalFrame->vSignalNames ); s_GlobalFrame->vSignalNames = vNames; }

Abc_FrameSetSpecName()

ABC_DLL void Abc_FrameSetSpecName ( char * pFileName )

extern

Definition at line 108 of file mainFrame.c.

{ ABC_FREE( s_GlobalFrame->pSpecName ); s_GlobalFrame->pSpecName = pFileName; }

Abc_FrameSetStatus()

ABC_DLL void Abc_FrameSetStatus ( int Status )

extern

Definition at line 101 of file mainFrame.c.

{ ABC_FREE( s_GlobalFrame->pCex ); s_GlobalFrame->Status = Status;   }

Here is the caller graph for this function:

Abc_FrameSetStr()

ABC_DLL void Abc_FrameSetStr ( Vec_Str_t * vInv )

extern

Abc_FrameShowProgress()

ABC_DLL int Abc_FrameShowProgress ( Abc_Frame_t * p )

extern

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 310 of file mainFrame.c.

{
    return Abc_FrameIsFlagEnabled( "progressbar" );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_FrameSwapCurrentAndBackup()

ABC_DLL void Abc_FrameSwapCurrentAndBackup ( Abc_Frame_t * p )

extern

Function*************************************************************

Synopsis [This procedure swaps the current and the backup network.]

Description []

SideEffects []

SeeAlso []

Definition at line 496 of file mainFrame.c.

{
    Abc_Ntk_t * pNtkCur, * pNtkBack, * pNtkBack2;
    int iStepCur, iStepBack;
 
    pNtkCur  = p->pNtkCur;
    pNtkBack = Abc_NtkBackup( pNtkCur );
    iStepCur = Abc_NtkStep  ( pNtkCur );
 
    // if there is no backup nothing to reset
    if ( pNtkBack == NULL )
        return;
 
    // remember the backup of the backup
    pNtkBack2 = Abc_NtkBackup( pNtkBack );
    iStepBack = Abc_NtkStep  ( pNtkBack );
 
    // set pNtkCur to be the next after the backup's backup
    Abc_NtkSetBackup( pNtkCur, pNtkBack2 );
    Abc_NtkSetStep  ( pNtkCur, iStepBack );
 
    // set pNtkCur to be the next after the backup
    Abc_NtkSetBackup( pNtkBack, pNtkCur );
    Abc_NtkSetStep  ( pNtkBack, iStepCur );
 
    // set the current network
    p->pNtkCur = pNtkBack;
}

Here is the caller graph for this function:

Abc_FrameUnmapAllNetworks()

ABC_DLL void Abc_FrameUnmapAllNetworks ( Abc_Frame_t * p )

extern

Function*************************************************************

Synopsis [Removes library binding of all currently stored networks.]

Description [This procedure is called when the library is freed.]

SideEffects []

SeeAlso []

Definition at line 577 of file mainFrame.c.

{
    Abc_Ntk_t * pNtk;
    for ( pNtk = p->pNtkCur; pNtk; pNtk = Abc_NtkBackup(pNtk) )
        if ( Abc_NtkHasMapping(pNtk) )
            Abc_NtkMapToSop( pNtk );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_FrameUpdateGia()

ABC_DLL void Abc_FrameUpdateGia ( Abc_Frame_t * pAbc, Gia_Man_t * pNew )

extern

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 824 of file abc.c.

{
    if ( pNew == NULL )
    {
        Abc_Print( -1, "Abc_FrameUpdateGia(): Transformation has failed.\n" );
        return;
    }
    if ( Gia_ManPoNum(pNew) == 0 )
        Abc_Print( 0, "The current GIA has no primary outputs. Some commands may not work correctly.\n" );
    if ( pNew == pAbc->pGia )
        return;
    // transfer names
    if (!pNew->vNamesIn && pAbc->pGia && pAbc->pGia->vNamesIn && Gia_ManCiNum(pNew) == Vec_PtrSize(pAbc->pGia->vNamesIn))
    {
        pNew->vNamesIn = pAbc->pGia->vNamesIn;
        pAbc->pGia->vNamesIn = NULL;
    }
    if (!pNew->vNamesOut && pAbc->pGia && pAbc->pGia->vNamesOut && Gia_ManCoNum(pNew) == Vec_PtrSize(pAbc->pGia->vNamesOut))
    {
        pNew->vNamesOut = pAbc->pGia->vNamesOut;
        pAbc->pGia->vNamesOut = NULL;
    }
    if (!pNew->vNamesNode && pAbc->pGia && pAbc->pGia->vNamesNode && Gia_ManObjNum(pNew) == Vec_PtrSize(pAbc->pGia->vNamesNode))
    {
        pNew->vNamesNode = pAbc->pGia->vNamesNode;
        pAbc->pGia->vNamesNode = NULL;
    }
    // update
    if ( pAbc->pGia2 )
        Gia_ManStop( pAbc->pGia2 );
    pAbc->pGia2 = pAbc->pGia;
    pAbc->pGia  = pNew;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_Start()

ABC_NAMESPACE_HEADER_START ABC_DLL void Abc_Start ( )

extern

INCLUDES ///.

CFile****************************************************************

FileName [main.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [The main package.]

Synopsis [External declarations of the main package.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id

main.h,v 1.1 2008/05/14 22:13:13 wudenni Exp

] PARAMETERS /// TYPEDEFS /// GLOBAL VARIABLES /// STRUCTURE DEFINITIONS /// MACRO DEFINITIONS /// FUNCTION DEFINITIONS ///

INCLUDES ///.

FUNCTION DECLARATIONS ///.

CFile****************************************************************

FileName [main.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [The main package.]

Synopsis [Here everything starts.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id

main.c,v 1.00 2005/06/20 00:00:00 alanmi Exp

] FUNCTION DEFINITIONS /// Function*************************************************************

Synopsis [Initialization procedure for the library project.]

Description [Note that when Abc_Start() is run in a static library project, it does not load the resource file by default. As a result, ABC is not set up the same way, as when it is run on a command line. For example, some error messages while parsing files will not be produced, and intermediate networks will not be checked for consistancy. One possibility is to load the resource file after Abc_Start() as follows: Abc_UtilsSource( Abc_FrameGetGlobalFrame() );]

SideEffects []

SeeAlso []

Definition at line 52 of file mainLib.c.

{
    Abc_Frame_t * pAbc;
    // added to detect memory leaks:
#if defined(_DEBUG) && defined(_MSC_VER) 
    _CrtSetDbgFlag( _CRTDBG_ALLOC_MEM_DF | _CRTDBG_LEAK_CHECK_DF );
#endif
    // start the glocal frame
    pAbc = Abc_FrameGetGlobalFrame();
    // source the resource file
//    Abc_UtilsSource( pAbc );
}

Abc_Stop()

ABC_DLL void Abc_Stop ( )

extern

Function*************************************************************

Synopsis [Deallocation procedure for the library project.]

Description []

SideEffects []

SeeAlso []

Definition at line 76 of file mainLib.c.

{
    Abc_Frame_t * pAbc;
    pAbc = Abc_FrameGetGlobalFrame();
    // perform uninitializations
    Abc_FrameEnd( pAbc );
    // stop the framework
    Abc_FrameDeallocate( pAbc );
}