Probiers doch mal so:

void WaitForEncoder(int p,int stepps)
{
bool portstatus=board.digital(p);
int zaehler = 0;
while(zaehler <= stepps)
{
if(portstatus==0 && board.digital(p) ==1)
{
zaehler ++;
}
portstatus=board.digital(p);
}
return;
}