public override View <WeightedElement <T>, double> RightView()
{
var internRView = _finger.RightView();
internRView.Rest = new PriorityQueue <T>(internRView.Rest);
return(internRView);
}
public override View <SizedElement <T>, int> RightView()
{
var v = _finger.RightView();
v.Rest = new FingerArray <T>(v.Rest);
return(v);
}
OrderedSequence <T, V> PushRight(OrderedElement <T, V> o)
{
var v = _finger.RightView();
if (v != null)
{
if (v.End.Measure().CompareTo(o.Measure()) > 0)
{
throw new Exception("OrderedSequence Error: PushRight() of an element less than the biggest seq el.");
}
}
return(new OrderedSequence <T, V>(_x, _finger.PushRight(o)));
}
