import java.util.*;

/**
 * Reduction vector
 * 
 * @author Nobo Komagata
 * @version 5/30/03
 */
public class Reductions extends Vector
{
    /**
     * Find the vector length
     * 
     * @param       None
     * @return      Vector length 
     */
    public int length() {
        return super.size();
    }
    
    /**
     * Find the Reduction instance at the specified position
     * 
     * @param       Position (0-indexed)
     * @return      Reduction instance
     */
    public Reduction at(int i) {
        return (Reduction) super.elementAt(i);
    }
    
    /**
     * Add a Reduction instance at the end of the vector
     * 
     * @param       Reduction instance
     * @return      void 
     */
    public void add(Reduction r) {
        super.addElement(r);
    }
}