Lines Matching defs:Z3Config

29 class Z3Config {
35   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); }
41 }; // end class Z3Config
52   Z3Config Config;