28 Dec
2017
28 Dec
'17
8:34 p.m.
Hi Fanda,
On Thu, Dec 28, 2017 at 7:43 PM, FrantiĊĦek Blahoudek <fandikb(a)gmail.com> wrote:
Hi,
I think there is a bug in the manual of ltlcross. There is the paragraph
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
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.