public Tree RotateRight()
{
Tree tree = _preceding;
_preceding = ((Tree)tree._subsequent);
CalculateSize();
tree._subsequent = this;
if (((Tree)tree._preceding) == null)
{
tree.SetSizeOwnPlus(this);
}
else
{
tree.SetSizeOwnPlus(this, ((Tree)tree._preceding));
}
return(tree);
}