import java.util.*;

/**
 * Stack of Configuration
 * 
 * @author Nobo Komagata 
 * @version 5/30/03
 */
public class ConfigStack extends Stack
{
    /**
     * Check the emptiness of the stack
     * 
     * @param       None
     * @return      Emptiness of the stack 
     */
    public boolean emptyS() {
        return super.empty();
    }
    
    /**
     * Push a Configuration on to the stack
     * 
     * @param       Configuration
     * @return      void 
     */
    public void pushS(Configuration c) {
        super.push(c);
    }
    
    /**
     * Pop the top Configuration from the stack
     * 
     * @param       None
     * @return      Configuration 
     */
    public Configuration popS() {
        return (Configuration) super.pop();
    }
}