Searched refs:Z3_set_error (Results 1 – 5 of 5) sorted by relevance
439 void Z3_API Z3_set_error(Z3_context c, Z3_error_code e) { in Z3_set_error() function
5749 void Z3_API Z3_set_error(Z3_context c, Z3_error_code e);
453 void Z3_API Z3_set_error(Z3_context c, Z3_error_code e) { in Z3_set_error() function
5627 void Z3_API Z3_set_error(Z3_context c, Z3_error_code e);
5526 void Z3_API Z3_set_error(Z3_context c, Z3_error_code e);