|
|||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||
java.lang.Object
|
+--Automat
|
+--TestAutomat
| Fields inherited from class Automat |
endzustaende,
startzustand,
uebersetzung,
zustaende |
| Constructor Summary | |
TestAutomat(AutomatenParameter parameter)
|
|
| Method Summary | |
void |
konfigurationsAenderung(Konfiguration konfiguration)
|
static void |
main(java.lang.String[] argv)
|
void |
simulationsZustandsAenderung(SimulationsZustand simzustand)
|
private static void |
Wait(int time)
|
| Methods inherited from class Automat |
addUebersetzung,
generiereGraph,
getFolgezustaende,
getStartzustand,
getZustand,
isEndzustand,
isStartzustand,
toString |
| Methods inherited from class java.lang.Object |
|
| Constructor Detail |
public TestAutomat(AutomatenParameter parameter)
| Method Detail |
private static void Wait(int time)
public static void main(java.lang.String[] argv)
public void konfigurationsAenderung(Konfiguration konfiguration)
public void simulationsZustandsAenderung(SimulationsZustand simzustand)
|
|||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||