Searched defs:best_token_for_node (Results 1 – 1 of 1) sorted by relevance
216 ftokenID *best_token_for_node; /* non-owning ptr, see multi_srec below */ member305 ftokenID *best_token_for_node; /* array (size max_fsm_nodes) best path into member