| /external/srec/tools/thirdparty/OpenFst/fst/lib/ |
| equivalent.h | 93 // <code>fst1</code> and <code>fst2</code> are equivalent. The input
113 bool Equivalent(const Fst<Arc> &fst1, const Fst<Arc> &fst2) {
117 if (fst1.Properties(props, true) != props) {
126 if ((fst1.Properties(kUnweighted , true) != kUnweighted)
128 VectorFst<Arc> efst1(fst1);
144 enum { FST1 = 1, FST2 = 2 }; // Required by Util::MapState(...)
146 MappedId s1 = Util::MapState(fst1.Start(), FST1);
157 if (Util::IsFinal(fst1, s1) != Util::IsFinal(fst2, s2)) {
161 // fst1 and fst2: input labels mapped to pairs of MappedId'
[all...] |
| compose.h | 41 COMPOSE_FST1_RHO = 1ULL<<0, // "Rest" symbol on the output side of fst1.
44 // side of fst1.
48 // fst1.
69 COMPOSE_FST1_STRING = 1ULL<<33, // fst1 is a string
71 COMPOSE_FST1_DET = 1ULL<<35, // fst1 is deterministic
105 ComposeFstImplBase(const Fst<A> &fst1,
108 :CacheImpl<A>(opts), fst1_(fst1.Copy()), fst2_(fst2.Copy()) {
110 uint64 props1 = fst1.Properties(kFstProperties, false);
114 if (!CompatSymbols(fst2.InputSymbols(), fst1.OutputSymbols()))
118 SetInputSymbols(fst1.InputSymbols())
[all...] |
| properties.cpp | 73 bool empty1 = delayed; // Can fst1 be the empty machine?
293 bool empty1 = delayed; // Can fst1 be the empty machine?
|
| /external/openfst/src/include/fst/ |
| equivalent.h | 109 // <code>fst1</code> and <code>fst2</code> are equivalent. The input
130 bool Equivalent(const Fst<Arc> &fst1,
137 if (!CompatSymbols(fst1.InputSymbols(), fst2.InputSymbols()) ||
138 !CompatSymbols(fst1.OutputSymbols(), fst2.OutputSymbols())) {
146 if (fst1.Properties(props, true) != props) {
159 if ((fst1.Properties(kUnweighted , true) != kUnweighted)
161 VectorFst<Arc> efst1(fst1);
177 enum { FST1 = 1, FST2 = 2 }; // Required by Util::MapState(...)
179 MappedId s1 = Util::MapState(fst1.Start(), FST1);
[all...] |
| compose.h | 53 M *matcher1; // FST1 matcher (see matcher.h)
84 M1 *matcher1; // FST1 matcher (see matcher.h)
123 ComposeFstImplBase(const Fst<A> &fst1, const Fst<A> &fst2,
129 if (!CompatSymbols(fst2.InputSymbols(), fst1.OutputSymbols())) {
135 SetInputSymbols(fst1.InputSymbols());
205 typedef typename M1::FST FST1;
222 ComposeFstImpl(const FST1 &fst1, const FST2 &fst2,
278 const FST1 &GetFst1() { return fst1_; }
377 const FST1 &fst1_
[all...] |
| difference.h | 72 DifferenceFst(const Fst<A> &fst1, const Fst<A> &fst2,
78 new R(fst1, MATCH_NONE),
81 SetImpl(CreateBase1(fst1, cfst, copts));
83 if (!fst1.Properties(kAcceptor, true)) {
90 DifferenceFst(const Fst<A> &fst1, const Fst<A> &fst2,
96 copts.matcher1 = new R(fst1, MATCH_NONE, kNoLabel, MATCHER_REWRITE_ALWAYS,
101 SetImpl(CreateBase1(fst1, cfst, copts));
103 if (!fst1.Properties(kAcceptor, true)) {
|
| state-table.h | 201 // ComposeStateTable(const Fst<Arc> &fst1, const Fst<Arc> &fst2);
226 StateId state_id1; // State Id on fst1
276 GenericComposeStateTable(const Fst<A> &fst1, const Fst<A> &fst2) {}
279 GenericComposeStateTable(const Fst<A> &fst1, const Fst<A> &fst2,
342 // the product of number of states in FST1 and FST2 (and the
358 ProductComposeStateTable(const Fst<A> &fst1, const Fst<A> &fst2,
360 : StateTable(new ComposeFingerprint<StateId, F>(CountStates(fst1),
374 // FST1 is a string (satisfies kStringProperties) and FST2 is
391 StringDetComposeStateTable(const Fst<A> &fst1, const Fst<A> &fst2)
395 if (fst1.Properties(props1, true) != props1 |
[all...] |
| intersect.h | 70 IntersectFst(const Fst<A> &fst1, const Fst<A> &fst2,
72 bool acceptors = fst1.Properties(kAcceptor, true) &&
74 SetImpl(CreateBase(fst1, fst2, opts));
82 IntersectFst(const Fst<A> &fst1, const Fst<A> &fst2,
84 bool acceptors = fst1.Properties(kAcceptor, true) &&
86 SetImpl(CreateBase1(fst1, fst2, opts));
|
| lookahead-filter.h | 61 MatchType LookAheadMatchType(const Fst<Arc> &fst1, const Fst<Arc> &fst2) {
62 LookAheadMatcher< Fst <Arc> > matcher1(fst1, MATCH_OUTPUT);
194 class M1 = LookAheadMatcher<typename F::FST1>,
199 typedef typename F::FST1 FST1;
211 LookAheadComposeFilter(const FST1 &fst1, const FST2 &fst2,
213 : filter_(fst1, fst2, matcher1, matcher2),
327 class M1 = LookAheadMatcher<typename F::FST1>,
332 typedef typename F::FST1 FST1
[all...] |
| /external/qemu/target-mips/ |
| op_helper.c | 2866 uint32_t fst1 = fdt1 & 0XFFFFFFFF; local
2882 uint32_t fst1 = fdt1 & 0XFFFFFFFF; local
[all...] |
| /external/openfst/src/include/fst/script/ |
| verify.h | 35 bool Verify(const FstClass &fst1);
|
| /external/openfst/src/include/fst/extensions/pdt/ |
| compose.h | 279 typedef typename F::FST1 FST1;
294 ParenFilter(const FST1 &fst1, const FST2 &fst2,
298 : filter_(fst1, fst2, matcher1, matcher2),
|
| /external/openfst/src/lib/ |
| properties.cc | 87 bool empty1 = delayed; // Can fst1 be the empty machine?
382 bool empty1 = delayed; // Can fst1 be the empty machine?
|
| /external/openfst/src/test/ |
| algo_test.h | 817 bool Equiv(const Fst<Arc> &fst1, const Fst<Arc> &fst2) {
819 CHECK(Verify(fst1));
825 return RandEquivalent(fst1, fst2, kNumRandomPaths, kTestDelta, opts);
[all...] |
