/*
 * @(#)SplayTreeJPanel.java
 *
 * Last Modified: 9/15/01
 */

import javax.swing.*;
import javax.swing.event.*;
import java.awt.*;
import java.awt.image.*;
import java.awt.event.*;
import java.awt.geom.*;
import java.util.*;
import java.beans.*;

/** * This class provides the panel for a <code>SplayTree</code>.
	*
	*
 	* @author  Corey Sanders
	* @version 1.1 9/15/01
 	*/
public class SplayTreeJPanel extends BSTTreeJPanel {


    public SplayTreeJPanel() {
		super();
		setTree(new SplayTreeHead(BSTTree.ANIMATING_BST_TREE_TYPE));
    }


}