forked from kaldi-asr/kaldi
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathpush-lattice-test.cc
More file actions
130 lines (117 loc) · 4.07 KB
/
push-lattice-test.cc
File metadata and controls
130 lines (117 loc) · 4.07 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
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
// lat/push-lattice-test.cc
// Copyright 2013 Johns Hopkins University (author: Daniel Povey)
// See ../../COPYING for clarification regarding multiple authors
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// THIS CODE IS PROVIDED *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
// KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
// WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
// MERCHANTABLITY OR NON-INFRINGEMENT.
// See the Apache 2 License for the specific language governing permissions and
// limitations under the License.
#include "lat/kaldi-lattice.h"
#include "lat/push-lattice.h"
#include "fstext/rand-fst.h"
namespace kaldi {
using namespace fst;
CompactLattice *RandCompactLattice() {
RandFstOptions opts;
opts.acyclic = true;
Lattice *fst = fst::RandPairFst<LatticeArc>(opts);
CompactLattice *cfst = new CompactLattice;
ConvertLattice(*fst, cfst);
delete fst;
return cfst;
}
void TestPushCompactLatticeStrings() {
CompactLattice *clat = RandCompactLattice();
CompactLattice clat2(*clat);
PushCompactLatticeStrings(&clat2);
KALDI_ASSERT(fst::RandEquivalent(*clat, clat2, 5, 0.001, Rand(), 10));
for (CompactLatticeArc::StateId s = 0; s < clat2.NumStates(); s++) {
if (s == 0)
continue; // We don't check state zero, as the "leftover string" stays
// there.
int32 first_label;
bool ok = false;
bool first_label_set = false;
for (ArcIterator<CompactLattice> aiter(clat2, s); !aiter.Done();
aiter.Next()) {
if (aiter.Value().weight.String().size() == 0) {
ok = true;
} else {
int32 this_label = aiter.Value().weight.String().front();
if (first_label_set) {
if (this_label != first_label) ok = true;
} else {
first_label = this_label;
first_label_set = true;
}
}
}
if (clat2.Final(s) != CompactLatticeWeight::Zero()) {
if (clat2.Final(s).String().size() == 0) ok = true;
else {
int32 this_label = clat2.Final(s).String().front();
if (first_label_set && this_label != first_label) ok = true;
}
}
KALDI_ASSERT(ok);
}
delete clat;
}
void TestPushCompactLatticeWeights() {
CompactLattice *clat = RandCompactLattice();
CompactLattice clat2(*clat);
PushCompactLatticeWeights(&clat2);
KALDI_ASSERT(fst::RandEquivalent(*clat, clat2, 5, 0.001, Rand(), 10));
for (CompactLatticeArc::StateId s = 0; s < clat2.NumStates(); s++) {
if (s == 0)
continue; // We don't check state zero, as the "leftover string" stays
// there.
LatticeWeight sum = clat2.Final(s).Weight();
for (ArcIterator<CompactLattice> aiter(clat2, s); !aiter.Done();
aiter.Next()) {
sum = Plus(sum, aiter.Value().weight.Weight());
}
if (!ApproxEqual(sum, LatticeWeight::One())) {
{
#ifdef HAVE_OPENFST_GE_10400
fst::FstPrinter<CompactLatticeArc> printer(clat2, NULL, NULL,
NULL, true, true, "\t");
#else
fst::FstPrinter<CompactLatticeArc> printer(clat2, NULL, NULL,
NULL, true, true);
#endif
printer.Print(&std::cerr, "<unknown>");
}
{
#ifdef HAVE_OPENFST_GE_10400
fst::FstPrinter<CompactLatticeArc> printer(*clat, NULL, NULL,
NULL, true, true, "\t");
#else
fst::FstPrinter<CompactLatticeArc> printer(*clat, NULL, NULL,
NULL, true, true);
#endif
printer.Print(&std::cerr, "<unknown>");
}
KALDI_ERR << "Bad lattice being pushed.";
}
}
delete clat;
}
} // end namespace kaldi
int main() {
using namespace kaldi;
using kaldi::int32;
for (int32 i = 0; i < 15; i++) {
TestPushCompactLatticeStrings();
TestPushCompactLatticeWeights();
}
KALDI_LOG << "Success.";
}