Searched refs:old_ftoken_index (Results 1 – 1 of 1) sorted by relevance
1536 ftokenID old_ftoken_index; in update_from_current_fsm_nodes_into_new_HMMs() local1658 old_ftoken_index = ftoken_index; in update_from_current_fsm_nodes_into_new_HMMs()1661 free_fsmnode_token(rec, old_ftoken_index); /*done with this node - free the token*/ in update_from_current_fsm_nodes_into_new_HMMs()