Lines Matching refs:CHECK
62 CHECK(Verify(fst));
84 CHECK(matcher.Find(arc.ilabel));
93 CHECK(!matcher.Find(s + 1)); // out-of-range
94 CHECK(!matcher.Find(kNoLabel)); // no explicit epsilons
95 CHECK(matcher.Find(0));
99 CHECK(fst.Properties(kNotAcceptor, true));
100 CHECK(fst.Properties(kOEpsilons, true));
117 CHECK(fst.Properties(kExpanded, false));
173 CHECK(Equal(*fst, afst1));
178 CHECK(Equal(*fst, afst2));
182 CHECK(Equal(*fst, afst2));
212 CHECK(fst.Write(filename));
214 CHECK(ffst);
222 CHECK(gfst);
227 CHECK(gfst->Write(filename));
229 CHECK(hfst);
238 CHECK(efst);
247 CHECK(mfst);
