Lines Matching full:weights
304 // weight of 1. Keeping weights at zero or one also means that wrapping is
306 assert(LHS == 1 && RHS == 1 && "Weights not reduced!");
310 // Nilpotent means X op X === 0, so reduce weights modulo 2.
311 assert(LHS == 1 && RHS == 1 && "Weights not reduced!");
328 // of CM like this weights can always be reduced to the range [0, CM+Bitwidth)
338 assert(LHS.ult(Threshold) && RHS.ult(Threshold) && "Weights not reduced!");
349 "Weights not reduced!");
360 /// nodes in Ops along with their weights (how many times the leaf occurs). The
448 // with their weights, representing a certain number of paths to the operator.
579 // The leaves, repeated according to their weights, represent the linearized
