Lines Matching full:properties
31 // This class tests a variety of identities and properties that must
90 if (Weight::Properties() & kCommutative)
107 if (Weight::Properties() & kLeftSemiring)
110 if (Weight::Properties() & kRightSemiring)
114 if (Weight::Properties() & kIdempotent)
117 if (Weight::Properties() & kPath)
121 CHECK(Weight::Properties() & (kLeftSemiring | kRightSemiring));
124 if (Weight::Properties() & kCommutative)
125 CHECK(Weight::Properties() & kSemiring);
132 if (Weight::Properties() & kLeftSemiring) {
140 if (Weight::Properties() & kRightSemiring) {
148 if (Weight::Properties() & kCommutative) {
