diff options
author | Ted Yin <[email protected]> | 2015-08-14 17:42:26 +0800 |
---|---|---|
committer | Ted Yin <[email protected]> | 2015-08-14 17:42:26 +0800 |
commit | c3cffb58b9921d78753336421b52b9ffdaa5515c (patch) | |
tree | bfea20e97c200cf734021e3756d749c892e658a4 /kaldi_io/src/tools/openfst/include/fst/randequivalent.h | |
parent | 10cce5f6a5c9e2f8e00d5a2a4d87c9cb7c26bf4c (diff) | |
parent | dfdd17afc2e984ec6c32ea01290f5c76309a456a (diff) |
Merge pull request #2 from yimmon/master
remove needless files
Diffstat (limited to 'kaldi_io/src/tools/openfst/include/fst/randequivalent.h')
-rw-r--r-- | kaldi_io/src/tools/openfst/include/fst/randequivalent.h | 135 |
1 files changed, 0 insertions, 135 deletions
diff --git a/kaldi_io/src/tools/openfst/include/fst/randequivalent.h b/kaldi_io/src/tools/openfst/include/fst/randequivalent.h deleted file mode 100644 index 1aaccf7..0000000 --- a/kaldi_io/src/tools/openfst/include/fst/randequivalent.h +++ /dev/null @@ -1,135 +0,0 @@ -// randequivalent.h - -// 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 -// -// Unless required by applicable law or agreed to in writing, software -// distributed under the License is distributed on an "AS IS" BASIS, -// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. -// See the License for the specific language governing permissions and -// limitations under the License. -// -// Copyright 2005-2010 Google, Inc. -// Author: [email protected] (Cyril Allauzen) -// -// \file -// Tests if two FSTS are equivalent by checking if random -// strings from one FST are transduced the same by both FSTs. - -#ifndef FST_RANDEQUIVALENT_H__ -#define FST_RANDEQUIVALENT_H__ - -#include <fst/arcsort.h> -#include <fst/compose.h> -#include <fst/project.h> -#include <fst/randgen.h> -#include <fst/shortest-distance.h> -#include <fst/vector-fst.h> - - -namespace fst { - -// Test if two FSTs are equivalent by randomly generating 'num_paths' -// paths (as specified by the RandGenOptions 'opts') in these FSTs. -// -// For each randomly generated path, the algorithm computes for each -// of the two FSTs the sum of the weights of all the successful paths -// sharing the same input and output labels as the considered randomly -// generated path and checks that these two values are within -// 'delta'. Returns optional error value (when FLAGS_error_fatal = false). -template<class Arc, class ArcSelector> -bool RandEquivalent(const Fst<Arc> &fst1, const Fst<Arc> &fst2, - ssize_t num_paths, float delta, - const RandGenOptions<ArcSelector> &opts, - bool *error = 0) { - typedef typename Arc::Weight Weight; - if (error) *error = false; - - // Check that the symbol table are compatible - if (!CompatSymbols(fst1.InputSymbols(), fst2.InputSymbols()) || - !CompatSymbols(fst1.OutputSymbols(), fst2.OutputSymbols())) { - FSTERROR() << "RandEquivalent: input/output symbol tables of 1st " - << "argument do not match input/output symbol tables of 2nd " - << "argument"; - if (error) *error = true; - return false; - } - - ILabelCompare<Arc> icomp; - OLabelCompare<Arc> ocomp; - VectorFst<Arc> sfst1(fst1); - VectorFst<Arc> sfst2(fst2); - Connect(&sfst1); - Connect(&sfst2); - ArcSort(&sfst1, icomp); - ArcSort(&sfst2, icomp); - - bool ret = true; - for (ssize_t n = 0; n < num_paths; ++n) { - VectorFst<Arc> path; - const Fst<Arc> &fst = rand() % 2 ? sfst1 : sfst2; - RandGen(fst, &path, opts); - - VectorFst<Arc> ipath(path); - VectorFst<Arc> opath(path); - Project(&ipath, PROJECT_INPUT); - Project(&opath, PROJECT_OUTPUT); - - VectorFst<Arc> cfst1, pfst1; - Compose(ipath, sfst1, &cfst1); - ArcSort(&cfst1, ocomp); - Compose(cfst1, opath, &pfst1); - // Give up if there are epsilon cycles in a non-idempotent semiring - if (!(Weight::Properties() & kIdempotent) && - pfst1.Properties(kCyclic, true)) - continue; - Weight sum1 = ShortestDistance(pfst1); - - VectorFst<Arc> cfst2, pfst2; - Compose(ipath, sfst2, &cfst2); - ArcSort(&cfst2, ocomp); - Compose(cfst2, opath, &pfst2); - // Give up if there are epsilon cycles in a non-idempotent semiring - if (!(Weight::Properties() & kIdempotent) && - pfst2.Properties(kCyclic, true)) - continue; - Weight sum2 = ShortestDistance(pfst2); - - if (!ApproxEqual(sum1, sum2, delta)) { - VLOG(1) << "Sum1 = " << sum1; - VLOG(1) << "Sum2 = " << sum2; - ret = false; - break; - } - } - - if (fst1.Properties(kError, false) || fst2.Properties(kError, false)) { - if (error) *error = true; - return false; - } - - return ret; -} - - -// Test if two FSTs are equivalent by randomly generating 'num_paths' paths -// of length no more than 'path_length' using the seed 'seed' in these FSTs. -// Returns optional error value (when FLAGS_error_fatal = false). -template <class Arc> -bool RandEquivalent(const Fst<Arc> &fst1, const Fst<Arc> &fst2, - ssize_t num_paths, float delta = kDelta, - int seed = time(0), int path_length = INT_MAX, - bool *error = 0) { - UniformArcSelector<Arc> uniform_selector(seed); - RandGenOptions< UniformArcSelector<Arc> > - opts(uniform_selector, path_length); - return RandEquivalent(fst1, fst2, num_paths, delta, opts, error); -} - - -} // namespace fst - -#endif // FST_LIB_RANDEQUIVALENT_H__ |