counterex1b.c

contents

int nondet();

void counterex1b(int n,int x,int y)
{

  while(x>=0){
    while(y>=0 && nondet()>0) y--;
    x--;
    while(y<=n && nondet()>0) y++;
  }
}

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