((avltree)this.left).adjustheight();
this.adjustheight();
}
protected void rlrotation()
{
if( this.isempty() )
throw new exception("my:invalid operation!");
((avltree)this.right).llrotation();
this.rrrotation();