| /external/openfst/src/include/fst/ |
| concat.h | 35 // transduces string x to y with weight a and FST2 transduces string w
47 void Concat(MutableFst<Arc> *fst1, const Fst<Arc> &fst2) {
54 if (!CompatSymbols(fst1->InputSymbols(), fst2.InputSymbols()) ||
55 !CompatSymbols(fst1->OutputSymbols(), fst2.OutputSymbols())) {
63 uint64 props2 = fst2.Properties(kFstProperties, false);
72 if (fst2.Properties(kExpanded, false))
73 fst1->ReserveStates(numstates1 + CountStates(fst2));
75 for (StateIterator< Fst<Arc> > siter2(fst2);
80 fst1->SetFinal(s1, fst2.Final(s2));
81 fst1->ReserveArcs(s1, fst2.NumArcs(s2))
[all...] |
| union.h | 44 void Union(MutableFst<Arc> *fst1, const Fst<Arc> &fst2) {
51 if (!CompatSymbols(fst1->InputSymbols(), fst2.InputSymbols()) ||
52 !CompatSymbols(fst1->OutputSymbols(), fst2.OutputSymbols())) {
62 uint64 props2 = fst2.Properties(kFstProperties, false);
64 StateId start2 = fst2.Start();
70 if (fst2.Properties(kExpanded, false)) {
72 numstates1 + CountStates(fst2) + (initial_acyclic1 ? 0 : 1));
75 for (StateIterator< Fst<Arc> > siter(fst2);
80 fst1->SetFinal(s1, fst2.Final(s2));
81 fst1->ReserveArcs(s1, fst2.NumArcs(s2))
[all...] |
| equal.h | 31 bool Equal(const Fst<Arc> &fst1, const Fst<Arc> &fst2, float delta = kDelta) {
35 if (fst1.Start() != fst2.Start()) {
41 StateIterator< Fst<Arc> > siter2(fst2);
57 Weight final2 = fst2.Final(s2);
66 ArcIterator< Fst<Arc> > aiter2(fst2, s2);
109 if (fst1.NumArcs(s1) != fst2.NumArcs(s2) ||
110 fst1.NumInputEpsilons(s1) != fst2.NumInputEpsilons(s2) ||
111 fst1.NumOutputEpsilons(s1) != fst2.NumOutputEpsilons(s2)) {
|
| randequivalent.h | 44 bool RandEquivalent(const Fst<Arc> &fst1, const Fst<Arc> &fst2,
52 if (!CompatSymbols(fst1.InputSymbols(), fst2.InputSymbols()) ||
53 !CompatSymbols(fst1.OutputSymbols(), fst2.OutputSymbols())) {
64 VectorFst<Arc> sfst2(fst2);
109 if (fst1.Properties(kError, false) || fst2.Properties(kError, false)) {
122 bool RandEquivalent(const Fst<Arc> &fst1, const Fst<Arc> &fst2,
129 return RandEquivalent(fst1, fst2, num_paths, delta, opts, error);
|
| equivalent.h | 109 // <code>fst1</code> and <code>fst2</code> are equivalent. The input
131 const Fst<Arc> &fst2,
137 if (!CompatSymbols(fst1.InputSymbols(), fst2.InputSymbols()) ||
138 !CompatSymbols(fst1.OutputSymbols(), fst2.OutputSymbols())) {
152 if (fst2.Properties(props, true) != props) {
160 || (fst2.Properties(kUnweighted , true) != kUnweighted)) {
162 VectorFst<Arc> efst2(fst2);
177 enum { FST1 = 1, FST2 = 2 }; // Required by Util::MapState(...)
180 MappedId s2 = Util::MapState(fst2.Start(), FST2);
[all...] |
| intersect.h | 70 IntersectFst(const Fst<A> &fst1, const Fst<A> &fst2,
73 fst2.Properties(kAcceptor, true);
74 SetImpl(CreateBase(fst1, fst2, opts));
82 IntersectFst(const Fst<A> &fst1, const Fst<A> &fst2,
85 fst2.Properties(kAcceptor, true);
86 SetImpl(CreateBase1(fst1, fst2, opts));
|
| /external/openfst/src/include/fst/script/ |
| reverse.h | 32 MutableFst<Arc> *fst2 = args->arg2->GetMutableFst<Arc>(); local
34 Reverse(fst1, fst2);
37 void Reverse(const FstClass &fst1, MutableFstClass *fst2);
|
| union.h | 32 const Fst<Arc> &fst2 = *(args->arg2.GetFst<Arc>()); local
34 Union(fst1, fst2);
37 void Union(MutableFstClass *fst1, const FstClass &fst2);
|
| equal.h | 33 const Fst<Arc> &fst2 = *(args->args.arg2.GetFst<Arc>()); local
35 args->retval = Equal(fst1, fst2, args->args.arg3);
38 bool Equal(const FstClass &fst1, const FstClass &fst2,
|
| equivalent.h | 34 const Fst<Arc> &fst2 = *(args->args.arg2.GetFst<Arc>()); local
36 args->retval = Equivalent(fst1, fst2, args->args.arg3);
39 bool Equivalent(const FstClass &fst1, const FstClass &fst2,
|
| randequivalent.h | 37 const Fst<Arc> &fst2 = *(args->args.arg2.GetFst<Arc>()); local
39 args->retval = RandEquivalent(fst1, fst2, args->args.arg3, args->args.arg4,
55 const Fst<Arc> &fst2 = *(args->args.arg2.GetFst<Arc>()); local
64 args->retval = RandEquivalent(fst1, fst2, args->args.arg4,
71 args->retval = RandEquivalent(fst1, fst2, args->args.arg4,
77 args->retval = RandEquivalent(fst1, fst2, args->args.arg4,
85 const FstClass &fst2,
93 const FstClass &fst2,
|
| /external/openfst/src/script/ |
| equal.cc | 24 bool Equal(const FstClass &fst1, const FstClass &fst2, float kDelta) {
25 if (!ArcTypesMatch(fst1, fst2, "Equal")) return false;
27 EqualInnerArgs args(fst1, fst2, kDelta);
|
| equivalent.cc | 24 bool Equivalent(const FstClass &fst1, const FstClass &fst2,
26 if (!ArcTypesMatch(fst1, fst2, "Equivalent")) return false;
28 EquivalentInnerArgs args(fst1, fst2, kDelta);
|
| reverse.cc | 24 void Reverse(const FstClass &fst1, MutableFstClass *fst2) {
25 if (!ArcTypesMatch(fst1, *fst2, "Reverse")) return;
27 ReverseArgs args(fst1, fst2);
|
| union.cc | 24 void Union(MutableFstClass *fst1, const FstClass &fst2) {
25 if (!ArcTypesMatch(*fst1, fst2, "Union")) return;
27 UnionArgs args(fst1, fst2);
|
| randequivalent.cc | 25 bool RandEquivalent(const FstClass &fst1, const FstClass &fst2,
28 if (!ArcTypesMatch(fst1, fst2, "RandEquivalent")) return false;
29 RandEquivalentInnerArgs1 args(fst1, fst2, seed, num_paths, delta,
39 bool RandEquivalent(const FstClass &fst1, const FstClass &fst2, int32 seed,
42 if (!ArcTypesMatch(fst1, fst2, "RandEquivalent")) return false;
44 RandEquivalentInnerArgs2 args(fst1, fst2, seed, num_paths, delta, opts);
|
| /external/openfst/src/bin/ |
| fstconcat.cc | 55 FstClass *fst2 = FstClass::Read(in2_name);
56 if (!fst2) return 1;
58 s::Concat(fst1, *fst2);
|
| fstunion.cc | 59 FstClass *fst2 = FstClass::Read(in2_name);
60 if (!fst2) {
64 Union(fst1, *fst2);
|
| fstminimize.cc | 57 MutableFstClass *fst2 = argc > 3 ?
60 s::Minimize(fst1, fst2, FLAGS_delta);
63 if (fst2)
64 fst2->Write(out2_name);
|
| /external/srec/tools/thirdparty/OpenFst/fst/lib/ |
| concat.h | 31 // with weight a and FST2 transduces string w to v with weight b, then
39 void Concat(MutableFst<Arc> *fst1, const Fst<Arc> &fst2) {
49 uint64 props2 = fst2.Properties(kFstProperties, false);
53 for (StateIterator< Fst<Arc> > siter2(fst2);
58 fst1->SetFinal(s1, fst2.Final(s2));
59 for (ArcIterator< Fst<Arc> > aiter(fst2, s2);
68 StateId start2 = fst2.Start();
85 void Concat(RationalFst<Arc> *fst1, const Fst<Arc> &fst2) {
86 fst1->Impl()->AddConcat(fst2);
94 // delayed Fst. If FST1 transduces string x to y with weight a and FST2
[all...] |
| union.h | 37 void Union(MutableFst<Arc> *fst1, const Fst<Arc> &fst2) {
42 StateId start2 = fst2.Start();
49 uint64 props2 = fst2.Properties(kFstProperties, false);
51 for (StateIterator< Fst<Arc> > siter(fst2);
56 fst1->SetFinal(s1, fst2.Final(s2));
57 for (ArcIterator< Fst<Arc> > aiter(fst2, s2);
87 void Union(RationalFst<Arc> *fst1, const Fst<Arc> &fst2) {
88 fst1->Impl()->AddUnion(fst2);
115 UnionFst(const Fst<A> &fst1, const Fst<A> &fst2) {
116 Impl()->InitUnion(fst1, fst2);
[all...] |
| equal.h | 28 bool Equal(const Fst<Arc> &fst1, const Fst<Arc> &fst2) {
32 if (fst1.Start() != fst2.Start()) {
38 StateIterator< Fst<Arc> > siter2(fst2);
54 Weight final2 = fst2.Final(s2);
63 ArcIterator< Fst<Arc> > aiter2(fst2, s2);
106 CHECK_EQ(fst1.NumArcs(s1), fst2.NumArcs(s2));
107 CHECK_EQ(fst1.NumInputEpsilons(s1), fst2.NumInputEpsilons(s2));
108 CHECK_EQ(fst1.NumOutputEpsilons(s1), fst2.NumOutputEpsilons(s2));
|
| intersect.h | 49 IntersectFst(const Fst<A> &fst1, const Fst<A> &fst2)
50 : ComposeFst<A>(fst1, fst2) {
51 if (!fst1.Properties(kAcceptor, true) || !fst2.Properties(kAcceptor, true))
54 uint64 props2 = fst2.Properties(kFstProperties, false);
60 IntersectFst(const Fst<A> &fst1, const Fst<A> &fst2,
62 : ComposeFst<A>(fst1, fst2, ComposeFstOptions<T>(opts)) {
63 if (!fst1.Properties(kAcceptor, true) || !fst2.Properties(kAcceptor, true))
66 uint64 props2 = fst2.Properties(kFstProperties, false);
|
| difference.h | 53 DifferenceFst(const Fst<A> &fst1, const Fst<A> &fst2)
55 ComplementFst<A>(fst2),
60 uint64 props2 = fst2.Properties(kFstProperties, false);
66 DifferenceFst(const Fst<A> &fst1, const Fst<A> &fst2,
69 ComplementFst<A>(fst2),
74 uint64 props2 = fst2.Properties(kFstProperties, false);
|
| 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) {
121 if (fst2.Properties(props, true) != props) {
127 || (fst2.Properties(kUnweighted , true) != kUnweighted)) {
129 VectorFst<Arc> efst2(fst2);
144 enum { FST1 = 1, FST2 = 2 }; // Required by Util::MapState(...)
147 MappedId s2 = Util::MapState(fst2.Start(), FST2);
157 if (Util::IsFinal(fst1, s1) != Util::IsFinal(fst2, s2)) {
161 // fst1 and fst2: input labels mapped to pairs of MappedId'
[all...] |
