mainFrame.c File Reference

#include "base/abc/abc.h"
#include "mainInt.h"
#include "bool/dec/dec.h"
#include "map/if/if.h"
#include "aig/miniaig/ndr.h"

Include dependency graph for mainFrame.c:

Go to the source code of this file.

Functions
Vec_Ptr_t *	Abc_FrameReadStore ()
	FUNCTION DEFINITIONS ///.
int	Abc_FrameReadStoreSize ()
void *	Abc_FrameReadLibLut ()
void *	Abc_FrameReadLibBox ()
void *	Abc_FrameReadLibGen ()
void *	Abc_FrameReadLibGen2 ()
void *	Abc_FrameReadLibSuper ()
void *	Abc_FrameReadLibScl ()
void *	Abc_FrameReadManDec ()
void *	Abc_FrameReadManDsd ()
void *	Abc_FrameReadManDsd2 ()
char *	Abc_FrameReadFlag (char *pFlag)
Vec_Ptr_t *	Abc_FrameReadSignalNames ()
char *	Abc_FrameReadSpecName ()
int	Abc_FrameReadBmcFrames (Abc_Frame_t *p)
int	Abc_FrameReadProbStatus (Abc_Frame_t *p)
void *	Abc_FrameReadCex (Abc_Frame_t *p)
Vec_Ptr_t *	Abc_FrameReadCexVec (Abc_Frame_t *p)
Vec_Int_t *	Abc_FrameReadStatusVec (Abc_Frame_t *p)
Vec_Ptr_t *	Abc_FrameReadPoEquivs (Abc_Frame_t *p)
Vec_Int_t *	Abc_FrameReadPoStatuses (Abc_Frame_t *p)
Vec_Int_t *	Abc_FrameReadObjIds (Abc_Frame_t *p)
Abc_Nam_t *	Abc_FrameReadJsonStrs (Abc_Frame_t *p)
Vec_Wec_t *	Abc_FrameReadJsonObjs (Abc_Frame_t *p)
int	Abc_FrameReadCexPiNum (Abc_Frame_t *p)
int	Abc_FrameReadCexRegNum (Abc_Frame_t *p)
int	Abc_FrameReadCexPo (Abc_Frame_t *p)
int	Abc_FrameReadCexFrame (Abc_Frame_t *p)
void	Abc_FrameInputNdr (Abc_Frame_t *pAbc, void *pData)
void *	Abc_FrameOutputNdr (Abc_Frame_t *pAbc)
int *	Abc_FrameOutputNdrArray (Abc_Frame_t *pAbc)
void	Abc_FrameSetLibLut (void *pLib)
void	Abc_FrameSetLibBox (void *pLib)
void	Abc_FrameSetLibGen (void *pLib)
void	Abc_FrameSetLibGen2 (void *pLib)
void	Abc_FrameSetLibSuper (void *pLib)
void	Abc_FrameSetFlag (char *pFlag, char *pValue)
void	Abc_FrameSetCex (Abc_Cex_t *pCex)
void	Abc_FrameSetNFrames (int nFrames)
void	Abc_FrameSetStatus (int Status)
void	Abc_FrameSetManDsd (void *pMan)
void	Abc_FrameSetManDsd2 (void *pMan)
void	Abc_FrameSetInv (Vec_Int_t *vInv)
void	Abc_FrameSetJsonStrs (Abc_Nam_t *pStrs)
void	Abc_FrameSetJsonObjs (Vec_Wec_t *vObjs)
void	Abc_FrameSetSignalNames (Vec_Ptr_t *vNames)
void	Abc_FrameSetSpecName (char *pFileName)
int	Abc_FrameIsBatchMode ()
void	Abc_FrameSetBatchMode (int Mode)
int	Abc_FrameIsBridgeMode ()
void	Abc_FrameSetBridgeMode ()
char *	Abc_FrameReadDrivingCell ()
float	Abc_FrameReadMaxLoad ()
void	Abc_FrameSetDrivingCell (char *pName)
void	Abc_FrameSetMaxLoad (float Load)
int *	Abc_FrameReadArrayMapping (Abc_Frame_t *pAbc)
void	Abc_FrameSetArrayMapping (int *p)
int *	Abc_FrameReadBoxes (Abc_Frame_t *pAbc)
void	Abc_FrameSetBoxes (int *p)
int	Abc_FrameIsFlagEnabled (char *pFlag)
Abc_Frame_t *	Abc_FrameAllocate ()
void	Abc_FrameDeallocate (Abc_Frame_t *p)
void	Abc_FrameRestart (Abc_Frame_t *p)
void	Abc_FrameClearVerifStatus (Abc_Frame_t *p)
int	Abc_FrameShowProgress (Abc_Frame_t *p)
Abc_Ntk_t *	Abc_FrameReadNtk (Abc_Frame_t *p)
Gia_Man_t *	Abc_FrameReadGia (Abc_Frame_t *p)
FILE *	Abc_FrameReadOut (Abc_Frame_t *p)
FILE *	Abc_FrameReadErr (Abc_Frame_t *p)
int	Abc_FrameReadMode (Abc_Frame_t *p)
int	Abc_FrameSetMode (Abc_Frame_t *p, int fNameMode)
void	Abc_FrameSetCurrentNetwork (Abc_Frame_t *p, Abc_Ntk_t *pNtkNew)
void	Abc_FrameSwapCurrentAndBackup (Abc_Frame_t *p)
void	Abc_FrameReplaceCurrentNetwork (Abc_Frame_t *p, Abc_Ntk_t *pNtk)
void	Abc_FrameUnmapAllNetworks (Abc_Frame_t *p)
void	Abc_FrameDeleteAllNetworks (Abc_Frame_t *p)
void	Abc_FrameSetGlobalFrame (Abc_Frame_t *p)
Abc_Frame_t *	Abc_FrameGetGlobalFrame ()
Abc_Frame_t *	Abc_FrameReadGlobalFrame ()
void	Abc_FrameSetSave1 (void *pAig)
void	Abc_FrameSetSave2 (void *pAig)
void *	Abc_FrameReadSave1 ()
void *	Abc_FrameReadSave2 ()
int	Abc_FrameCheckPoConst (Abc_Frame_t *p, int iPoNum)
void	Abc_FrameCheckPoConstTest (Abc_Frame_t *p)

Function Documentation

Abc_FrameAllocate()

Abc_Frame_t * Abc_FrameAllocate

(

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 162 of file mainFrame.c.

{
    Abc_Frame_t * p;
    extern void define_cube_size( int n );
    extern void set_espresso_flags();
    // allocate and clean
    p = ABC_CALLOC( Abc_Frame_t, 1 );
    // get version
    p->sVersion = Abc_UtilsGetVersion( p );
    // set streams
    p->Err = stderr;
    p->Out = stdout;
    p->Hst = NULL;
    p->Status     = -1;
    p->nFrames    = -1;
    // set the starting step
    p->nSteps     =  1;
    p->fBatchMode =  0;
    // networks to be used by choice
    p->vStore = Vec_PtrAlloc( 16 );
    p->vAbcObjIds = Vec_IntAlloc( 0 );
    // initialize decomposition manager
//    define_cube_size(20);
//    set_espresso_flags();
    // initialize the trace manager
//    Abc_HManStart();
    p->vPlugInComBinPairs = Vec_PtrAlloc( 100 );
    return p;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_FrameCheckPoConst()

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 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_FrameCheckPoConstTest()

void Abc_FrameCheckPoConstTest

(

Abc_Frame_t *

p

)

Definition at line 748 of file mainFrame.c.

{
    Abc_Obj_t * pObj;
    int i;
    Abc_NtkForEachPo( p->pNtkCur, pObj, i )
        printf( "%d = %d\n", i, Abc_FrameCheckPoConst(p, i) );
}

Here is the call graph for this function:

Abc_FrameClearVerifStatus()

void Abc_FrameClearVerifStatus

(

Abc_Frame_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 292 of file mainFrame.c.

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

Abc_FrameDeallocate()

void Abc_FrameDeallocate

(

Abc_Frame_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 204 of file mainFrame.c.

{
    extern void Rwt_ManGlobalStop();
    extern void undefine_cube_size();
//    extern void Ivy_TruthManStop();
//    Abc_HManStop();
//    undefine_cube_size();
    Rwt_ManGlobalStop();
//    Ivy_TruthManStop();
    if ( p->vAbcObjIds)  Vec_IntFree( p->vAbcObjIds );
    if ( p->vCexVec   )  Vec_PtrFreeFree( p->vCexVec );
    if ( p->vPoEquivs )  Vec_VecFree( (Vec_Vec_t *)p->vPoEquivs );
    if ( p->vStatuses )  Vec_IntFree( p->vStatuses );
    if ( p->pManDec   )  Dec_ManStop( (Dec_Man_t *)p->pManDec );
#ifdef ABC_USE_CUDD
    if ( p->dd        )  Extra_StopManager( p->dd );
#endif
    if ( p->vStore    )  Vec_PtrFree( p->vStore );
    if ( p->pSave1    )  Aig_ManStop( (Aig_Man_t *)p->pSave1 );
    if ( p->pSave2    )  Aig_ManStop( (Aig_Man_t *)p->pSave2 );
    if ( p->pSave3    )  Aig_ManStop( (Aig_Man_t *)p->pSave3 );
    if ( p->pSave4    )  Aig_ManStop( (Aig_Man_t *)p->pSave4 );
    if ( p->pManDsd   )  If_DsdManFree( (If_DsdMan_t *)p->pManDsd, 0 );
    if ( p->pManDsd2  )  If_DsdManFree( (If_DsdMan_t *)p->pManDsd2, 0 );
    if ( p->pNtkBackup)  Abc_NtkDelete( p->pNtkBackup );
    if ( p->vPlugInComBinPairs ) 
    {
        char * pTemp;
        int i;
        Vec_PtrForEachEntry( char *, p->vPlugInComBinPairs, pTemp, i )
            ABC_FREE( pTemp );
        Vec_PtrFree( p->vPlugInComBinPairs );
    }
    Vec_IntFreeP( &p->vIndFlops );
    Vec_PtrFreeP( &p->vLTLProperties_global );
    if ( p->vSignalNames )
    Vec_PtrFreeFree( p->vSignalNames );
    ABC_FREE( p->pSpecName );
    Abc_FrameDeleteAllNetworks( p );
    ABC_FREE( p->pDrivingCell );
    ABC_FREE( p->pCex2 );
    ABC_FREE( p->pCex );
    Vec_IntFreeP( &p->pAbcWlcInv );
    Abc_NamDeref( s_GlobalFrame->pJsonStrs );
    Vec_WecFreeP( &s_GlobalFrame->vJsonObjs );  
    Ndr_Delete( s_GlobalFrame->pNdr );
    ABC_FREE( s_GlobalFrame->pNdrArray );
    Abc_FrameStoreStop( s_GlobalFrame );
 
    Gia_ManStopP( &p->pGiaMiniAig );
    Gia_ManStopP( &p->pGiaMiniLut );
    Vec_IntFreeP( &p->vCopyMiniAig );
    Vec_IntFreeP( &p->vCopyMiniLut );
    ABC_FREE( p->pArray );
    ABC_FREE( p->pBoxes );
    
 
    ABC_FREE( p );
    s_GlobalFrame = NULL;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_FrameDeleteAllNetworks()

void Abc_FrameDeleteAllNetworks

(

Abc_Frame_t *

p

)

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_FrameGetGlobalFrame()

Abc_Frame_t * Abc_FrameGetGlobalFrame

(

)

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

Here is the call graph for this function:

Abc_FrameInputNdr()

void Abc_FrameInputNdr	(	Abc_Frame_t *	pAbc,
		void *	pData )

Definition at line 89 of file mainFrame.c.

{ Ndr_Delete(s_GlobalFrame->pNdr); s_GlobalFrame->pNdr = pData;                        }

Here is the caller graph for this function:

Abc_FrameIsBatchMode()

int Abc_FrameIsBatchMode

(

)

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

int Abc_FrameIsBridgeMode

(

)

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

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 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_FrameOutputNdr()

void * Abc_FrameOutputNdr

(

Abc_Frame_t *

pAbc

)

Definition at line 90 of file mainFrame.c.

{ void * pData = s_GlobalFrame->pNdr; s_GlobalFrame->pNdr = NULL; return pData;             }  

Abc_FrameOutputNdrArray()

int * Abc_FrameOutputNdrArray

(

Abc_Frame_t *

pAbc

)

Definition at line 91 of file mainFrame.c.

{ int * pArray = s_GlobalFrame->pNdrArray; s_GlobalFrame->pNdrArray = NULL; return pArray;  }

Abc_FrameReadArrayMapping()

int * Abc_FrameReadArrayMapping

(

Abc_Frame_t *

pAbc

)

Definition at line 121 of file mainFrame.c.

{ return pAbc->pArray;                                            }

Abc_FrameReadBmcFrames()

int Abc_FrameReadBmcFrames

(

Abc_Frame_t *

p

)

Definition at line 73 of file mainFrame.c.

{ return s_GlobalFrame->nFrames;      }               

Abc_FrameReadBoxes()

int * Abc_FrameReadBoxes

(

Abc_Frame_t *

pAbc

)

Definition at line 124 of file mainFrame.c.

{ return pAbc->pBoxes;                                            }

Abc_FrameReadCex()

void * Abc_FrameReadCex

(

Abc_Frame_t *

p

)

Definition at line 75 of file mainFrame.c.

{ return s_GlobalFrame->pCex;         }        

Here is the caller graph for this function:

Abc_FrameReadCexFrame()

int Abc_FrameReadCexFrame

(

Abc_Frame_t *

p

)

Definition at line 87 of file mainFrame.c.

{ return s_GlobalFrame->pCex->iFrame; }               

Abc_FrameReadCexPiNum()

int Abc_FrameReadCexPiNum

(

Abc_Frame_t *

p

)

Definition at line 84 of file mainFrame.c.

{ return s_GlobalFrame->pCex->nPis;   }               

Abc_FrameReadCexPo()

int Abc_FrameReadCexPo

(

Abc_Frame_t *

p

)

Definition at line 86 of file mainFrame.c.

{ return s_GlobalFrame->pCex->iPo;    }               

Abc_FrameReadCexRegNum()

int Abc_FrameReadCexRegNum

(

Abc_Frame_t *

p

)

Definition at line 85 of file mainFrame.c.

{ return s_GlobalFrame->pCex->nRegs;  }               

Abc_FrameReadCexVec()

Vec_Ptr_t * Abc_FrameReadCexVec

(

Abc_Frame_t *

p

)

Definition at line 76 of file mainFrame.c.

{ return s_GlobalFrame->vCexVec;      }        

Here is the caller graph for this function:

Abc_FrameReadDrivingCell()

char * Abc_FrameReadDrivingCell

(

)

Definition at line 116 of file mainFrame.c.

{ return s_GlobalFrame->pDrivingCell;    }              

Here is the caller graph for this function:

Abc_FrameReadErr()

FILE * Abc_FrameReadErr

(

Abc_Frame_t *

p

)

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

char * Abc_FrameReadFlag

(

char *

pFlag

)

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

Gia_Man_t * Abc_FrameReadGia

(

Abc_Frame_t *

p

)

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_Frame_t * Abc_FrameReadGlobalFrame

(

)

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

Vec_Wec_t * Abc_FrameReadJsonObjs

(

Abc_Frame_t *

p

)

Definition at line 82 of file mainFrame.c.

{ return s_GlobalFrame->vJsonObjs;    }   

Abc_FrameReadJsonStrs()

Abc_Nam_t * Abc_FrameReadJsonStrs

(

Abc_Frame_t *

p

)

Definition at line 81 of file mainFrame.c.

{ return s_GlobalFrame->pJsonStrs;    }     

Abc_FrameReadLibBox()

void * Abc_FrameReadLibBox

(

)

Definition at line 58 of file mainFrame.c.

{ return s_GlobalFrame->pLibBox;      } 

Here is the caller graph for this function:

Abc_FrameReadLibGen()

void * Abc_FrameReadLibGen

(

)

Definition at line 59 of file mainFrame.c.

{ return s_GlobalFrame->pLibGen;      } 

Here is the caller graph for this function:

Abc_FrameReadLibGen2()

void * Abc_FrameReadLibGen2

(

)

Definition at line 60 of file mainFrame.c.

{ return s_GlobalFrame->pLibGen2;     } 

Here is the caller graph for this function:

Abc_FrameReadLibLut()

void * Abc_FrameReadLibLut

(

)

Definition at line 57 of file mainFrame.c.

{ return s_GlobalFrame->pLibLut;      } 

Here is the caller graph for this function:

Abc_FrameReadLibScl()

void * Abc_FrameReadLibScl

(

)

Definition at line 62 of file mainFrame.c.

{ return s_GlobalFrame->pLibScl;      } 

Here is the caller graph for this function:

Abc_FrameReadLibSuper()

void * Abc_FrameReadLibSuper

(

)

Definition at line 61 of file mainFrame.c.

{ return s_GlobalFrame->pLibSuper;    } 

Here is the caller graph for this function:

Abc_FrameReadManDec()

void * Abc_FrameReadManDec

(

)

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

void * Abc_FrameReadManDsd

(

)

Definition at line 67 of file mainFrame.c.

{ return s_GlobalFrame->pManDsd;      } 

Here is the caller graph for this function:

Abc_FrameReadManDsd2()

void * Abc_FrameReadManDsd2

(

)

Definition at line 68 of file mainFrame.c.

{ return s_GlobalFrame->pManDsd2;     }

Here is the caller graph for this function:

Abc_FrameReadMaxLoad()

float Abc_FrameReadMaxLoad

(

)

Definition at line 117 of file mainFrame.c.

{ return s_GlobalFrame->MaxLoad;         }      

Here is the caller graph for this function:

Abc_FrameReadMode()

int Abc_FrameReadMode

(

Abc_Frame_t *

p

)

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_Ntk_t * Abc_FrameReadNtk

(

Abc_Frame_t *

p

)

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

Vec_Int_t * Abc_FrameReadObjIds

(

Abc_Frame_t *

p

)

Definition at line 80 of file mainFrame.c.

{ return s_GlobalFrame->vAbcObjIds;   }        

Abc_FrameReadOut()

FILE * Abc_FrameReadOut

(

Abc_Frame_t *

p

)

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

Vec_Ptr_t * Abc_FrameReadPoEquivs

(

Abc_Frame_t *

p

)

Definition at line 78 of file mainFrame.c.

{ return s_GlobalFrame->vPoEquivs;    }        

Abc_FrameReadPoStatuses()

Vec_Int_t * Abc_FrameReadPoStatuses

(

Abc_Frame_t *

p

)

Definition at line 79 of file mainFrame.c.

{ return s_GlobalFrame->vStatuses;    }        

Here is the caller graph for this function:

Abc_FrameReadProbStatus()

int Abc_FrameReadProbStatus

(

Abc_Frame_t *

p

)

Definition at line 74 of file mainFrame.c.

{ return s_GlobalFrame->Status;       }               

Here is the caller graph for this function:

Abc_FrameReadSave1()

void * Abc_FrameReadSave1

(

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 720 of file mainFrame.c.

{ void * pAig = Abc_FrameGetGlobalFrame()->pSave1; Abc_FrameGetGlobalFrame()->pSave1 = NULL; return pAig; }

Here is the call graph for this function:

Abc_FrameReadSave2()

void * Abc_FrameReadSave2

(

)

Definition at line 721 of file mainFrame.c.

{ void * pAig = Abc_FrameGetGlobalFrame()->pSave2; Abc_FrameGetGlobalFrame()->pSave2 = NULL; return pAig; }

Here is the call graph for this function:

Abc_FrameReadSignalNames()

Vec_Ptr_t * Abc_FrameReadSignalNames

(

)

Definition at line 70 of file mainFrame.c.

{ return s_GlobalFrame->vSignalNames; }

Here is the caller graph for this function:

Abc_FrameReadSpecName()

char * Abc_FrameReadSpecName

(

)

Definition at line 71 of file mainFrame.c.

{ return s_GlobalFrame->pSpecName;    }

Here is the caller graph for this function:

Abc_FrameReadStatusVec()

Vec_Int_t * Abc_FrameReadStatusVec

(

Abc_Frame_t *

p

)

Definition at line 77 of file mainFrame.c.

{ return s_GlobalFrame->vStatuses;    }        

Abc_FrameReadStore()

Vec_Ptr_t * Abc_FrameReadStore

(

)

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

int Abc_FrameReadStoreSize

(

)

Definition at line 56 of file mainFrame.c.

{ return Vec_PtrSize(s_GlobalFrame->vStore); }

Here is the caller graph for this function:

Abc_FrameReplaceCurrentNetwork()

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 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_FrameRestart()

void Abc_FrameRestart

(

Abc_Frame_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 277 of file mainFrame.c.

{
}

Abc_FrameSetArrayMapping()

void Abc_FrameSetArrayMapping

(

int *

p

)

Definition at line 122 of file mainFrame.c.

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

Abc_FrameSetBatchMode()

void Abc_FrameSetBatchMode

(

int

Mode

)

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

void Abc_FrameSetBoxes

(

int *

p

)

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

void Abc_FrameSetBridgeMode

(

)

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

void Abc_FrameSetCex

(

Abc_Cex_t *

pCex

)

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_FrameSetCurrentNetwork()

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

void Abc_FrameSetDrivingCell

(

char *

pName

)

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

void Abc_FrameSetFlag	(	char *	pFlag,
		char *	pValue )

Definition at line 98 of file mainFrame.c.

{ Cmd_FlagUpdateValue( s_GlobalFrame, pFlag, pValue );               } 

Here is the call graph for this function:

Abc_FrameSetGlobalFrame()

void Abc_FrameSetGlobalFrame

(

Abc_Frame_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 627 of file mainFrame.c.

{
    s_GlobalFrame = p;
}

Abc_FrameSetInv()

void Abc_FrameSetInv

(

Vec_Int_t *

vInv

)

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

void Abc_FrameSetJsonObjs

(

Vec_Wec_t *

vObjs

)

Definition at line 106 of file mainFrame.c.

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

Abc_FrameSetJsonStrs()

void Abc_FrameSetJsonStrs

(

Abc_Nam_t *

pStrs

)

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

void Abc_FrameSetLibBox

(

void *

pLib

)

Definition at line 94 of file mainFrame.c.

{ s_GlobalFrame->pLibBox   = pLib;    } 

Here is the caller graph for this function:

Abc_FrameSetLibGen()

void Abc_FrameSetLibGen

(

void *

pLib

)

Definition at line 95 of file mainFrame.c.

{ s_GlobalFrame->pLibGen   = pLib;    } 

Here is the caller graph for this function:

Abc_FrameSetLibGen2()

void Abc_FrameSetLibGen2

(

void *

pLib

)

Definition at line 96 of file mainFrame.c.

{ s_GlobalFrame->pLibGen2  = pLib;    } 

Here is the caller graph for this function:

Abc_FrameSetLibLut()

void Abc_FrameSetLibLut

(

void *

pLib

)

Definition at line 93 of file mainFrame.c.

{ s_GlobalFrame->pLibLut   = pLib;    } 

Here is the caller graph for this function:

Abc_FrameSetLibSuper()

void Abc_FrameSetLibSuper

(

void *

pLib

)

Definition at line 97 of file mainFrame.c.

{ s_GlobalFrame->pLibSuper = pLib;    } 

Here is the caller graph for this function:

Abc_FrameSetManDsd()

void Abc_FrameSetManDsd

(

void *

pMan

)

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

void Abc_FrameSetManDsd2

(

void *

pMan

)

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

void Abc_FrameSetMaxLoad

(

float

Load

)

Definition at line 119 of file mainFrame.c.

{ s_GlobalFrame->MaxLoad = Load;         }      

Here is the caller graph for this function:

Abc_FrameSetMode()

int Abc_FrameSetMode	(	Abc_Frame_t *	p,
		int	fNameMode )

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

void Abc_FrameSetNFrames

(

int

nFrames

)

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_FrameSetSave1()

void Abc_FrameSetSave1

(

void *

pAig

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 682 of file mainFrame.c.

{
    Abc_Frame_t * pFrame = Abc_FrameGetGlobalFrame();
    if ( pFrame->pSave1 )
        Aig_ManStop( (Aig_Man_t *)pFrame->pSave1 );
    pFrame->pSave1 = pAig;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_FrameSetSave2()

void Abc_FrameSetSave2

(

void *

pAig

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 701 of file mainFrame.c.

{
    Abc_Frame_t * pFrame = Abc_FrameGetGlobalFrame();
    if ( pFrame->pSave2 )
        Aig_ManStop( (Aig_Man_t *)pFrame->pSave2 );
    pFrame->pSave2 = pAig;
}

Here is the call graph for this function:

Abc_FrameSetSignalNames()

void Abc_FrameSetSignalNames

(

Vec_Ptr_t *

vNames

)

Definition at line 107 of file mainFrame.c.

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

Abc_FrameSetSpecName()

void Abc_FrameSetSpecName

(

char *

pFileName

)

Definition at line 108 of file mainFrame.c.

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

Abc_FrameSetStatus()

void Abc_FrameSetStatus

(

int

Status

)

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_FrameShowProgress()

int Abc_FrameShowProgress

(

Abc_Frame_t *

p

)

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

void Abc_FrameSwapCurrentAndBackup

(

Abc_Frame_t *

p

)

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

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 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: