Searched refs:minimal_count (Results 1 – 1 of 1) sorted by relevance
156 let minimal_count = new_id.to_usize(); in run() localVariable176 self.dfa.truncate_states(minimal_count); in run()