Blame view

src/fstbin/fstisstochastic.cc 3.03 KB
8dcb6dfcb   Yannick Estève   first commit
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
  // fstbin/fstisstochastic.cc
  
  // Copyright 2009-2011  Microsoft Corporation
  
  // See ../../COPYING for clarification regarding multiple authors
  //
  // 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
  //
  // THIS CODE IS PROVIDED *AS IS* BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
  // KIND, EITHER EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION ANY IMPLIED
  // WARRANTIES OR CONDITIONS OF TITLE, FITNESS FOR A PARTICULAR PURPOSE,
  // MERCHANTABLITY OR NON-INFRINGEMENT.
  // See the Apache 2 License for the specific language governing permissions and
  // limitations under the License.
  
  
  #include "base/kaldi-common.h"
  #include "util/kaldi-io.h"
  #include "util/parse-options.h"
  #include "fst/fstlib.h"
  #include "fstext/fstext-utils.h"
  #include "fstext/kaldi-fst-io.h"
  
  // e.g. of test:
  // echo " 0 0" | fstcompile | fstisstochastic
  // should return 0 and print "0 0" [meaning, min and
  // max weight are one = exp(0)]
  // echo " 0 1" | fstcompile | fstisstochastic
  // should  return 1, not stochastic, and print 1 1
  // (echo "0 0 0 0 0.693147 "; echo "0 1 0 0 0.693147 "; echo "1 0" ) | fstcompile | fstisstochastic
  // should return 0, stochastic; it prints "0 -1.78e-07" for me
  // (echo "0 0 0 0 0.693147 "; echo "0 1 0 0 0.693147 "; echo "1 0" ) | fstcompile | fstisstochastic --test-in-log=false
  // should return 1, not stochastic in tropical; it prints "0 0.693147" for me
  // (echo "0 0 0 0 0 "; echo "0 1 0 0 0 "; echo "1 0" ) | fstcompile | fstisstochastic --test-in-log=false
  // should return 0, stochastic in tropical; it prints "0 0" for me
  // (echo "0 0 0 0 0.693147 "; echo "0 1 0 0 0.693147 "; echo "1 0" ) | fstcompile | fstisstochastic --test-in-log=false --delta=1
  // returns 0 even though not stochastic because we gave it an absurdly large delta.
  
  int main(int argc, char *argv[]) {
    try {
      using namespace kaldi;
      using namespace fst;
      using kaldi::int32;
  
      const char *usage =
          "Checks whether an FST is stochastic and exits with success if so.
  "
          "Prints out maximum error (in log units).
  "
          "
  "
          "Usage:  fstisstochastic [ in.fst ]
  ";
  
      float delta = 0.01;
      bool test_in_log = true;
  
      ParseOptions po(usage);
      po.Register("delta", &delta, "Maximum error to accept.");
      po.Register("test-in-log", &test_in_log, "Test stochasticity in log semiring.");
      po.Read(argc, argv);
  
      if (po.NumArgs() > 1) {
        po.PrintUsage();
        exit(1);
      }
  
      std::string fst_in_filename = po.GetOptArg(1);
  
      Fst<StdArc> *fst = ReadFstKaldiGeneric(fst_in_filename);
  
      bool ans;
      StdArc::Weight min, max;
      if (test_in_log)  ans = IsStochasticFstInLog(*fst, delta, &min, &max);
      else ans = IsStochasticFst(*fst, delta, &min, &max);
  
      std::cout << min.Value() << " " << max.Value() << '
  ';
      delete fst;
      if (ans) return 0;  // success;
      else return 1;
    } catch(const std::exception &e) {
      std::cerr << e.what();
      return -1;
    }
  }