public void CollapseDisjunctEquality()
{
var set1 = ParseSimpleSetFromOutput("(SET[[0.1]: 18][[0.2]: 19][[0.3]: 20][[0.4]: 21][[0.5]: 22][[0.6]: 23][[0.7]: 24][[0.8]: 25][[0.9]: 26])");
var set2 = ParseSimpleSetFromOutput("(SET[[1.1]: 1][[1.2]: 2][[1.3]: 3][[1.4]: 4][[1.5]: 5][[1.6]: 6][[1.7]: 7][[1.8]: 8][[1.9]: 9])");
var expr = new Eql(set1, set2);
var collapsed = expr.Apply();
Assert.That(collapsed.IsEquivalentTo(new SetWithConstant(0), false), "sets did not collapse to 0");
Assert.That(collapsed.IsEquivalentTo(new SetWithConstant(0), true), "constraint did not collapse to None");
}
public static IEqualityComparer <double> FEqlAbsComparer(double tol)
{
return(Eql <double> .From((l, r) => FEqlAbsolute(l, r, tol)));
}
public static IEqualityComparer <double> FEqlRelComparer(double tol)
{
return(Eql <double> .From((l, r) => FEqlRelative(l, r, tol)));
}
public static IEqualityComparer <float> FEqlAbsComparer(float tol)
{
return(Eql <float> .From((l, r) => FEqlAbsolute(l, r, tol)));
}
public static IEqualityComparer <float> FEqlRelComparer(float tol)
{
return(Eql <float> .From((l, r) => FEqlRelative(l, r, tol)));
}
public AsEqualityComparer(Eql <A> eql)
{
this.eql = eql;
}
