Home
last modified time | relevance | path

Searched refs:set_global_generation (Results 1 – 4 of 4) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dsmt_case_split_queue.cpp771 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_queue
1126 m_context.set_global_generation(start_gen); in set_global_generation()
H A Dsmt_context.h1050 void set_global_generation(unsigned generation) { m_generation = generation; } in set_global_generation() function
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dsmt_case_split_queue.cpp771 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_queue
1126 m_context.set_global_generation(start_gen); in set_global_generation()
H A Dsmt_context.h1043 void set_global_generation(unsigned generation) { m_generation = generation; } in set_global_generation() function