Searched defs:Z3_apply_result_get_num_subgoals (Results 1 – 2 of 2) sorted by relevance
501 unsigned Z3_API Z3_apply_result_get_num_subgoals(Z3_context c, Z3_apply_result r) { in Z3_apply_result_get_num_subgoals() function
498 unsigned Z3_API Z3_apply_result_get_num_subgoals(Z3_context c, Z3_apply_result r) { in Z3_apply_result_get_num_subgoals() function