2022-03-01T18:05:08ZFluxBBhttp://spinroot.com/fluxbb/viewtopic.php?id=1678the temporal operators have lower precedence than the arithmetic operators, but higher than logical or or and X is highest, then U then [] and <> you can see this in the grammar description in spin.y (sorry for the slow response!)]]>http://spinroot.com/fluxbb/profile.php?id=22022-03-01T18:05:08Zhttp://spinroot.com/fluxbb/viewtopic.php?pid=3671#p3671I'm working on a PROMELA parser. I have a simple question: Do LTL operators take precedence over Boolean connectives, or is it the other way around? What about the precedence between LTL operators? I read these manual pages, but they don't seem to give an answer: https://spinroot.com/spin/Man/operators.html https://spinroot.com/spin/Man/ltl.html]]>http://spinroot.com/fluxbb/profile.php?id=102232021-08-03T09:06:41Zhttp://spinroot.com/fluxbb/viewtopic.php?pid=3654#p3654