flloat icon indicating copy to clipboard operation
flloat copied to clipboard

Published 20 hours ago • verified publisher icon whitemech

Missing Last, End special symbols in LTLf.

Open cipollone opened this issue 4 years ago • 1 comments

Subject of the issue

Last, End are special symbols that should have a special meaning. After #18 , these are no longer ignored, but they are parsed correctly. However, the feature is still not supported. There is no LTLfLast class, and LTLfEnd must be tested. Writing last or end inside a LTLf parsed formula causes a NotImplementedError.

Your environment

  • OS: any
  • Python version: using Python 3.7.3, should apply to any.
  • Package Version: no branch support this feature up to now (4/3/20)

cipollone avatar Mar 04 '20 10:03 cipollone