Lines Matching refs:constraint
50 fn from(constraint: ResolvedValueSequenceConstraint<T>) -> Self { in from()
51 Self::Constraint(constraint) in from()
83 Self::Constraint(constraint) => constraint, in into_resolved()
93 Self::Constraint(constraint) => constraint.is_empty(), in is_empty()
249 for (constraint, expected) in scenarios { in to_string()
250 let actual = constraint.to_string(); in to_string()
276 for (constraint, expected) in scenarios { in is_required()
277 let actual = constraint.is_required(); in is_required()
288 let constraint = ValueSequenceConstraint::Bare(vec![true]); in bare() localVariable
290 assert!(!constraint.is_empty()); in bare()
294 fn constraint() { in constraint() function
313 for (constraint, expected) in scenarios { in constraint()
314 let constraint = ValueSequenceConstraint::<bool>::Constraint(constraint); in constraint() localVariable
316 let actual = constraint.is_empty(); in constraint()
333 for constraint in constraints { in resolve_to_advanced()
335 constraint.to_resolved(strategy), in resolve_to_advanced()
336 constraint.into_resolved(strategy), in resolve_to_advanced()
357 for constraint in constraints { in resolve_to_basic()
359 constraint.to_resolved(strategy), in resolve_to_basic()
360 constraint.into_resolved(strategy), in resolve_to_basic()