Searched refs:Z3Config (Results 1 – 1 of 1) sorted by relevance
29 class Z3Config { class35 Z3Config() = default;36 Z3Config(const Z3Config &) = delete;37 Z3Config(Z3Config &&) = default;38 Z3Config &operator=(Z3Config &) = delete;39 Z3Config &operator=(Z3Config &&) = default;40 ~Z3Config() { Z3_del_config(Config); } in ~Z3Config()52 Z3Config Config;