/// <inheritdoc/>
protected override bool ApplyOperands(T value, IConstraint <T> left, IConstraint <T> right)
{
return(left.Apply(value) ^ right.Apply(value));
}
public bool Apply(T value) => !inner.Apply(value);
public static IConstraint <ValueTerm> Apply(this IConstraint <FunctionTerm> constraint, params ValueTerm[] parameters)
{
return(constraint.Apply((IEnumerable <ValueTerm>)parameters));
}
