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 D | smt_context.h | 164 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 D | smt_context.cpp | 4572 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 D | smt_context.h | 165 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 D | smt_context.cpp | 4581 bool_var bv = m_expr2bool_var.get(v->get_id(), null_bool_var); in get_levels()
|