// Place global declarations here.
broadcast chan up[8], down[8], left[8], right[8];
const int tc= 2, tt = 3; // time car, time truck
int board[8][8] = { { 1, 1, 1, 1, 1, 1, 1, 1},
{ 1, 1, 1, 1, 1, 0, 0, 1},
{ 1, 1, 0, 1, 1, 0, 0, 1},
{ 1, 1, 1, 1, 1, 0, 0, 1},
{ 1, 1, 1, 1, 1, 0, 1, 1},
{ 1, 0, 0, 0, 0, 0, 1, 1},
{ 1, 0, 0, 0, 0, 0, 1, 1},
{ 1, 1, 1, 0, 1, 1, 1, 1} };
// the matrix is rotated with 90 degrees clockwise. upper left corner of the board is (1,1)
struct { int x, y, u, r, d, l, t; } car[7] = { {3, 3, 0, 1, 0, -2, tc}, // red
{2, 1, 0, 1, 0, -2, tc}, // light green
{3, 1, -1, 0, 2, 0, tc}, // orange
{1, 2, -1, 0, 3, 0, tt}, // purple (truck)
{4, 4, 0, 1, 0, -3, tt}, // blue (truck)
{4, 1, -1, 0, 3, 0, tt}, // yellow (truck)
{6, 6, 0, 1, 0, -3, tt} // green (truck)
};
// each car is considered oriented either facing up (vertical cars) either right (orizontal)
// and characterized by the possibile moves (up, right, down, left) and time (t)
int count = 0;
RushHourconst int[0,6] id// Place local declarations here.
Dummy// Place template instantiations here.
// List one or more processes to be composed into a system.
system RushHour, Dummy;