public bool LessThan(IterationIn <S> that)
{
if (this.t <= that.t)
{
return(this.s.LessThan(that.s));
}
else
{
return(false);
}
}
public int CompareTo(IterationIn <S> that)
{
var sCompare = this.s.CompareTo(that.s);
if (sCompare != 0)
{
return(sCompare);
}
else
{
return(this.t - that.t);
}
}
public IterationIn <S> Meet(IterationIn <S> that)
{
return(new IterationIn <S>(this.s.Meet(that.s), Math.Min(this.t, that.t)));
}
public IterationIn <S> Join(IterationIn <S> that)
{
return(new IterationIn <S>(this.s.Join(that.s), Math.Max(this.t, that.t)));
}
public bool Equals(IterationIn <S> that)
{
return(this.t == that.t && this.s.Equals(that.s));
}