Searched refs:set_global_generation (Results 1 – 4 of 4) sorted by relevance
771 set_global_generation(); in rel_goal_case_split_queue()825 set_global_generation(); in init_search_eh()838 set_global_generation(); in reset()1123 void set_global_generation() in set_global_generation() function in __anonb5c5d2570111::rel_goal_case_split_queue1126 m_context.set_global_generation(start_gen); in set_global_generation()
1050 void set_global_generation(unsigned generation) { m_generation = generation; } in set_global_generation() function
771 set_global_generation(); in rel_goal_case_split_queue()825 set_global_generation(); in init_search_eh()838 set_global_generation(); in reset()1123 void set_global_generation() in set_global_generation() function in __anonc04a01120111::rel_goal_case_split_queue1126 m_context.set_global_generation(start_gen); in set_global_generation()
1043 void set_global_generation(unsigned generation) { m_generation = generation; } in set_global_generation() function