base/main/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 "base/cmd/cmd.h"
#include "base/io/ioAbc.h"

Go to the source code of this file.

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct Abc_Frame_t_	Abc_Frame_t
	INCLUDES ///. More...

Functions
ABC_NAMESPACE_HEADER_END ABC_NAMESPACE_HEADER_START ABC_DLL void	Abc_Start ()
	PARAMETERS ///. More...
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 ///. More...
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 char *	Abc_FrameReadFlag (char *pFlag)
ABC_DLL int	Abc_FrameIsFlagEnabled (char *pFlag)
ABC_DLL int	Abc_FrameIsBatchMode ()
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 Abc_Cex_t *	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 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 int	Abc_FrameCheckPoConst (Abc_Frame_t *p, int iPoNum)
ABC_DLL void	Abc_FrameReplaceCex (Abc_Frame_t *pAbc, Abc_Cex_t **ppCex)
	FUNCTION DEFINITIONS ///. More...
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)

Typedef Documentation

typedef typedefABC_NAMESPACE_HEADER_START struct Abc_Frame_t_ Abc_Frame_t

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

]

Definition at line 39 of file base/main/main.h.

Function Documentation

ABC_DLL int Abc_FrameCheckPoConst	(	Abc_Frame_t *	p,
		int	iPoNum
	)

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

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

Description []

SideEffects []

SeeAlso []

Definition at line 684 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);
}

ABC_DLL void Abc_FrameClearVerifStatus

(

Abc_Frame_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 247 of file mainFrame.c.

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

ABC_DLL void Abc_FrameDeleteAllNetworks

(

Abc_Frame_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 551 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" );
}

ABC_DLL Gia_Man_t* Abc_FrameGetGia

(

Abc_Frame_t *

pAbc

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 656 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;
}

ABC_DLL Abc_Frame_t* Abc_FrameGetGlobalFrame

(

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 593 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_DLL int Abc_FrameIsBatchMode

(

)

Definition at line 92 of file mainFrame.c.

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

ABC_DLL int Abc_FrameIsBridgeMode

(

)

Definition at line 94 of file mainFrame.c.

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

ABC_DLL int Abc_FrameIsFlagEnabled

(

char *

pFlag

)

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

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

Description []

SideEffects []

SeeAlso []

Definition at line 113 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;
}

ABC_DLL int Abc_FrameReadBmcFrames

(

Abc_Frame_t *

p

)

Definition at line 66 of file mainFrame.c.

{ return s_GlobalFrame->nFrames;      }               

ABC_DLL Abc_Cex_t* Abc_FrameReadCex

(

Abc_Frame_t *

p

)

Definition at line 68 of file mainFrame.c.

{ return s_GlobalFrame->pCex;         }        

ABC_DLL int Abc_FrameReadCexFrame

(

Abc_Frame_t *

p

)

Definition at line 78 of file mainFrame.c.

{ return s_GlobalFrame->pCex->iFrame; }               

ABC_DLL int Abc_FrameReadCexPiNum

(

Abc_Frame_t *

p

)

Definition at line 75 of file mainFrame.c.

{ return s_GlobalFrame->pCex->nPis;   }               

ABC_DLL int Abc_FrameReadCexPo

(

Abc_Frame_t *

p

)

Definition at line 77 of file mainFrame.c.

{ return s_GlobalFrame->pCex->iPo;    }               

ABC_DLL int Abc_FrameReadCexRegNum

(

Abc_Frame_t *

p

)

Definition at line 76 of file mainFrame.c.

{ return s_GlobalFrame->pCex->nRegs;  }               

ABC_DLL Vec_Ptr_t* Abc_FrameReadCexVec

(

Abc_Frame_t *

p

)

Definition at line 69 of file mainFrame.c.

{ return s_GlobalFrame->vCexVec;      }        

ABC_DLL char* Abc_FrameReadDrivingCell

(

)

Definition at line 97 of file mainFrame.c.

{ return s_GlobalFrame->pDrivingCell;    }              

ABC_DLL FILE* Abc_FrameReadErr

(

Abc_Frame_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 330 of file mainFrame.c.

{
    return p->Err;
}

ABC_DLL char* Abc_FrameReadFlag

(

char *

pFlag

)

Definition at line 64 of file mainFrame.c.

{ return Cmd_FlagReadByName( s_GlobalFrame, pFlag );   } 

ABC_DLL Gia_Man_t* Abc_FrameReadGia

(

Abc_Frame_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 298 of file mainFrame.c.

{
    return p->pGia;
}

ABC_DLL Abc_Frame_t* Abc_FrameReadGlobalFrame

(

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 616 of file mainFrame.c.

{
    return s_GlobalFrame;
}

ABC_DLL void* Abc_FrameReadLibBox

(

)

Definition at line 55 of file mainFrame.c.

{ return s_GlobalFrame->pLibBox;      } 

ABC_DLL void* Abc_FrameReadLibGen

(

)

Definition at line 56 of file mainFrame.c.

{ return s_GlobalFrame->pLibGen;      } 

ABC_DLL void* Abc_FrameReadLibGen2

(

)

Definition at line 57 of file mainFrame.c.

{ return s_GlobalFrame->pLibGen2;     } 

ABC_DLL void* Abc_FrameReadLibLut

(

)

Definition at line 54 of file mainFrame.c.

{ return s_GlobalFrame->pLibLut;      } 

ABC_DLL void* Abc_FrameReadLibScl

(

)

Definition at line 59 of file mainFrame.c.

{ return s_GlobalFrame->pLibScl;      } 

ABC_DLL void* Abc_FrameReadLibSuper

(

)

Definition at line 58 of file mainFrame.c.

{ return s_GlobalFrame->pLibSuper;    } 

ABC_DLL void* Abc_FrameReadManDd

(

)

Definition at line 60 of file mainFrame.c.

{ if ( s_GlobalFrame->dd == NULL )      s_GlobalFrame->dd = Cudd_Init( 0, 0, CUDD_UNIQUE_SLOTS, CUDD_CACHE_SLOTS, 0 );  return s_GlobalFrame->dd;      } 

ABC_DLL void* Abc_FrameReadManDec

(

)

Definition at line 61 of file mainFrame.c.

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

ABC_DLL void* Abc_FrameReadManDsd

(

)

Definition at line 62 of file mainFrame.c.

{ return s_GlobalFrame->pManDsd;      } 

ABC_DLL void* Abc_FrameReadManDsd2

(

)

Definition at line 63 of file mainFrame.c.

{ return s_GlobalFrame->pManDsd2;     } 

ABC_DLL float Abc_FrameReadMaxLoad

(

)

Definition at line 98 of file mainFrame.c.

{ return s_GlobalFrame->MaxLoad;         }      

ABC_DLL int Abc_FrameReadMode

(

Abc_Frame_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 346 of file mainFrame.c.

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

ABC_DLL Abc_Ntk_t* Abc_FrameReadNtk

(

Abc_Frame_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 282 of file mainFrame.c.

{
    return p->pNtkCur;
}

ABC_DLL Vec_Int_t* Abc_FrameReadObjIds

(

Abc_Frame_t *

p

)

Definition at line 73 of file mainFrame.c.

{ return s_GlobalFrame->vAbcObjIds;   }        

ABC_DLL FILE* Abc_FrameReadOut

(

Abc_Frame_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 314 of file mainFrame.c.

{
    return p->Out;
}

ABC_DLL Vec_Ptr_t* Abc_FrameReadPoEquivs

(

Abc_Frame_t *

p

)

Definition at line 71 of file mainFrame.c.

{ return s_GlobalFrame->vPoEquivs;    }        

ABC_DLL Vec_Int_t* Abc_FrameReadPoStatuses

(

Abc_Frame_t *

p

)

Definition at line 72 of file mainFrame.c.

{ return s_GlobalFrame->vStatuses;    }        

ABC_DLL int Abc_FrameReadProbStatus

(

Abc_Frame_t *

p

)

Definition at line 67 of file mainFrame.c.

{ return s_GlobalFrame->Status;       }               

ABC_DLL Vec_Int_t* Abc_FrameReadStatusVec

(

Abc_Frame_t *

p

)

Definition at line 70 of file mainFrame.c.

{ return s_GlobalFrame->vStatuses;    }        

ABC_DLL Vec_Ptr_t* Abc_FrameReadStore

(

)

FUNCTION DEFINITIONS ///.

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

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

Description []

SideEffects []

SeeAlso []

Definition at line 52 of file mainFrame.c.

{ return s_GlobalFrame->vStore;       } 

ABC_DLL int Abc_FrameReadStoreSize

(

)

Definition at line 53 of file mainFrame.c.

{ return Vec_PtrSize(s_GlobalFrame->vStore); }

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

FUNCTION DEFINITIONS ///.

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 490 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;
    }
}

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

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 515 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 );
}

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

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 493 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;
}

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

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 537 of file abc.c.

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

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

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 556 of file abc.c.

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

ABC_DLL void Abc_FrameRestart

(

Abc_Frame_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 232 of file mainFrame.c.

{
}

ABC_DLL void Abc_FrameSetBridgeMode

(

)

Definition at line 95 of file mainFrame.c.

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

ABC_DLL void Abc_FrameSetCex

(

Abc_Cex_t *

pCex

)

Definition at line 86 of file mainFrame.c.

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

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

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

ABC_DLL void Abc_FrameSetDrivingCell

(

char *

pName

)

Definition at line 99 of file mainFrame.c.

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

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

Definition at line 85 of file mainFrame.c.

{ Cmd_FlagUpdateValue( s_GlobalFrame, pFlag, pValue );               } 

ABC_DLL void Abc_FrameSetGlobalFrame

(

Abc_Frame_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 577 of file mainFrame.c.

{
    s_GlobalFrame = p;
}

ABC_DLL void Abc_FrameSetLibBox

(

void *

pLib

)

Definition at line 81 of file mainFrame.c.

{ s_GlobalFrame->pLibBox   = pLib;    } 

ABC_DLL void Abc_FrameSetLibGen

(

void *

pLib

)

Definition at line 82 of file mainFrame.c.

{ s_GlobalFrame->pLibGen   = pLib;    } 

ABC_DLL void Abc_FrameSetLibGen2

(

void *

pLib

)

Definition at line 83 of file mainFrame.c.

{ s_GlobalFrame->pLibGen2  = pLib;    } 

ABC_DLL void Abc_FrameSetLibLut

(

void *

pLib

)

Definition at line 80 of file mainFrame.c.

{ s_GlobalFrame->pLibLut   = pLib;    } 

ABC_DLL void Abc_FrameSetLibSuper

(

void *

pLib

)

Definition at line 84 of file mainFrame.c.

{ s_GlobalFrame->pLibSuper = pLib;    } 

ABC_DLL void Abc_FrameSetLibVer

(

void *

pLib

)

ABC_DLL void Abc_FrameSetManDsd

(

void *

pMan

)

Definition at line 89 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;  }

ABC_DLL void Abc_FrameSetManDsd2

(

void *

pMan

)

Definition at line 90 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; }

ABC_DLL void Abc_FrameSetMaxLoad

(

float

Load

)

Definition at line 100 of file mainFrame.c.

{ s_GlobalFrame->MaxLoad        = Load;  }      

ABC_DLL int Abc_FrameSetMode	(	Abc_Frame_t *	p,
		int	fNameMode
	)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 369 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;
}

ABC_DLL void Abc_FrameSetNFrames

(

int

nFrames

)

Definition at line 87 of file mainFrame.c.

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

ABC_DLL void Abc_FrameSetNtkStore

(

Abc_Ntk_t *

pNtk

)

ABC_DLL void Abc_FrameSetNtkStoreSize

(

int

nStored

)

ABC_DLL void Abc_FrameSetStatus

(

int

Status

)

Definition at line 88 of file mainFrame.c.

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

ABC_DLL int Abc_FrameShowProgress

(

Abc_Frame_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 265 of file mainFrame.c.

{
    return Abc_FrameIsFlagEnabled( "progressbar" );
}

ABC_DLL void Abc_FrameSwapCurrentAndBackup

(

Abc_Frame_t *

p

)

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

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

Description []

SideEffects []

SeeAlso []

Definition at line 451 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;
}

ABC_DLL void Abc_FrameUnmapAllNetworks

(

Abc_Frame_t *

p

)

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 532 of file mainFrame.c.

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

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

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 616 of file abc.c.

{
    if ( pNew == NULL )
    {
        Abc_Print( -1, "Abc_FrameUpdateGia(): Tranformation 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;
    }
    // update
    if ( pAbc->pGia2 )
        Gia_ManStop( pAbc->pGia2 );
    pAbc->pGia2 = pAbc->pGia;
    pAbc->pGia  = pNew;
}

ABC_NAMESPACE_HEADER_END ABC_NAMESPACE_HEADER_START ABC_DLL void Abc_Start

(

)

PARAMETERS ///.

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

PARAMETERS ///.

INCLUDES ///.

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_DLL void Abc_Stop

(

)

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