diff options
Diffstat (limited to 'src/aig/ntl/ntlMan.c')
-rw-r--r-- | src/aig/ntl/ntlMan.c | 29 |
1 files changed, 23 insertions, 6 deletions
diff --git a/src/aig/ntl/ntlMan.c b/src/aig/ntl/ntlMan.c index b4b63905..e80e02c6 100644 --- a/src/aig/ntl/ntlMan.c +++ b/src/aig/ntl/ntlMan.c @@ -39,7 +39,7 @@ SeeAlso [] ***********************************************************************/ -Ntl_Man_t * Ntl_ManAlloc( char * pFileName ) +Ntl_Man_t * Ntl_ManAlloc() { Ntl_Man_t * p; // start the manager @@ -53,9 +53,6 @@ Ntl_Man_t * Ntl_ManAlloc( char * pFileName ) // start the manager p->pMemObjs = Aig_MmFlexStart(); p->pMemSops = Aig_MmFlexStart(); - // same the names - p->pName = Ntl_ManStoreFileName( p, pFileName ); - p->pSpec = Ntl_ManStoreName( p, pFileName ); return p; } @@ -106,7 +103,9 @@ Ntl_Man_t * Ntl_ManStartFrom( Ntl_Man_t * pOld ) Ntl_Obj_t * pBox; Ntl_Net_t * pNet; int i, k; - pNew = Ntl_ManAlloc( pOld->pSpec ); + pNew = Ntl_ManAlloc(); + pNew->pName = Ntl_ManStoreFileName( pNew, pOld->pName ); + pNew->pSpec = Ntl_ManStoreName( pNew, pOld->pName ); Vec_PtrForEachEntry( pOld->vModels, pModel, i ) if ( i == 0 ) { @@ -146,7 +145,9 @@ Ntl_Man_t * Ntl_ManDup( Ntl_Man_t * pOld ) Ntl_Obj_t * pBox; Ntl_Net_t * pNet; int i, k; - pNew = Ntl_ManAlloc( pOld->pSpec ); + pNew = Ntl_ManAlloc(); + pNew->pName = Ntl_ManStoreFileName( pNew, pOld->pName ); + pNew->pSpec = Ntl_ManStoreName( pNew, pOld->pName ); Vec_PtrForEachEntry( pOld->vModels, pModel, i ) pModel->pCopy = Ntl_ModelDup( pNew, pModel ); Vec_PtrForEachEntry( pOld->vModels, pModel, i ) @@ -213,6 +214,22 @@ int Ntl_ManIsComb( Ntl_Man_t * p ) /**Function************************************************************* + Synopsis [Returns the number of registers.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +int Ntl_ManLatchNum( Ntl_Man_t * p ) +{ + return Ntl_ModelLatchNum(Ntl_ManRootModel(p)); +} + +/**Function************************************************************* + Synopsis [Find the model with the given name.] Description [] |