PDA.java

package de.unisiegen.gtitool.core.machines.pda;


import de.unisiegen.gtitool.core.machines.Machine;


/**
 * The interface for push down automatons.
 * 
 * @author Christian Fehler
 * @version $Id$
 */
public interface PDA extends Machine
{
  // Do nothing
}