8 Jun
2015
8 Jun
'15
7:37 p.m.
Hi Vince,
On Mon, Jun 8, 2015 at 7:05 PM, Molnár Vince molnarv@mit.bme.hu wrote:
I am writing to you to ask what the operator precedence is that you use for parsing LTL formulae.
The precedence of operators is documented in section 3.1 of the file doc/tl/tl.pdf that you can find in the source tarball.
Best regards,