Differences

This shows you the differences between two versions of the page.

--- synthesis:ltlformat [2011/04/19 17:30]
jobstman created
+++ synthesis:ltlformat [2011/04/19 17:30]
jobstman
@@ Line 18: / Line 18: @@
 ===== Wring LTL-Syntax (used by Lily) =====
-FORMULA    ::= TERM {BINARYOP TERM}
+FORMULA    ::= TERM {BINARYOP TERM}\\
-TERM       ::= {ATOM | (FORMULA) | UNARYOP FORMULA | TEMPORALOP (FORMULA)}
+TERM       ::= {ATOM | (FORMULA) | UNARYOP FORMULA | TEMPORALOP (FORMULA)}\\
-BINARYOP   ::= * | + | ^ | -> | <-> | U | R | V
+BINARYOP   ::= * | + | ^ | -> | <-> | U | R | V\\
-UNARYOP    ::= !
+UNARYOP    ::= !\\
-TEMPORALOP ::= G | F | X
+TEMPORALOP ::= G | F | X\\
-ATOM       ::= VAR=VALUE
+ATOM       ::= VAR=VALUE\\
-VAR        ::= \w+
+VAR        ::= \w+\\
-VALUE      ::= 0 | 1
+VALUE      ::= 0 | 1\\
-Furthermore, Wring allows you to use the keyword "define" to avoid writing the same formula multiple times
+Furthermore, Wring allows you to use the keyword "define" to avoid writing the same formula multiple times.\\
 Extensions in Lily: