/// <summary> /// Returns true if there is no such value v2 in the /// given consraint that allow the constraint {v1,v2} to be true. /// </summary> /// <param name="constraint">Constraint to check</param> /// <param name="v1">Value to satisfy</param> /// <returns>True if nothing satisfies v1</returns> private bool NoValueSatisfies(Constraint constraint, object v1, IEnumerable values) { foreach (object v2 in values) { if (constraint.Satisfied(v1, v2)) { return(false); } } return(true); }
/// <summary> /// Returns true if there is no such value v2 in the /// given consraint that allow the constraint {v1,v2} to be true. /// </summary> /// <param name="constraint">Constraint to check</param> /// <param name="v1">Value to satisfy</param> /// <returns>True if nothing satisfies v1</returns> private bool NoValueSatisfies(Constraint constraint, object v1, IEnumerable values) { foreach (object v2 in values) { if (constraint.Satisfied(v1, v2)) { return false; } } return true; }