Searched refs:m_euf (Results 1 – 2 of 2) sorted by relevance
77 bool m_euf { false }; member108 m_euf = sp.euf(); in updt_params()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()[all …]
107 m_euf = sp.euf(); in updt_params()190 if (m_drat && m_euf) in log_def()274 if (m_euf) { in convert_atom()308 if (!m_euf && pb.is_pb(t)) { in convert_app()360 if (m_euf) { in visit()582 if (!m_euf && is_xor(t)) in convert_iff()596 SASSERT(m_euf); in ensure_euf()618 SASSERT(m_euf); in convert_euf()637 SASSERT(!m_euf); in convert_ba()685 else if (!m_euf && pb.is_pb(t)) { in convert()[all …]