Class TestAutomat

java.lang.Object
  |
  +--Automat
        |
        +--TestAutomat

public class TestAutomat
extends Automat
implements KonfigurationsAenderung


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
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait
 

Constructor Detail

TestAutomat

public TestAutomat(AutomatenParameter parameter)
Method Detail

Wait

private static void Wait(int time)

main

public static void main(java.lang.String[] argv)

konfigurationsAenderung

public void konfigurationsAenderung(Konfiguration konfiguration)
Specified by:
konfigurationsAenderung in interface KonfigurationsAenderung

simulationsZustandsAenderung

public void simulationsZustandsAenderung(SimulationsZustand simzustand)
Specified by:
simulationsZustandsAenderung in interface KonfigurationsAenderung