28     Z3_goal Z3_API Z3_mk_goal(Z3_context c, bool models, bool unsat_cores, bool proofs) {  in Z3_mk_goal()
36         Z3_goal_ref * g = alloc(Z3_goal_ref, *mk_c(c));  in Z3_mk_goal()  local
44     void Z3_API Z3_goal_inc_ref(Z3_context c, Z3_goal g) {  in Z3_goal_inc_ref()
52     void Z3_API Z3_goal_dec_ref(Z3_context c, Z3_goal g) {  in Z3_goal_dec_ref()
60     Z3_goal_prec Z3_API Z3_goal_precision(Z3_context c, Z3_goal g) {  in Z3_goal_precision()
76     void Z3_API Z3_goal_assert(Z3_context c, Z3_goal g, Z3_ast a) {  in Z3_goal_assert()
85     bool Z3_API Z3_goal_inconsistent(Z3_context c, Z3_goal g) {  in Z3_goal_inconsistent()
93     unsigned Z3_API Z3_goal_depth(Z3_context c, Z3_goal g) {  in Z3_goal_depth()
101     void Z3_API Z3_goal_reset(Z3_context c, Z3_goal g) {  in Z3_goal_reset()
109     unsigned Z3_API Z3_goal_size(Z3_context c, Z3_goal g) {  in Z3_goal_size()
117     Z3_ast Z3_API Z3_goal_formula(Z3_context c, Z3_goal g, unsigned idx) {  in Z3_goal_formula()
131     unsigned Z3_API Z3_goal_num_exprs(Z3_context c, Z3_goal g) {  in Z3_goal_num_exprs()
139     bool Z3_API Z3_goal_is_decided_sat(Z3_context c, Z3_goal g) {  in Z3_goal_is_decided_sat()
147     bool Z3_API Z3_goal_is_decided_unsat(Z3_context c, Z3_goal g) {  in Z3_goal_is_decided_unsat()
155     Z3_model Z3_API Z3_goal_convert_model(Z3_context c, Z3_goal g, Z3_model m) {  in Z3_goal_convert_model()
169     Z3_goal Z3_API Z3_goal_translate(Z3_context c, Z3_goal g, Z3_context target) {  in Z3_goal_translate()
182     Z3_string Z3_API Z3_goal_to_string(Z3_context c, Z3_goal g) {  in Z3_goal_to_string()
196     Z3_string Z3_API Z3_goal_to_dimacs_string(Z3_context c, Z3_goal g, bool include_names) {  in Z3_goal_to_dimacs_string()