Describe the bug
When calling M3CParser#parse with a formula that uses a token as a symbol identifier, the parser fails with a net.automatalib.modelchecker.m3c.formula.parser.ParseException.
To Reproduce
Parsing any formula that uses a token as an ID, e.g.,
<E>true
<U>true
<W>true
<AF>true
[mu]true
etc.
Expected behavior
Formula should be parsed without any issues an actually interpret the token as a valid action label.
Desktop (please complete the following information):
Describe the bug When calling
M3CParser#parse
with a formula that uses a token as a symbol identifier, the parser fails with anet.automatalib.modelchecker.m3c.formula.parser.ParseException
.To Reproduce Parsing any formula that uses a token as an ID, e.g.,
<E>true
<U>true
<W>true
<AF>true
[mu]true
Expected behavior Formula should be parsed without any issues an actually interpret the token as a valid action label.
Desktop (please complete the following information):