Context Navigation

dcnew.ltl @ 15

Last change on this file since 15 was 11, checked in by cecile, 13 years ago
Add vis
File size: 173 bytes

Rev	Line
[11]	1	!G!((int.state=go3)+(int.state=go4));
	2	G F(!(int.state=go3)*!(int.state=go4));
	3	G((interpretation = go) -> (train = absent));
	4	G((interpretation = go) -> !(train = present2));

Note: See TracBrowser for help on using the repository browser.