(PHP 3>= 3.0.3, PHP 4 )
int ifx_num_rows (int result_id)
int ifx_num_rows
ifx_num_rows() compte le nombre de ligne déjà lues dans le résultat result_id après ifx_query() ou ifx_do().