// **************************************************************************
//
//    eses                   eses
//   eses                     eses
//  eses    eseses  esesese    eses   Embedded Systems Group
//  ese    ese  ese ese         ese
//  ese    eseseses eseseses    ese   Department of Computer Science
//  eses   eses          ese   eses
//   eses   eseses  eseseses  eses    University of Kaiserslautern
//    eses                   eses
//
// **************************************************************************



macro N = ?, noA = ?;
module InitRoom(
    [N][N]real a
) {    
    int r; r = 0;
    while(r != noA) {
        choose(i = 0..N-1) { 
            choose(j = 0..N-1) { 
	        if(a[i][j] != 0.0) { 
	            next(a[i][j]) = 0.0;
	            next(a[j][i]) = 0.0; 
	            next(r) = r + 1 ;
	        }
	        flow{}until(true);	  
	    }	
        }      
    }
}