21 Oct
2022
21 Oct
'22
5:37 p.m.
pierreganty(a)gmail.com writes:
I did not find how to get the number of states
(reachable or not) of
an automaton using autfilt (in particular the `--stats` option). The
option provided by `autfilt --stats` is for reachable states only.
Hi Pierre
Thank you for the suggestion. Here is what you can now do with the
latest development version [*].
Create a test automaton with an edge labeled by false in the middle:
$ ltl2tgba 'X[10]a' | sed '/State: 4/,/State: 5/s/\[t\]/[f]/' >
test.hoa
Display count of [r]eachable, [u]unreachable, and [a]ll states:
$ autfilt --stats='%[r]s + %[u]s = %[a]s' test.hoa
7 + 5 = 12
The same syntax will work for %e and %t as well.
Best regards,
Alexandre
[*] https://gitlab.lre.epita.fr/spot/spot/-/jobs/artifacts/next/browse?job=make…