|
Class Summary |
| Simulator |
class Simulator zum schrittweisen Simulieren von Mist-Programmen. |
| SimulatorBoolEvaluator |
Klasse zum Auswerten von booleschen Expressions in einem Prozess
Wir haben keine Ordnung auf den booleschen Constanten definiert, d.h. |
| SimulatorBoolValue |
Klasse zur Darstellung einer booleschen Variablen in dem Simulator |
| SimulatorChannel |
Klasse zur Simulation von Channels |
| SimulatorDebug |
Klasse zum Speichern und Ausgeben von Debugmeldungen
eines Simulator-Schrittes |
| SimulatorDebugMsg |
Klasse zur Modellierung einer Debugmeldung |
| SimulatorExprEvaluator |
Klasse zum Auswerten von Expressions in einem Prozess, dient der Verzweigung
zu den typspezifischen Expressionevaluatoren |
| SimulatorIntEvaluator |
Klasse zum Auswerten von Integer-Expressions in einem Prozess |
| SimulatorIntValue |
Klasse zur Darstellung einer Integer Variablen in dem Simulator |
| SimulatorPermTransitions |
Klasse zum Abpruefen, ob eine Transition feuern kann |
| SimulatorProcess |
Klasse zum Darstellen eines Prozesszustandes |
| SimulatorProgram |
class SimulatorProgramState - Klasse die den Zustand eines im Ablauf befindlichen
Mist-Programms modelliert. |
| SimulatorValue |
Abstrakte Klasse zum Darstellen des Wertes einer Prozessvariablen |
| SimulatorVariable |
Klasse zum Darstellen von einer Prozessvariablen |
| StrSelWin |
|