Searched refs:implied_by (Results 1 – 3 of 3) sorted by relevance
347 bool implied_by (const constraint &other,
1381 constraint::implied_by (const constraint &other, in implied_by() function in ana::constraint1971 (c->implied_by (new_c, *this))); in add_constraint_internal()
4597 (constraint::implied_by): New.4667 (constraint::bool implied_by): New decl.