80         int iFanin = Wln_ObjFanin0( p, iNode );  in Wln_WriteTables()  local
81         Wln_WriteTableOne( pFile, Wln_ObjRange(p, iFanin), Wln_ObjRange(p, iNode), pTable, i );  in Wln_WriteTables()
142     int k, j, iObj, iFanin;  in Wln_WriteVerInt()  local
215             Wln_ObjForEachFanin( p, iObj, iFanin, k )  in Wln_WriteVerInt()
222             Wln_ObjForEachFanin( p, iObj, iFanin, k )  in Wln_WriteVerInt()
240             Wln_ObjForEachFanin( p, iObj, iFanin, k )  in Wln_WriteVerInt()
247             Wln_ObjForEachFanin( p, iObj, iFanin, k )  in Wln_WriteVerInt()
320                 Wln_ObjForEachFanin( p, iObj, iFanin, k )  in Wln_WriteVerInt()
321 …  fprintf( pFile, " .%s(%s),", k==0 ? "mem_in" : (k==1 ? "addr": "data"), Wln_ObjName(p, iFanin) );  in Wln_WriteVerInt()
335                 Wln_ObjForEachFanin( p, iObj, iFanin, k )  in Wln_WriteVerInt()
336 …pFile, " .%s(%s),", k==0 ? "mem_data_in" : (k==1 ? "addr_in": "data_in"), Wln_ObjName(p, iFanin) );  in Wln_WriteVerInt()
384                 Wln_ObjForEachFanin( p, iObj, iFanin, k )  in Wln_WriteVerInt()
463     iFanin = 0;  in Wln_WriteVerInt()
471         Wln_ObjForEachFanin( p, iObj, iFanin, k )  in Wln_WriteVerInt()
472             if ( iFanin ) fprintf( pFile, " .%s(%s),", pInNames[k], Wln_ObjName(p, iFanin) );  in Wln_WriteVerInt()