Lines Matching defs:Weight
0 // weight.h
19 // General weight set and associated semiring operation definitions.
31 // A Weight class must have binary functions =Plus= and =Times= and
35 // In addition, the following should be defined for a Weight:
39 // >>: reads textual representation of a weight.
40 // <<: prints textual representation of a weight.
41 // Read(istream &strm): reads binary representation of a weight.
42 // Write(ostream &strm): writes binary representation of a weight.
43 // Hash: maps weight to size_t.
54 // ReverseWeight: the type of the corresponding reverse weight.
55 // Typically the same type as Weight for a (both left and right) semiring.
57 // Reverse: a mapping from Weight to ReverseWeight s.t.
133 typedef W Weight;
137 FSTERROR() << "NaturalLess: Weight type is not idempotent: "
161 // General weight converter - raises error.
165 FSTERROR() << "WeightConvert: can't convert weight from \""
171 // Specialized weight converter to self.
