Searched defs:other_rhs_const (Results 1 – 2 of 2) sorted by relevance
803 tree other_rhs_const in add_constraint_internal() local
1386 if (tree other_rhs_const = other.m_rhs.get_obj (cm).get_any_constant ()) in implied_by() local2024 tree other_rhs_const in add_constraint_internal() local