Searched defs:smt_params (Results 1 – 4 of 4) sorted by relevance
88 bool m_check_proof;95 double m_inv_decay;104 unsigned m_cube_depth;105 unsigned m_threads;109 unsigned m_tick;112 bool m_ematching;113 bool m_induction;177 symbol m_logic;193 bool m_model;240 smt_params(params_ref const & p = params_ref()): argument[all …]
63 vector<smt_params> smt_params; in operator ()() local