postcondition nghĩa là gì

• Từ điển kỹ thuật
  Lĩnh vực: toán & tin

  • điều kiện sau

• The postcondition is that a and b have been modified to reflect the number of cars that moved.
  Điều kiện cuối là a và b sau khi thay đổi, phản ánh số xe đã di chuyển.
• And knowledge of postpartum conditions.
  thông tin về PostCondition của hàm.
• the postcondition.
  PostCondition của
• The postcondition.
  PostCondition của
• And post-conditioning.
  PostCondition của
• A condition which is met after an event happened is called a postcondition.
  Các điều kiện mà được thoả mãn khi một sự kiện nào đó xảy ra thì được gọi là điều kiện sau (postcondition).
• In the precondition, count is the current number of elements and capacity is the maximum number; in the postcondition, has is the boolean query which tells whether a certain element is present, and item returns the element associated with a certain key.
  Trong tiền điều kiện, biến count là số phần tử hiện thời và capacity là số lượng lớn nhất có thể đưa vào; trong hậu điều kiện, has là hàm boolean để xem từ đó có không, và item trả lại từ liên kết với khóa.