|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.bsvrz.vew.sim.sim.simulation.EndlicherAutomat
public class EndlicherAutomat
Implementierung eines endlichen Automaten
Field Summary | |
---|---|
protected int |
_anzahlZustaende
Anzahl der Zustände dieses endlichen Automaten |
protected Zustand |
_momentZustand
Momentaner Zustand dieses endlichen Automaten |
protected Zustand[] |
_zustaende
In diesem Feld werden alle mögliche Zustände dieses endlichen Automaten gespeichert |
Constructor Summary | |
---|---|
EndlicherAutomat()
Erzeugt einen neuen endlichen Auotmaten |
|
EndlicherAutomat(int maxZustaende)
Erzeugt einen neuen endlichen Auotmaten mit einer maximalen Anzahl von Zuständen |
|
EndlicherAutomat(int maxZustaende,
Zustand initialZustand)
Erzeugt einen neuen endlichen Auotmaten mit einer maximalen Anzahl von Zuständen und einem initialen Zustand |
|
EndlicherAutomat(Zustand initialZustand)
Erzeugt einen neuen endlichen Auotmaten mit einem initialen Zustand |
Method Summary | |
---|---|
int |
berechneUebergang(Zustand start,
Zustand ende)
Berechnet für gegebenen Anfang-und Endzustand die Id des Übergangs. |
int |
getAnzahlZustaende()
Bestimme die Anzahl der Zustände dieses endlichen Automaten |
Zustand |
getMomentZustand()
Bestimmt den momentanen Zustand dieses endlichen Automaten |
Zustand |
getZustand(int i)
Bestimme den gegebenen Zustand dieses endlichen Automaten |
void |
hinzufuegenUebergang(Zustand start,
int uebergang,
Zustand end)
Fügt diesem endlichen Automaten einen neuen Zustands-Übergang hinzu. |
int |
hinzufuegenZustaende(Zustand[] zustaende)
Fügt diesem endlichen Automaten ein Feld von Zuständen hinzu |
int |
hinzufuegenZustand(Zustand zustand)
Fügt diesem endlichen Automaten einen neuen Zustand hinzu. |
void |
loescheAlleZustaende()
Lösche alle Zustände dieses endlichen Automaten |
Zustand |
realisiereUebergang(int uebergang)
Realisiert den gegebenen Übergang für diesen endlichen Automaten. |
void |
setZustand(Zustand zustand)
Setze den momentanen Zustand dieses endlichen Automaten |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected int _anzahlZustaende
protected Zustand _momentZustand
protected Zustand[] _zustaende
Constructor Detail |
---|
public EndlicherAutomat()
public EndlicherAutomat(int maxZustaende)
maxZustaende
- maximale Anzahl Zuständepublic EndlicherAutomat(Zustand initialZustand)
initialZustand
- der initiale Zustandpublic EndlicherAutomat(int maxZustaende, Zustand initialZustand)
maxZustaende
- maximale Anzahl ZuständeinitialZustand
- der initiale ZustandMethod Detail |
---|
public Zustand getMomentZustand()
public int hinzufuegenZustand(Zustand zustand)
zustand
- der neue Zustand
public void setZustand(Zustand zustand)
zustand
- der zu setzende momentane Zustandpublic int hinzufuegenZustaende(Zustand[] zustaende)
zustaende
- das hinzuzufügende Feld von Zuständen
public void loescheAlleZustaende()
public void hinzufuegenUebergang(Zustand start, int uebergang, Zustand end)
start
- der Anfangszustand des neuen Übergangsuebergang
- die Id des neuen Übergangsend
- der Endzustand des neuen Übergangspublic Zustand realisiereUebergang(int uebergang) throws java.lang.IllegalStateException
uebergang
- Id des Übergangs, der realisiert werden soll
java.lang.IllegalStateException
- falls der gegebene Übergang für diesen
endlchen Automaten nicht definiert istpublic int berechneUebergang(Zustand start, Zustand ende) throws java.lang.UnsupportedOperationException
start
- der Anfangs-Zustand des zu berechnenden Übergangsende
- der End-Zustand des zu berechnenden Übergangs
java.lang.UnsupportedOperationException
- falls ein Übergang von start
zu ende für diese Instanz nicht definiert istpublic Zustand getZustand(int i)
i
- Index des zurückzugebenden Zustands
public int getAnzahlZustaende()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |