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))); }