Searched defs:Z3_goal_translate (Results 1 – 2 of 2) sorted by relevance
170 Z3_goal Z3_API Z3_goal_translate(Z3_context c, Z3_goal g, Z3_context target) { in Z3_goal_translate() function
169 Z3_goal Z3_API Z3_goal_translate(Z3_context c, Z3_goal g, Z3_context target) { in Z3_goal_translate() function