Home | History | Annotate | Download | only in lib

Lines Matching refs:Properties

28 #include "fst/lib/test-properties.h"
33 // properties of FST composition (in the template parameter to
86 // properties of the FSTs being composed.
92 using FstImpl<A>::Properties;
110 uint64 props1 = fst1.Properties(kFstProperties, false);
111 uint64 props2 = fst2.Properties(kFstProperties, false);
349 bool osorted = fst1.Properties(kOLabelSorted, false);
350 bool isorted = fst2.Properties(kILabelSorted, false);
357 osorted = fst1.Properties(kOLabelSorted, true);
366 isorted = fst2.Properties(kILabelSorted, true);
373 osorted = fst1.Properties(kOLabelSorted, true);
375 isorted = fst2.Properties(kILabelSorted, true);
721 virtual uint64 Properties(uint64 mask, bool test) const {
727 return impl_->Properties(mask);
762 // implementation that is appropriate for the properties of fst1 and
770 // Filter for sort properties (forces a property check).
772 // Filter for optimization-related properties (does not force a
778 uint64 props1 = fst1.Properties(sort_props_mask, true);
779 uint64 props2 = fst2.Properties(sort_props_mask, true);
781 props1 |= fst1.Properties(opt_props_mask, false);
782 props2 |= fst2.Properties(opt_props_mask, false);
784 if (!(Weight::Properties() & kCommutative)) {
785 props1 |= fst1.Properties(kUnweighted, true);
786 props2 |= fst2.Properties(kUnweighted, true);