source: vis_dev/vis-2.3/models/debug/and2.ltl @ 40

Last change on this file since 40 was 39, checked in by cecile, 13 years ago

debug example ltl formula
File size: 10 bytes
Line 
1X(c = 1);
Note: See TracBrowser for help on using the repository browser.