summaryrefslogtreecommitdiffstats
path: root/src/aig/ntl/ntlObj.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/aig/ntl/ntlObj.c')
-rw-r--r--src/aig/ntl/ntlObj.c27
1 files changed, 27 insertions, 0 deletions
diff --git a/src/aig/ntl/ntlObj.c b/src/aig/ntl/ntlObj.c
index 2e39fbbf..ad43623a 100644
--- a/src/aig/ntl/ntlObj.c
+++ b/src/aig/ntl/ntlObj.c
@@ -163,6 +163,33 @@ Ntl_Obj_t * Ntl_ModelCreateBox( Ntl_Mod_t * pModel, int nFanins, int nFanouts )
/**Function*************************************************************
+ Synopsis [Create the latch.]
+
+ Description []
+
+ SideEffects []
+
+ SeeAlso []
+
+***********************************************************************/
+Ntl_Obj_t * Ntl_ModelDupObj( Ntl_Mod_t * pModel, Ntl_Obj_t * pOld )
+{
+ Ntl_Obj_t * pNew;
+ if ( Ntl_ObjIsPi( pOld ) )
+ pNew = Ntl_ModelCreatePi( pModel );
+ else if ( Ntl_ObjIsPo( pOld ) )
+ pNew = Ntl_ModelCreatePo( pModel, NULL );
+ else if ( Ntl_ObjIsLatch( pOld ) )
+ pNew = Ntl_ModelCreateLatch( pModel );
+ else if ( Ntl_ObjIsNode( pOld ) )
+ pNew = Ntl_ModelCreateNode( pModel, Ntl_ObjFaninNum(pOld) );
+ else if ( Ntl_ObjIsBox( pOld ) )
+ pNew = Ntl_ModelCreateBox( pModel, Ntl_ObjFaninNum(pOld), Ntl_ObjFanoutNum(pOld) );
+ return pNew;
+}
+
+/**Function*************************************************************
+
Synopsis [Allocates memory and copies the name into it.]
Description []