float_decl_plugin::float_decl_plugin(): m_values(m_fm), m_value_table(mpf_hash_proc(m_values), mpf_eq_proc(m_values)) { m_real_sort = 0; m_int_sort = 0; m_bv_plugin = 0; }
fpa_decl_plugin::fpa_decl_plugin(): m_values(m_fm), m_value_table(mpf_hash_proc(m_values), mpf_eq_proc(m_values)) { m_real_sort = nullptr; m_int_sort = nullptr; m_bv_plugin = nullptr; }