/// <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;
}