Searched refs:rejected_op_constraint (Results 1 – 3 of 3) sorted by relevance
1237 class rejected_op_constraint : public rejected_constraint1240 rejected_op_constraint (const region_model &model, in rejected_op_constraint() function
3315 *out = new rejected_op_constraint (*this, lhs, op, rhs); in add_constraint()4452 rejected_op_constraint::dump_to_pp (pretty_printer *pp) const in dump_to_pp()
1513 rejected_op_constraint.1517 (rejected_op_constraint::dump_to_pp): ...this.1527 (class rejected_op_constraint): ...this new concrete subclass.