Lines Matching refs:constraint
402 constraint::print (pretty_printer *pp, const constraint_manager &cm) const in print()
418 constraint::hash () const in hash()
430 constraint::operator== (const constraint &other) const in operator ==()
482 constraint *c; in constraint_manager()
500 constraint *c; in operator =()
516 constraint *c; in hash()
542 constraint *c; in operator ==()
568 constraint *c; in print()
599 constraint *c; in dump_to_pp()
704 constraint *c; in add_constraint()
755 m_constraints.safe_push (constraint (lhs_id, c_op, rhs_id)); in add_constraint_internal()
792 const constraint *other = &m_constraints[i]; in add_constraint_internal()
1029 constraint *c; in eval_condition()
1106 constraint *c = &m_constraints[con_idx]; in purge()
1134 constraint *c = &m_constraints[con_idx]; in purge()
1160 constraint *c = &m_constraints[con_idx]; in purge()
1180 constraint *c = &m_constraints[con_idx]; in purge()
1226 const constraint *c1 = (const constraint *)p1; in constraint_cmp()
1227 const constraint *c2 = (const constraint *)p2; in constraint_cmp()
1278 constraint *c; in canonicalize()
1430 constraint *c; in clean_merger_input()
1439 out->m_constraints.safe_push (constraint (new_lhs, in clean_merger_input()
1472 constraint *c; in for_each_fact()
1531 constraint *c; in validate()