import java.util.*;

public class Leaf extends Tree {
	int value;

	public Leaf(int v){
		value=v;
		}

	public void enumerate(Vector v){
		v.addElement(this);
		}
	}