This repository has been archived by the owner on Oct 13, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 6
timed temporal operators #2
Comments
Hey @yuanzhou-yzhou, I think it should (but I haven't tested the python binding for the interval argument yet). You would essentially do
Where Let me know if this works 😄 . P.S. I am currently working on a 0.2.0 version of the library with better internals and bindings, so I will try to make the support a little better there. |
Hi @anand-bala, thank you for your reply. I tried it, but unfortunately, the program is crashed with the error "Segmentation fault (core dumped)". |
Ah. I had an inkling this would happen. I've been a little busy lately, but I will try pushing a patch within a few days. |
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Does the project support timed temporal operators, such as Eventually0, 3, where a = stl.Predicate("a") > 0 ?
Thanks!
The text was updated successfully, but these errors were encountered: