/************************************************************/
/* PN_Knoten.java Version 2003/03/28                        */
/*                                                          */
/* Tom Fellmann, Christoph Weißenborn                       */
/*                                                          */
/************************************************************/

import java.awt.*;

public interface PN_Knoten {
	public int getID();
	public boolean gleich(PN_Knoten Knoten);
	public boolean isKlasse(String str);
	public Point getMittelPkt();
}