55     const PruneOptions &opts) {  in ConvertPruneOptions()  argument
59   Weight weight_threshold = *(opts.weight_threshold.GetWeight<Weight>());  in ConvertPruneOptions()
60   StateId state_threshold = opts.state_threshold;  in ConvertPruneOptions()
63   if (opts.distance) {  in ConvertPruneOptions()
64     distance = new vector<Weight>(opts.distance->size());  in ConvertPruneOptions()
65     for (unsigned i = 0; i < opts.distance->size(); ++i) {  in ConvertPruneOptions()
66       (*distance)[i] = *((*opts.distance)[i].GetWeight<Weight>());  in ConvertPruneOptions()
72       opts.delta);  in ConvertPruneOptions()
85   fst::PruneOptions<Arc, AnyArcFilter<Arc> > opts =  in Prune()  local
87   Prune(ofst, opts);  in Prune()
88   delete opts.distance;  in Prune()
100   fst::PruneOptions<Arc, AnyArcFilter<Arc> > opts =  in Prune()  local
102   Prune(ifst, ofst, opts);  in Prune()
103   delete opts.distance;  in Prune()
132 void Prune(MutableFstClass *fst, const PruneOptions &opts);
136            const PruneOptions &opts);