Searched refs:If_DsdManCollect_rec (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifDsd.c | 1321 void If_DsdManCollect_rec( If_DsdMan_t * p, int Id, Vec_Int_t * vNodes, Vec_Int_t * vFirsts, int * … in If_DsdManCollect_rec() function
1334 If_DsdManCollect_rec( p, Abc_Lit2Var(iFanin), vNodes, vFirsts, pnSupp ); in If_DsdManCollect_rec()
1343 If_DsdManCollect_rec( p, Id, vNodes, vFirsts, &nSupp ); in If_DsdManCollect()
|