Searched refs:m_last_assertions_valid (Results 1 – 2 of 2) sorted by relevance
41 unsigned m_last_assertions_valid; member in __anonc3a40cc00111::tactic2solver107 m_last_assertions_valid(false) { in tactic2solver()132 m_last_assertions_valid = false; in assert_expr_core()139 m_last_assertions_valid = false; in push_core()146 m_last_assertions_valid = false; in pop_core()159 m_last_assertions_valid = false; in check_sat_core2()197 m_last_assertions_valid = true; in check_sat_core2()289 return m_last_assertions_valid ? m_last_assertions.size() : m_assertions.size(); in get_num_assertions()293 return m_last_assertions_valid ? m_last_assertions.get(idx) : m_assertions.get(idx); in get_assertion()
41 unsigned m_last_assertions_valid; member in __anonbe2803850111::tactic2solver111 m_last_assertions_valid(false) { in tactic2solver()136 m_last_assertions_valid = false; in assert_expr_core()143 m_last_assertions_valid = false; in push_core()150 m_last_assertions_valid = false; in pop_core()163 m_last_assertions_valid = false; in check_sat_core2()201 m_last_assertions_valid = true; in check_sat_core2()293 return m_last_assertions_valid ? m_last_assertions.size() : m_assertions.size(); in get_num_assertions()297 return m_last_assertions_valid ? m_last_assertions.get(idx) : m_assertions.get(idx); in get_assertion()