genrandInt31 method

int genrandInt31()

Implementation

int genrandInt31() {
  //c//return (genrand_int32()>>1);
  return (genrandInt32() >> 1);
}