Lines Matching refs:constraints
28 ArrayRef<std::unique_ptr<Constraint>> constraints) in ConstraintVerifier() argument
29 : constraints(constraints), assigned() { in ConstraintVerifier()
30 assigned.resize(this->constraints.size()); in ConstraintVerifier()
37 assert(variable < constraints.size() && "invalid constraint variable"); in verify()
51 LogicalResult result = constraints[variable]->verify(emitError, attr, *this); in verify()
121 if (params.size() != constraints.size()) { in verify()
127 << constraints.size(); in verify()
133 if (failed(context.verify(emitError, params[i], constraints[i]))) in verify()
164 if (params.size() != constraints.size()) { in verify()
170 << constraints.size(); in verify()
176 if (failed(context.verify(emitError, params[i], constraints[i]))) in verify()
185 for (unsigned constr : constraints) { in verify()
201 for (unsigned constr : constraints) { in verify()