58 	void			choose				(InputIter first, InputIter last, OutputIter result, int numItems);
61 	T				choose				(InputIter first, InputIter last);
65 	T				chooseWeighted		(InputIter first, InputIter last, WeightIter weight);
68 	void			shuffle				(Iterator first, Iterator last);
103 void Random::choose (InputIter first, InputIter last, OutputIter result, int numItems)  in choose()  argument
110 	for (ndx = 0; first != last; ++first, ++ndx)  in choose()
126 T Random::choose (InputIter first, InputIter last)  in choose()  argument
129 	DE_ASSERT(first != last);  in choose()
130 	choose(first, last, &val, 1);  in choose()
135 T Random::chooseWeighted (InputIter first, InputIter last, WeightIter weight)  in chooseWeighted()  argument
140 	for (ndx = 0; (first + ndx) != last; ndx++)  in chooseWeighted()
147 	InputIter	lastNonZero	= last;  in chooseWeighted()
149 	for (ndx = 0; (first + ndx) != last; ndx++)  in chooseWeighted()
161 	DE_ASSERT(lastNonZero != last);  in chooseWeighted()
166 void Random::shuffle (Iterator first, Iterator last)  in shuffle()  argument
171 	int numItems = (int)std::distance(first, last);  in shuffle()