Lines Matching refs:TropicalWeight
19 // The sign is a TropicalWeight:
20 // positive, TropicalWeight.Value() > 0.0, recommended value 1.0
21 // negative, TropicalWeight.Value() <= 0.0, recommended value -1.0
33 : public PairWeight<TropicalWeight, LogWeightTpl<T> > {
35 typedef TropicalWeight X1;
97 h1 = TropicalWeight(1.0).Hash();
99 h1 = TropicalWeight(-1.0).Hash();
161 return SignedLogWeightTpl<T>(TropicalWeight(1.0), (f1 + f2));
163 return SignedLogWeightTpl<T>(TropicalWeight(-1.0), (f1 + f2));
177 return SignedLogWeightTpl<T>(TropicalWeight(1.0),
180 return SignedLogWeightTpl<T>(TropicalWeight(1.0),
183 return SignedLogWeightTpl<T>(TropicalWeight(1.0), (f1 - f2));
185 return SignedLogWeightTpl<T>(TropicalWeight(-1.0), (f1 - f2));
236 struct WeightConvert<SignedLogWeight, TropicalWeight> {
237 TropicalWeight operator()(SignedLogWeight w) const {
238 if (!SignedLogConvertCheck<SignedLogWeight, TropicalWeight>(w))
239 return TropicalWeight::NoWeight();
245 struct WeightConvert<SignedLog64Weight, TropicalWeight> {
246 TropicalWeight operator()(SignedLog64Weight w) const {
247 if (!SignedLogConvertCheck<SignedLog64Weight, TropicalWeight>(w))
248 return TropicalWeight::NoWeight();
293 struct WeightConvert<TropicalWeight, SignedLogWeight> {
294 SignedLogWeight operator()(TropicalWeight w) const {
295 TropicalWeight x1 = 1.0;
304 TropicalWeight x1 = 1.0;
313 TropicalWeight x1 = 1.0;
322 TropicalWeight x1 = w.Value1();
330 struct WeightConvert<TropicalWeight, SignedLog64Weight> {
331 SignedLog64Weight operator()(TropicalWeight w) const {
332 TropicalWeight x1 = 1.0;
341 TropicalWeight x1 = 1.0;
350 TropicalWeight x1 = 1.0;
359 TropicalWeight x1 = w.Value1();