Home
last modified time | relevance | path

Searched refs:m_expr2bool_var (Results 1 – 4 of 4) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dsmt_context.h164 svector<bool_var> m_expr2bool_var; // expr id -> bool_var variable
166 u_map<bool_var> m_expr2bool_var; variable
293 m_expr2bool_var.reset(); in reset_bool_vars()
297 return m_expr2bool_var[n->get_id()]; in get_bool_var()
305 return m_expr2bool_var[id]; in get_bool_var_of_id()
309 return m_expr2bool_var.get(id, null_bool_var); in get_bool_var_of_id_option()
315 m_expr2bool_var.setx(id, v, null_bool_var); in set_bool_var()
321 m_expr2bool_var.erase(id); in set_bool_var()
324 m_expr2bool_var.insert(id, v); in set_bool_var()
H A Dsmt_context.cpp4572 bool_var bv = m_expr2bool_var.get(v->get_id(), null_bool_var); in get_levels()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/
H A Dsmt_context.h165 svector<bool_var> m_expr2bool_var; // expr id -> bool_var variable
167 u_map<bool_var> m_expr2bool_var; variable
292 m_expr2bool_var.reset(); in reset_bool_vars()
296 return m_expr2bool_var[n->get_id()]; in get_bool_var()
304 return m_expr2bool_var[id]; in get_bool_var_of_id()
308 return m_expr2bool_var.get(id, null_bool_var); in get_bool_var_of_id_option()
314 m_expr2bool_var.setx(id, v, null_bool_var); in set_bool_var()
320 m_expr2bool_var.erase(id); in set_bool_var()
323 m_expr2bool_var.insert(id, v); in set_bool_var()
H A Dsmt_context.cpp4581 bool_var bv = m_expr2bool_var.get(v->get_id(), null_bool_var); in get_levels()