// ************************************************************************** // // 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); } } } }