Differences
This shows you the differences between two versions of the page.
| Next revision Both sides next revision | |||
|
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) ===== | ===== 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 | ||