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(a)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,