rsd.c

contents

int nondet();

int rsd (int r)
{

  int da,db,temp;
  int c1;
  c1=0;
  if (r>=0){
    da = 2*r;
    db = 2*r;
    while (da >=r) {
      if (nondet()>0){
	da --;
      }
      else{
	temp = da;
	da = db - 1;
	db = temp;
      }
      c1++;
    }
  }

  return 0;

  
}

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