Searched refs:lhs_ec_obj (Results 1 – 7 of 7) sorted by relevance
680 equiv_class &lhs_ec_obj = lhs_ec_id.get_obj (*this); in add_constraint() local686 lhs_ec_obj.add (*sid, *this); in add_constraint()690 lhs_ec_obj.m_constant = rhs_ec_obj.m_constant; in add_constraint()691 lhs_ec_obj.m_cst_sid = rhs_ec_obj.m_cst_sid; in add_constraint()
927 equiv_class &lhs_ec_obj = lhs_ec_id.get_obj (*this); in add_unknown_constraint() local933 lhs_ec_obj.add (sval); in add_unknown_constraint()937 lhs_ec_obj.m_constant = rhs_ec_obj.m_constant; in add_unknown_constraint()938 lhs_ec_obj.m_cst_sval = rhs_ec_obj.m_cst_sval; in add_unknown_constraint()
1742 equiv_class &lhs_ec_obj = lhs_ec_id.get_obj (*this); in add_unknown_constraint() local1748 lhs_ec_obj.add (sval); in add_unknown_constraint()1752 lhs_ec_obj.m_constant = rhs_ec_obj.m_constant; in add_unknown_constraint()1753 lhs_ec_obj.m_cst_sval = rhs_ec_obj.m_cst_sval; in add_unknown_constraint()