28 Dec
2017
28 Dec
'17
7:43 p.m.
Hi,
I think there is a bug in the manual of ltlcross. There is the paragraph
If the translator produced a Streett or Rabin
automaton, these columns
contains the size of a TGBA (or BA) produced by ltlcross from that
Streett or Rabin automaton. Check in_states, in_edges, in_transitions,
and in_acc for statistics about the actual input automaton.
which seems no longer to be valid as I have no such columns in the output
files created by ltlcross v. 2.4.4.
Best,
Fanda Blahoudek