Searched defs:Z3_del_context (Results 1 – 2 of 2) sorted by relevance
346 void Z3_API Z3_del_context(Z3_context c) { in Z3_del_context() function
360 void Z3_API Z3_del_context(Z3_context c) { in Z3_del_context() function