/** Entfernt die Auswahl, sodass keine Plätze mehr ausgewählt sind. */
public void entferneAuswahl() {
for (Platz platz : _ausgewaehltePlaetze) {
_buttons[platz.getReihe()][platz.getSitz()].setAusgewaehlt(false);
}
_ausgewaehltePlaetze.clear();
repaint();
}
/**
* Markiert den angegebenen Platz als frei.
*
* @param platz der Platz.
* @require platz != null
*/
public void markierePlatzAlsFrei(Platz platz) {
assert platz != null : "Vorbedingung verletzt: platz != null";
_buttons[platz.getReihe()][platz.getSitz()].setVerkauft(false);
repaint();
}
