Searched refs:nTruthVars (Results 1 – 1 of 1) sorted by relevance
425 Dss_Obj_t * Dss_ObjAllocNtk( Dss_Ntk_t * p, int Type, int nFans, int nTruthVars ) in Dss_ObjAllocNtk() argument436 p->nMem += pObj->nWords + (nTruthVars ? Abc_TtWordNum(nTruthVars) : 0); in Dss_ObjAllocNtk()760 Dss_Obj_t * Dss_ObjAlloc( Dss_Man_t * p, int Type, int nFans, int nTruthVars ) in Dss_ObjAlloc() argument762 int nWords = Dss_ObjWordNum(nFans) + (nTruthVars ? Abc_TtWordNum(nTruthVars) : 0); in Dss_ObjAlloc()