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