14 Mar
2016
14 Mar
'16
11:12 a.m.
Hi Matthias
On Tue, Sep 29, 2015 at 6:00 PM, Alexandre Duret-Lutz <adl(a)lrde.epita.fr> wrote:
On Tue, Sep 29, 2015 at 5:09 PM, Matthias Heizmann
That took 5 months to exit the todo list because it was a perfect task
to give to a student in order to discover the library. Thanks to
Amaury Fauchille, this is now part of Spot 1.99.9.
autfilt has --accept-word=WORD and --reject-word=WORD options
See the last two examples at the very bottom of
https://spot.lrde.epita.fr/autfilt.html
However Spot still supports only 2^AP-labeled automata, and I have
no short term plans to change that.
--
Alexandre Duret-Lutz
Spot provides quite a number of sophisticated
operations but I did not
find something "simple" like an acceptance check.
Have I overlooked it or is it not documented?
For my purpose it is sufficient if it works on the "usual" Büchi automata.
You did not overlook anything: Spot does not export such a feature.
I'll add that to the todo list.