Lines Matching defs:add_constraint
642 constraint_manager::add_constraint (svalue_id lhs,
648 return add_constraint (lhs_ec_id, op,rhs_ec_id);
657 constraint_manager::add_constraint (equiv_class_id lhs_ec_id,
746 /* Subroutine of constraint_manager::add_constraint, for handling all
783 We call the checked add_constraint to avoid adding constraints
816 add_constraint (lhs_id, EQ_EXPR, rhs_id);
840 add_constraint
851 add_constraint (lhs_id, new_op, other->m_rhs);
872 add_constraint
883 add_constraint (other->m_lhs, new_op, rhs_id);
1337 bool sat = m_out->add_constraint (lhs, code, rhs);