Dear Madam, dear Sir,
I am just starting using spot (with python) for a university project (ULB, Brussels) and my team mates and I have spent quite some time just figuring out how to use accepting states in a Buchi automaton.
We found it inconvenient and more importantly very difficult to find in the documentation (it was located in the far end of the doc...) to use `automaton.prop_state_acc(True)` in order to set states accepting instead of edges.
It could be interesting to specify how to do this in a clear way, why not in the code examples? A good place for this would be this page https://spot.lrde.epita.fr/tut22.html for instance.
Yours sincerely,
Yannick Molinghen
On Sat, Mar 30, 2019 at 9:13 AM Yannick Molinghen yamoling@ulb.ac.be wrote:
It could be interesting to specify how to do this in a clear way, why not in the code examples? A good place for this would be this page for instance.
Dear Yannick,
Thank you for the feedback. This page will be updated with the next release.
-
Alexandre Duret-Lutz -
Yannick Molinghen