|
|||||||
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 |