/** Realization of a dictionary by means of a red-black tree. */
public class RBTree extends BinarySearchTree implements Dictionary  {
  static boolean Red = true;
  static boolean Black = false;

  public RBTree(Comparator C)  {
    super(C);
    T = new RestructurableNodeBinaryTree();
  }