Searched refs:m_is_proxied (Results 1 – 4 of 4) sorted by relevance
53 bool m_is_proxied; variable82 m_is_proxied(false),
116 m_is_proxied = mk_proxies (m_assumptions, m_first_assumption); in check_sat_core()135 m_is_proxied = mk_proxies(m_assumptions, m_first_assumption); in check_sat_cc()225 if (m_is_proxied && is_proxy(rr, e)) { in undo_proxies_in_core()