}
//调整高度
protected void adjustheight(){ this.height=math.max( ((avltree)this.left).height, ((avltree)this.right).height)+1; }
//平衡时的四种旋转方式
protected void llrotation()
{
if( this.isempty() )
throw new exception("my:invalid operation!");
avltree avlb=new avltree(this.key);
avlb.attachsubtree(1,(avltree)this[0][1]);