diff options
| author | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-03-03 13:46:32 -0800 |
|---|---|---|
| committer | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-03-03 13:46:32 -0800 |
| commit | 154f4b642d7b383399a3465cc8d365ad09a541e7 (patch) | |
| tree | 695e28331e4b291adfcdc5dec34a65721b59ddcd /src/base/abci/abcMap.c | |
| parent | 40d29e781387fdfbe8fec47e600d57a109fed1d9 (diff) | |
| parent | 59f09c10d5389afe0768820ebb6167fdf8b5617b (diff) | |
| download | abc-154f4b642d7b383399a3465cc8d365ad09a541e7.tar.gz abc-154f4b642d7b383399a3465cc8d365ad09a541e7.tar.bz2 abc-154f4b642d7b383399a3465cc8d365ad09a541e7.zip | |
merge
Diffstat (limited to 'src/base/abci/abcMap.c')
| -rw-r--r-- | src/base/abci/abcMap.c | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/base/abci/abcMap.c b/src/base/abci/abcMap.c index 4e588e2d..f758d0f0 100644 --- a/src/base/abci/abcMap.c +++ b/src/base/abci/abcMap.c @@ -923,9 +923,9 @@ void Abc_NtkPrintMiniMapping( int * pArray ) SeeAlso [] ***********************************************************************/ -int * Abc_NtkOutputMiniMapping( void * pAbc0 ) +int * Abc_NtkOutputMiniMapping( Abc_Frame_t * pAbc ) { - Abc_Frame_t * pAbc = (Abc_Frame_t *)pAbc0; + //Abc_Frame_t * pAbc = (Abc_Frame_t *)pAbc0; Abc_Ntk_t * pNtk; Vec_Int_t * vMapping; int * pArray; @@ -977,9 +977,9 @@ void Abc_NtkTestMiniMapping( Abc_Ntk_t * p ) SeeAlso [] ***********************************************************************/ -void Abc_NtkSetCiArrivalTime( void * pAbc0, int iCi, float Rise, float Fall ) +void Abc_NtkSetCiArrivalTime( Abc_Frame_t * pAbc, int iCi, float Rise, float Fall ) { - Abc_Frame_t * pAbc = (Abc_Frame_t *)pAbc0; + //Abc_Frame_t * pAbc = (Abc_Frame_t *)pAbc0; Abc_Ntk_t * pNtk; Abc_Obj_t * pNode; if ( pAbc == NULL ) @@ -1001,9 +1001,9 @@ void Abc_NtkSetCiArrivalTime( void * pAbc0, int iCi, float Rise, float Fall ) pNode = Abc_NtkCi( pNtk, iCi ); Abc_NtkTimeSetArrival( pNtk, Abc_ObjId(pNode), Rise, Fall ); } -void Abc_NtkSetCoRequiredTime( void * pAbc0, int iCo, float Rise, float Fall ) +void Abc_NtkSetCoRequiredTime( Abc_Frame_t * pAbc, int iCo, float Rise, float Fall ) { - Abc_Frame_t * pAbc = (Abc_Frame_t *)pAbc0; + //Abc_Frame_t * pAbc = (Abc_Frame_t *)pAbc0; Abc_Ntk_t * pNtk; Abc_Obj_t * pNode; if ( pAbc == NULL )\ @@ -1037,9 +1037,9 @@ void Abc_NtkSetCoRequiredTime( void * pAbc0, int iCo, float Rise, float Fall ) SeeAlso [] ***********************************************************************/ -void Abc_NtkSetAndGateDelay( void * pAbc0, float Delay ) +void Abc_NtkSetAndGateDelay( Abc_Frame_t * pAbc, float Delay ) { - Abc_Frame_t * pAbc = (Abc_Frame_t *)pAbc0; + //Abc_Frame_t * pAbc = (Abc_Frame_t *)pAbc0; Abc_Ntk_t * pNtk; if ( pAbc == NULL ) { |