Searched refs:Z3Config (Results 1 – 1 of 1) sorted by relevance
28 class Z3Config { class34 Z3Config() : Config(Z3_mk_config()) { in Z3Config() function in __anon1f86e14b0111::Z3Config43 ~Z3Config() { Z3_del_config(Config); } in ~Z3Config()58 Context = Z3_mk_context_rc(Z3Config().Config); in Z3Context()