Lines Matching defs:weight
437 // Every number has different chance (aka weight) to be selected.
463 void append(int weight){
464 weights.append(weight);
465 total += weight;
468 // Give a random number with the consideration of weight.
469 // Every random number is associated with a weight.
471 // larger weight has more chance to be selected.
768 Alternation & append (Pick * node, int weight = DEFAULT_WEIGHT){
770 wr.append(weight);
959 UBool weight(int & value){
1042 while (weight(w)){
1114 case NUMBER: // in alternation, with weight
1176 if (weight(w)){