alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

man: obsolete paragraph in ltlcross doc

Browse source 
Reported by František Blahoudek.

* bin/man/ltlcross.x: Remove obsolete paragraph with reference to
columns in_states, in_edges, in_transitions, and in_acc that
were removed in 1.99.3.
This commit is contained in:
Alexandre Duret-Lutz 2017-12-28 20:27:17 +01:00
parent 0d963d5f7e
commit 412c2059bf
1 changed files with 1 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

8
bin/man/ltlcross.x
View file

@ -151,13 +151,7 @@ translated automaton. Column \fBedges\fR counts the number of edges
\fBtransitions\fR counts the number of assignment-labeled transitions \fBtransitions\fR counts the number of assignment-labeled transitions
that might have been merged into a formula-labeled edge. For instance that might have been merged into a formula-labeled edge. For instance
an edge labeled by \f(CWtrue\fR will be counted as 2^3=8 transitions if an edge labeled by \f(CWtrue\fR will be counted as 2^3=8 transitions if
the automaton mention 3 atomic propositions. the automaton uses 3 atomic propositions.
.PP
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 \fBin_states\fR, \fBin_edges\fR,
\fBin_transitions\fR, and \fBin_acc\fR for statistics about the actual
input automaton.
.TP .TP
\fBscc\fR, \fBnonacc_scc\fR, \fBterminal_scc\fR, \fBweak_scc\fR, \fBstrong_scc\fR \fBscc\fR, \fBnonacc_scc\fR, \fBterminal_scc\fR, \fBweak_scc\fR, \fBstrong_scc\fR
The number of strongly connected components in the automaton. The The number of strongly connected components in the automaton. The