Lines Matching refs:kPath
75 // The weights need to be right distributive and have the path (kPath)
118 if ((Weight::Properties() & (kPath | kRightSemiring))
119 != (kPath | kRightSemiring)) {
265 // have the path (kPath) property.
289 if ((Weight::Properties() & (kPath | kSemiring)) != (kPath | kSemiring)) {
404 // The weights need to be right distributive and have the path (kPath)
426 if ((Weight::Properties() & (kPath | kSemiring)) != (kPath | kSemiring)) {
482 // (kPath) property.
