Lines Matching refs:Fst
22 #include "fst/lib/fst.h"
23 #include "fst/lib/test-properties.h"
25 namespace fst {
27 // Verifies that an Fst's contents are sane.
29 bool Verify(const Fst<Arc> &fst) {
34 StateId start = fst.Start();
35 const SymbolTable *isyms = fst.InputSymbols();
36 const SymbolTable *osyms = fst.OutputSymbols();
40 for (StateIterator< Fst<Arc> > siter(fst);
46 LOG(ERROR) << "Verify: Fst start state ID unset";
49 LOG(ERROR) << "Verify: Fst start state ID exceeds number of states";
53 for (StateIterator< Fst<Arc> > siter(fst);
58 for (ArcIterator< Fst<Arc> > aiter(fst, s);
63 LOG(ERROR) << "Verify: Fst input label ID of arc at position "
67 LOG(ERROR) << "Verify: Fst input label ID " << arc.ilabel
73 LOG(ERROR) << "Verify: Fst output label ID of arc at position "
77 LOG(ERROR) << "Verify: Fst output label ID " << arc.olabel
83 LOG(ERROR) << "Verify: Fst weight of arc at position "
87 LOG(ERROR) << "Verify: Fst destination state ID of arc at position "
91 LOG(ERROR) << "Verify: Fst destination state ID of arc at position "
98 if (!fst.Final(s).Member()) {
99 LOG(ERROR) << "Verify: Fst final weight of state " << s << " is invalid";
103 uint64 fst_props = fst.Properties(kFstProperties, false);
105 uint64 test_props = ComputeProperties(fst, kFstProperties, &known_props,
108 LOG(ERROR) << "Verify: stored Fst properties incorrect "
116 } // namespace fst
