random1d.c

contents

int nondet();

void random1d(int max) {
  int a,x;
  if (max>0) {
  a=0;
  x=1;
  while (x<=max) {
    if (nondet()>0) a=a+1; else a=a-1;
    x=x+1;
  }
  }

}

content may be truncated. 'popout' for larger text window.