public class EndlicherAutomat
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected int |
anzahlZustaende
Die Anzahl der Zustaende in der Zustandsmaschine
|
protected Zustand[] |
eaZustaende
Das Feld der Zustaende
|
protected Zustand |
momentZustand
Der momentane Zustand
|
Constructor and Description |
---|
EndlicherAutomat()
Konstruktor
|
EndlicherAutomat(int maxZustaende)
Konstruktor, mit max.
|
EndlicherAutomat(int maxZustaende,
Zustand initialZustand)
Konstruktor, mit max.
|
EndlicherAutomat(Zustand initialZustand)
Konstruktor, mit initialem Zustand
|
Modifier and Type | Method and Description |
---|---|
void |
addUebergang(Zustand start,
int uebergang,
Zustand end)
Fügt einen Zustand zur Zustandsmaschine hinzu
|
int |
addZustaende(Zustand[] zustaende)
Fügt ein Feld von Zustaenden hinzu
|
int |
addZustand(Zustand zustand)
Fügt einen Zustand hinzu
|
int |
getAnzahlZustaende() |
Zustand |
getMomentZustand()
Gibt den momentanen Zustandder Zustandsmaschine zurück
|
Zustand |
getZustand(int i)
Holt den aktuellen Zustand
|
void |
removeAlleZustaende()
Entfernt alle Zustaende
|
void |
setAnzahlZustaende(int anzahlZustaende) |
void |
setZustand(Zustand zustand)
Setzt den Zustand der Zustandsmaschine
|
Zustand |
uebergang(int uebergang)
Realisert den Zustandsuebergang von einem Zustand zum anderen mit anhand des
uebergebenen Index.
|
protected int anzahlZustaende
protected Zustand momentZustand
protected Zustand[] eaZustaende
public EndlicherAutomat()
public EndlicherAutomat(int maxZustaende)
maxZustaende
- Anzahl der Erlaubten Zuständepublic EndlicherAutomat(Zustand initialZustand)
initialZustand
- Anfangszustand der Zustandsmaschinepublic EndlicherAutomat(int maxZustaende, Zustand initialZustand)
maxZustaende
- Anzahl der Erlaubten ZuständeinitialZustand
- Anfangszustand der Zustandsmaschinepublic Zustand getMomentZustand()
public int addZustand(Zustand zustand)
zustand
- der Zustand der hinzugefuegt wirdpublic void setZustand(Zustand zustand)
zustand
- der Zustandpublic int addZustaende(Zustand[] zustaende)
zustaende
- Feld der Zustaendepublic void removeAlleZustaende()
public void addUebergang(Zustand start, int uebergang, Zustand end)
start
- der Anfangszustanduebergang
- der Index des Übergangsend
- der Endzustandpublic Zustand uebergang(int uebergang)
uebergang
- der Index des Uebergangspublic Zustand getZustand(int i)
i
- der Index des Zustands der geholt werden sollpublic int getAnzahlZustaende()
public void setAnzahlZustaende(int anzahlZustaende)