diff options
Diffstat (limited to 'src/aig/ntl/ntlTable.c')
| -rw-r--r-- | src/aig/ntl/ntlTable.c | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/aig/ntl/ntlTable.c b/src/aig/ntl/ntlTable.c index df982481..07794492 100644 --- a/src/aig/ntl/ntlTable.c +++ b/src/aig/ntl/ntlTable.c @@ -239,6 +239,26 @@ int Ntl_ModelSetNetDriver( Ntl_Obj_t * pObj, Ntl_Net_t * pNet ) return 1; } +/**Function************************************************************* + + Synopsis [Finds or creates the net.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +int Ntl_ModelCountNets( Ntl_Mod_t * p ) +{ + Ntl_Net_t * pNet; + int i, Counter = 0; + Ntl_ModelForEachNet( p, pNet, i ) + Counter++; + return Counter; +} + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// |