Searched refs:estimate_one_automaton_bound (Results 1 – 3 of 3) sorted by relevance
6532 estimate_one_automaton_bound (void) in estimate_one_automaton_bound() function6587 estimation_bound = estimate_one_automaton_bound (); in units_to_automata_heuristic_distr()
36729 (estimate_one_automaton_bound): Take `min_occ_cycle_num' into
15296 estimate_one_automaton_bound, compare_max_occ_cycle_nums,