info-impl.cc
3.68 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
#include <fst/script/info-impl.h>
namespace fst {
void PrintFstInfoImpl(const FstInfo &fstinfo, bool pipe) {
std::ostream &ostrm = pipe ? std::cerr : std::cout;
const auto old = ostrm.setf(std::ios::left);
ostrm.width(50);
ostrm << "fst type" << fstinfo.FstType() << std::endl;
ostrm.width(50);
ostrm << "arc type" << fstinfo.ArcType() << std::endl;
ostrm.width(50);
ostrm << "input symbol table" << fstinfo.InputSymbols() << std::endl;
ostrm.width(50);
ostrm << "output symbol table" << fstinfo.OutputSymbols() << std::endl;
if (!fstinfo.LongInfo()) {
ostrm.setf(old);
return;
}
ostrm.width(50);
ostrm << "# of states" << fstinfo.NumStates() << std::endl;
ostrm.width(50);
ostrm << "# of arcs" << fstinfo.NumArcs() << std::endl;
ostrm.width(50);
ostrm << "initial state" << fstinfo.Start() << std::endl;
ostrm.width(50);
ostrm << "# of final states" << fstinfo.NumFinal() << std::endl;
ostrm.width(50);
ostrm << "# of input/output epsilons" << fstinfo.NumEpsilons() << std::endl;
ostrm.width(50);
ostrm << "# of input epsilons" << fstinfo.NumInputEpsilons() << std::endl;
ostrm.width(50);
ostrm << "# of output epsilons" << fstinfo.NumOutputEpsilons() << std::endl;
ostrm.width(50);
ostrm << "input label multiplicity" << fstinfo.InputLabelMultiplicity()
<< std::endl;
ostrm.width(50);
ostrm << "output label multiplicity" << fstinfo.OutputLabelMultiplicity()
<< std::endl;
ostrm.width(50);
string arc_type = "";
if (fstinfo.ArcFilterType() == "epsilon")
arc_type = "epsilon ";
else if (fstinfo.ArcFilterType() == "iepsilon")
arc_type = "input-epsilon ";
else if (fstinfo.ArcFilterType() == "oepsilon")
arc_type = "output-epsilon ";
const auto accessible_label = "# of " + arc_type + "accessible states";
ostrm.width(50);
ostrm << accessible_label << fstinfo.NumAccessible() << std::endl;
const auto coaccessible_label = "# of " + arc_type + "coaccessible states";
ostrm.width(50);
ostrm << coaccessible_label << fstinfo.NumCoAccessible() << std::endl;
const auto connected_label = "# of " + arc_type + "connected states";
ostrm.width(50);
ostrm << connected_label << fstinfo.NumConnected() << std::endl;
const auto numcc_label = "# of " + arc_type + "connected components";
ostrm.width(50);
ostrm << numcc_label << fstinfo.NumCc() << std::endl;
const auto numscc_label = "# of " + arc_type + "strongly conn components";
ostrm.width(50);
ostrm << numscc_label << fstinfo.NumScc() << std::endl;
ostrm.width(50);
ostrm << "input matcher"
<< (fstinfo.InputMatchType() == MATCH_INPUT
? 'y'
: fstinfo.InputMatchType() == MATCH_NONE ? 'n' : '?')
<< std::endl;
ostrm.width(50);
ostrm << "output matcher"
<< (fstinfo.OutputMatchType() == MATCH_OUTPUT
? 'y'
: fstinfo.OutputMatchType() == MATCH_NONE ? 'n' : '?')
<< std::endl;
ostrm.width(50);
ostrm << "input lookahead" << (fstinfo.InputLookAhead() ? 'y' : 'n')
<< std::endl;
ostrm.width(50);
ostrm << "output lookahead" << (fstinfo.OutputLookAhead() ? 'y' : 'n')
<< std::endl;
uint64 prop = 1;
for (auto i = 0; i < 64; ++i, prop <<= 1) {
if (prop & kBinaryProperties) {
char value = 'n';
if (fstinfo.Properties() & prop) value = 'y';
ostrm.width(50);
ostrm << PropertyNames[i] << value << std::endl;
} else if (prop & kPosTrinaryProperties) {
char value = '?';
if (fstinfo.Properties() & prop)
value = 'y';
else if (fstinfo.Properties() & prop << 1)
value = 'n';
ostrm.width(50);
ostrm << PropertyNames[i] << value << std::endl;
}
}
ostrm.setf(old);
}
} // namespace fst