3467   m_constraints = new impl_constraint_manager (this);  in region_model()
3489   m_constraints = other.m_constraints->clone (this);  in region_model()
3496   delete m_constraints;  in ~region_model()
3517   delete m_constraints;  in operator =()
3530   m_constraints = other.m_constraints->clone (this);  in operator =()
3553   if (*m_constraints != *other.m_constraints)  in operator ==()
3588   result ^= m_constraints->hash ();  in hash()
3622   m_constraints->print (pp);  in print()
3722       FOR_EACH_VEC_ELT (m_constraints->m_equiv_classes, i, ec)  in dump_to_pp()
3748       FOR_EACH_VEC_ELT (m_constraints->m_constraints, i, c)  in dump_to_pp()
3750 	  const equiv_class &lhs = c->m_lhs.get_obj (*m_constraints);  in dump_to_pp()
3751 	  const equiv_class &rhs = c->m_rhs.get_obj (*m_constraints);  in dump_to_pp()
3785   m_constraints->dump_to_pp (pp);  in dump_to_pp()
3929   m_constraints->validate ();  in validate()
4024   m_constraints->canonicalize (get_num_svalues ());  in canonicalize()
4790 	  m_constraints->add_constraint (fake_retval_sid, NE_EXPR, zero_sid);  in on_longjmp()
5300 	  equiv_class &ec = m_constraints->get_equiv_class (sid);  in maybe_cast_1()
5315 	  m_constraints->add_constraint (sid, EQ_EXPR, new_ptr_sid);  in maybe_cast_1()
5511   return m_constraints->eval_condition (lhs_sid, op, rhs_sid);  in eval_condition()
5639   m_constraints->add_constraint (lhs_sid, op, rhs_sid);  in add_constraint()
6541   m_constraints->purge (criterion, stats);  in purge_unused_svalues()
6546     FOR_EACH_VEC_ELT (m_constraints->m_equiv_classes, i, ec)  in purge_unused_svalues()
6637   m_constraints->remap_svalue_ids (map);  in remap_svalue_ids()
6830   constraint_manager::merge (*m_constraints,  in can_merge_with_p()
6831 			     *other_model.m_constraints,  in can_merge_with_p()
6832 			     out_model->m_constraints,  in can_merge_with_p()
7967   ASSERT_EQ (model.get_constraints ()->m_constraints.length (), 2);  in test_purge_unused_svalues()