1FSTEQUIVALENT(1)                 User Commands                FSTEQUIVALENT(1)
2
3
4

NAME

6       fstequivalent - manual page for fstequivalent 1.8.2
7

DESCRIPTION

9       Two DFAs are equivalent iff the exit status is zero.
10
11              Usage: fstequivalent in1.fst in2.fst
12
13       PROGRAM FLAGS:
14
15       --delta: type = double, default = 0.000976562
16
17              Comparison/quantization  delta --max_length: type = int32_t, de‐
18              fault = 2147483647 Maximum path length --npath: type =  int32_t,
19              default  =  1 Number of paths to generate --random: type = bool,
20              default = false Test equivalence by randomly selecting paths  in
21              the  input  FSTs  --seed:  type = uint64_t, default = 3180444738
22              Random seed --select: type = std::string,  default  =  "uniform"
23              Selection  type:  one  of  "uniform", "log_prob" (when appropri‐
24              ate), "fast_log_prob" (when appropriate)
25
26       LIBRARY FLAGS:
27
28       Flags from: flags.cc
29
30       --help: type = bool, default = false
31
32              show usage information --helpshort: type = bool, default = false
33              show  brief  usage information --tmpdir: type = std::string, de‐
34              fault = "/tmp" temporary directory --v: type = int32_t,  default
35              = 0 verbosity level
36
37       Flags from: fst.cc
38
39       --fst_align: type = bool, default = false
40
41              Write FST data aligned where appropriate --fst_default_cache_gc:
42              type = bool, default = true Enable garbage collection  of  cache
43              --fst_default_cache_gc_limit:  type = int64_t, default = 1048576
44              Cache   byte   size    that    triggers    garbage    collection
45              --fst_read_mode:  type  =  std::string, default = "read" Default
46              file reading mode for  mappable  files  --fst_verify_properties:
47              type  =  bool,  default = false Verify FST properties queried by
48              TestProperties --save_relabel_ipairs: type  =  std::string,  de‐
49              fault  =  ""  Save  input  relabel  pairs  to  file --save_rela‐
50              bel_opairs: type = std::string, default = "" Save output relabel
51              pairs to file
52
53       Flags from: symbol-table.cc
54
55       --fst_compat_symbols: type = bool, default = true
56
57              Require symbol tables to match when appropriate --fst_field_sep‐
58              arator: type = std::string, default = "         " Set of charac‐
59              ters used as a separator between printed fields
60
61       Flags from: util.cc
62
63       --fst_error_fatal: type = bool, default = true
64
65              FST  errors are fatal; o.w. return objects flagged as bad: e.g.,
66              FSTs: kError property set, FST weights: not a Member()
67
68       Flags from: weight.cc
69
70       --fst_weight_parentheses: type = std::string, default = ""
71
72              Characters enclosing the first weight  of  a  printed  composite
73              weight  (e.g., pair weight, tuple weight and derived classes) to
74              ensure proper I/O of nested composite weights; must have size  0
75              (none) or 2 (open and close parenthesis) --fst_weight_separator:
76              type = std::string, default = ","  Character  separator  between
77              printed composite weights; must be a single character
78
79
80
81fstequivalent 1.8.2                July 2018                  FSTEQUIVALENT(1)