Searched refs:num_deleted (Results 1 – 1 of 1) sorted by relevance
444 nodeID num_deleted; in prune_new_tokens() local451 num_deleted = 0; in prune_new_tokens()479 num_deleted++; in prune_new_tokens()487 return num_deleted; in prune_new_tokens()511 int num_deleted; in reprune_new_states() local541 num_deleted = prune_new_tokens(rec, current_best_cost + current_prune_delta); in reprune_new_states()552 nodeID num_deleted; in prune_fsmnode_tokens() local558 num_deleted = 0; in prune_fsmnode_tokens()573 num_deleted++; in prune_fsmnode_tokens()