Hallo,
Darf man lokale Variablen der Prozesse zu global ändern um LTLs über diese zu bauen? Oder gibt es eine Möglichkeit in LTLs auf lokale Variablen zu zugreifen?
Lab2 Problem 2
Re: Lab2 Problem 2
Das ist nicht nötig. Es gibt eine Notation, mit der man lokale Variablen verwenden kann.
-
- Kernelcompilierer
- Beiträge: 430
- Registriert: 16. Okt 2009 09:48
Re: Lab2 Problem 2
Es gibt zwar eine Möglichkeit direkt auf lokale Variablen zuzugreifen, ihr dürft aber auch die Variablen global machen. (Ist nun explizit auf der Webseite des Labs angegeben.)
Re: Lab2 Problem 2
Hallo,
Gilt auch für Problem 2.3, dass man Variabeln für die dort geforderte LTL Eigenschaft von lokal auf global verändern darf?
Gilt auch für Problem 2.3, dass man Variabeln für die dort geforderte LTL Eigenschaft von lokal auf global verändern darf?
-
- Kernelcompilierer
- Beiträge: 430
- Registriert: 16. Okt 2009 09:48
Re: Lab2 Problem 2
Können wir auch Labels und boolsche Variablen anlegen um das Problem zu lösen? Ich bin mir da gerade nicht sicher, ob das die Aufgabenstellung ausschließt...
-
- Kernelcompilierer
- Beiträge: 430
- Registriert: 16. Okt 2009 09:48
Re: Lab2 Problem 2
Sollte nicht nötig sein.AnnaW hat geschrieben:Können wir auch Labels und boolsche Variablen anlegen um das Problem zu lösen? Ich bin mir da gerade nicht sicher, ob das die Aufgabenstellung ausschließt...