search

VerifiableRobotics / LTLMoP

A toolkit for designing and implementing LTL-based task specifications.
http://ltlmop.github.io
GNU General Public License v3.0
56 stars 69 forks source link

NLTK parsing of empty/1-item groups gives bad LTL #45

Closed cfinucane closed 11 years ago

cfinucane commented 11 years ago

For example, try:

Group emptygroup is empty
Group oneitemgroup is radio

Visit each emptygroup
Always do any oneitemgroup

This returns:

[]((s.radio | )) & 
([]<>(empty) & ) & ...
cfinucane commented 11 years ago

Note that this is as of 1c0aef7defecdb25a3

cfinucane commented 11 years ago

Should be fixed as of 7623723a8285a44baba9