Searched refs:get_representative (Results 1 – 8 of 8) sorted by relevance
292 equiv_class::get_representative () const in get_representative() function in ana::equiv_class765 svalue_id lhs = lhs_id.get_obj (*this).get_representative (); in add_constraint_internal()766 svalue_id rhs = rhs_id.get_obj (*this).get_representative (); in add_constraint_internal()1214 svalue_id rep1 = ec1->get_representative (); in equiv_class_cmp()1215 svalue_id rep2 = ec2->get_representative (); in equiv_class_cmp()1261 svalue_id rep = ec->get_representative (); in canonicalize()1273 svalue_id rep = ec->get_representative (); in canonicalize()
55 svalue_id get_representative () const;
3752 svalue_id lhs_sid = lhs.get_representative (); in dump_to_pp()3753 svalue_id rhs_sid = rhs.get_representative (); in dump_to_pp()
254 const svalue *get_representative () const;
1215 equiv_class::get_representative () const in get_representative() function in ana::equiv_class1986 const svalue *lhs = lhs_id.get_obj (*this).get_representative (); in add_constraint_internal()1987 const svalue *rhs = rhs_id.get_obj (*this).get_representative (); in add_constraint_internal()2781 const svalue *rep1 = ec1->get_representative (); in equiv_class_cmp()2782 const svalue *rep2 = ec2->get_representative (); in equiv_class_cmp()2832 const svalue *rep = ec->get_representative (); in canonicalize()2876 const svalue *rep = ec->get_representative (); in canonicalize()
4591 (equiv_class::get_representative): Likewise.4662 (equiv_class::get_representative): Likewise.
25497 (get_representative): Removed.
60 (get_representative): New function.