Searched defs:null_cnt (Results 1 – 3 of 3) sorted by relevance
1587 int null_cnt = 0; in sift_states_backward() local2868 Idx subexp_num, backup_cur_idx, str_idx, null_cnt; in check_arrival() local
1575 int null_cnt = 0; in sift_states_backward() local2858 Idx subexp_num, backup_cur_idx, str_idx, null_cnt; in check_arrival() local
1559 int null_cnt = 0; in sift_states_backward() local2833 Idx subexp_num, backup_cur_idx, str_idx, null_cnt; in check_arrival() local