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
28 Dec
28 Dec
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.
2596
days inactive
2596
days old
1 comments
2 participants
participants (2)
-
Alexandre Duret-Lutz -
František Blahoudek