Lines Matching refs:m_euf
77 bool m_euf { false }; member
108 m_euf = sp.euf(); in updt_params()
122 return m_euf && ensure_euf()->relevancy_enabled(); in relevancy_enabled()
195 if (m_drat && m_euf) in log_def()
302 else if (m_euf) { in convert_atom()
337 if (!m_euf && pb.is_pb(t)) { in convert_app()
389 if (m_euf) { in visit()
648 SASSERT(m_euf); in ensure_euf()
670 SASSERT(m_euf); in convert_euf()
689 SASSERT(!m_euf); in convert_ba()
740 else if (!m_euf && pb.is_pb(t)) { in convert()
865 else if (!m_euf && to_app(t)->get_family_id() == pb.get_family_id()) in is_bool_op()
1028 return m_imp && m_imp->m_euf; in has_euf()