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.c29
1 files changed, 28 insertions, 1 deletions
diff --git a/src/aig/ntl/ntlObj.c b/src/aig/ntl/ntlObj.c
index ad43623a..68b5cfe8 100644
--- a/src/aig/ntl/ntlObj.c
+++ b/src/aig/ntl/ntlObj.c
@@ -131,7 +131,10 @@ Ntl_Obj_t * Ntl_ModelCreateNode( Ntl_Mod_t * pModel, int nFanins )
p->Type = NTL_OBJ_NODE;
p->nFanins = nFanins;
p->nFanouts = 1;
- pModel->nObjs[NTL_OBJ_NODE]++;
+ if ( nFanins == 1 )
+ pModel->nObjs[NTL_OBJ_LUT1]++;
+ else
+ pModel->nObjs[NTL_OBJ_NODE]++;
return p;
}
@@ -188,6 +191,30 @@ Ntl_Obj_t * Ntl_ModelDupObj( Ntl_Mod_t * pModel, Ntl_Obj_t * pOld )
return pNew;
}
+
+/**Function*************************************************************
+
+ Synopsis [Creates the primary input with the given name.]
+
+ Description []
+
+ SideEffects []
+
+ SeeAlso []
+
+***********************************************************************/
+Ntl_Obj_t * Ntl_ModelCreatePiWithName( Ntl_Mod_t * pModel, char * pName )
+{
+ Ntl_Obj_t * pObj;
+ Ntl_Net_t * pNet;
+ pNet = Ntl_ModelFindOrCreateNet( pModel, pName );
+ if ( pNet->pDriver )
+ return NULL;
+ pObj = Ntl_ModelCreatePi( pModel );
+ Ntl_ModelSetNetDriver( pObj, pNet );
+ return pObj;
+}
+
/**Function*************************************************************
Synopsis [Allocates memory and copies the name into it.]