internal int del_min()
{
if (isEmpty())
{
throw new InvalidOperationException("deleting from an empty queue");
}
RBNode node = tree.treeMinimum();
tree.deleteTree(node);
return((node.item as PQMember).o);
}
public bool MoveNext()
{
if (tree.isEmpty())
{
return(false);
}
if (initialState == true)
{
initialState = false;
c = tree.treeMinimum();
}
else
{
c = tree.treeSuccessor(c);
}
return(c != tree.NIL);
}
