Searched refs:pool_size (Results 1 – 2 of 2) sorted by relevance
75 inline void db_RandomSample(int *s,int sample_size,int pool_size,int &r_seed) in db_RandomSample() argument81 temp=db_RandomInt(r_seed,pool_size-1-i); in db_RandomSample()