public override PUC.Dependency.Comparison CompareGreaterThan(GreaterThanDependency d)
{
if (_isRef || d.IsReference)
{
return(Comparison.Disjoint);
}
if (State.Type.ValueSpace.CompareValues(d.Value, this.Value) == 0)
{
return(Comparison.Same);
}
return(Comparison.Overlap);
}
public abstract Dependency.Comparison CompareGreaterThan(GreaterThanDependency d);
public override PUC.Dependency.Comparison CompareGreaterThan(GreaterThanDependency d)
{
return(d.CompareLessThan(this));
}
public override PUC.Dependency.Comparison CompareGreaterThan(GreaterThanDependency d)
{
return(Dependency.Comparison.Disjoint);
}
public override PUC.Dependency.Comparison CompareGreaterThan(GreaterThanDependency d)
{
System.Diagnostics.Debug.Assert(d.State == State);
return(Dependency.Comparison.Overlap);
}