// ************************************************************************** // // // // 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 // // // // ************************************************************************** // [3][3]bool m; [3][3]bool t; thread TransHull { m[0][0] = m[0][0] | m[0][0] & m[0][0]; m[0][1] = m[0][1] | m[0][0] & m[0][1]; m[0][2] = m[0][2] | m[0][0] & m[0][2]; m[1][0] = m[1][0] | m[1][0] & m[0][0]; m[1][1] = m[1][1] | m[1][0] & m[0][1]; m[1][2] = m[1][2] | m[1][0] & m[0][2]; m[2][0] = m[2][0] | m[2][0] & m[0][0]; m[2][1] = m[2][1] | m[2][0] & m[0][1]; m[2][2] = m[2][2] | m[2][0] & m[0][2]; m[0][0] = m[0][0] | m[0][1] & m[1][0]; m[0][1] = m[0][1] | m[0][1] & m[1][1]; m[0][2] = m[0][2] | m[0][1] & m[1][2]; m[1][0] = m[1][0] | m[1][1] & m[1][0]; m[1][1] = m[1][1] | m[1][1] & m[1][1]; m[1][2] = m[1][2] | m[1][1] & m[1][2]; m[2][0] = m[2][0] | m[2][1] & m[1][0]; m[2][1] = m[2][1] | m[2][1] & m[1][1]; m[2][2] = m[2][2] | m[2][1] & m[1][2]; m[0][0] = m[0][0] | m[0][2] & m[2][0]; m[0][1] = m[0][1] | m[0][2] & m[2][1]; m[0][2] = m[0][2] | m[0][2] & m[2][2]; m[1][0] = m[1][0] | m[1][2] & m[2][0]; m[1][1] = m[1][1] | m[1][2] & m[2][1]; m[1][2] = m[1][2] | m[1][2] & m[2][2]; m[2][0] = m[2][0] | m[2][2] & m[2][0]; m[2][1] = m[2][1] | m[2][2] & m[2][1]; m[2][2] = m[2][2] | m[2][2] & m[2][2]; t[0][0] = m[0][0]; t[0][1] = m[0][1]; t[0][2] = m[0][2]; t[1][0] = m[1][0]; t[1][1] = m[1][1]; t[1][2] = m[1][2]; t[2][0] = m[2][0]; t[2][1] = m[2][1]; t[2][2] = m[2][2]; }