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
Hi Fanda, On Thu, Dec 28, 2017 at 7:43 PM, František Blahoudek <fandikb@gmail.com> wrote:
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.
Thank you for the report. Yes, this paragraph is obsolete and should have been removed 2.5 years ago when version 1.99.3 introduced support for arbitrary acceptance conditions in ltlcross. Best regards -- Alexandre Duret-Lutz
participants (2)
-
Alexandre Duret-Lutz -
František Blahoudek