Provided by: libfst-tools_1.6.3-2_amd64 bug


       fstdifference - subtract an unweighted DFA from an FSA


       fstdifference [OPTIONS] in1.fst in2.fst [out.fst]


       Subtracts an unweighted DFA from an FSA.


       Boolean  options  accept  either  true  or false as a value, or the implicit value true if
       neither value is specified.

              Set the composition  filter,  one  of  alt_sequence,  auto,  match,  and  sequence.
              Default: auto.

              Trim output.  Default: true.

              Write FST data aligned where appropriate.  Default: false.

              Require symbol tables to match when appropriate.  Default: true.

              Enable garbage collection of cache.  Default: true.

              Set the cache byte size that triggers garbage collection.  Default: 1048576.

              If  true,  FST  errors  are fatal.  Otherwise, returned objects are flagged as bad.
              For example, FSTs are returned with the  kError  property  set  to  true,  and  FST
              weights set so that Member() returns false.  Default: true.

              Set the characters used as a separator between printed fields.  Default: "     ".

              Set  the  default  file  reading  mode  for mappable files, either "read" or "map".
              Default: "read".

              Verify fst properties queried by TestProperties.  Default: false.

              Set the characters enclosing the first weight of a printed composite weight  (e.g.,
              pair  weight,  tuple  weight,  and  derived classes) to ensure proper I/O of nested
              composite weights.  Must have size 0 (none) or  2  (open  and  close  parenthesis).
              Default: no parentheses.

              Set the character separator between printed composite weights.  Default: comma.

              Show usage information.  Default: false.

              Show brief usage information.  Default: false.

              Save input relabel pairs to file.  Default: do not save.

              Save output relabel pairs to file.  Default: do not save.

              Set the temporary directory to use.  Default: /tmp.

              Set the verbosity level.  Default: 0.


       fstarcsort(1),  fstclosure(1), fstcompile(1), fstcompose(1), fstcompress(1), fstconcat(1),
       fstconnect(1),   fstconvert(1),   fstdeterminize(1),    fstdisambiguate(1),    fstdraw(1),
       fstencode(1),     fstepsnormalize(1),     fstequal(1),    fstequivalent(1),    fstinfo(1),
       fstintersect(1),  fstinvert(1),  fstisomorphic(1),   fstlinear(1),   fstloglinearapply(1),
       fstmap(1),    fstminimize(1),   fstprint(1),   fstproject(1),   fstprune(1),   fstpush(1),
       fstrandgen(1), fstrandmod(1), fstrelabel(1), fstreplace(1), fstreverse(1), fstreweight(1),
       fstrmepsilon(1),      fstshortestdistance(1),      fstshortestpath(1),      fstsymbols(1),
       fstsynchronize(1), fsttopsort(1), fstunion(1)