Since rotating a square block has n

Since rotating a square block has no effect on the occupied positions — all positions are occupied and remain so — the definition of the Rotate operation is completed in this class by adding to it a predicate which states that occupied is unchanged. This would necessarily be true even without this predicate, which is added only for clarity, since the inherited state schema includes the predicate
# ccupied 4.
The next five types of blocks we specify are polygons. Each can be represented by a grid whose width and height are 3. Hence, we define a general class Polygon from which the individual polygon classes can be derived.

Kết quả (Việt) 2:

Kể từ khi quay một khối vuông không có hiệu lực vào các vị trí chiếm đóng - tất cả các vị trí đang chiếm đóng và vẫn như vậy - định nghĩa của các hoạt động xoay được hoàn thành vào lớp này bằng cách thêm vào đó một vị ngữ trong đó nói rằng bị chiếm đóng là không thay đổi. Đây hẳn sẽ là sự thật thậm chí không có vị ngữ này, mà chỉ được thêm cho rõ ràng, kể từ giản đồ trạng thái di truyền bao gồm các vị
# ccupied 4.
Các năm loại tiếp theo của khối chúng tôi xác định là đa giác. Mỗi có thể được đại diện bởi một mạng lưới có chiều rộng và chiều cao là 3. Do đó, chúng ta định nghĩa một lớp Polygon chung mà từ đó các lớp học đa giác cá nhân có thể được bắt nguồn.