Example 10. Return to Example 8, wh

Example 10. Return to Example 8, where we introduced the class Main-Insurant
as a subclass of Insurant. We would like to express that each object currently in
Insurant with kind = Main" must also belong to Main-Insurant. This gives the
formula

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

Ví dụ 10. Quay trở lại ví dụ 8, nơi chúng tôi giới thiệu các lớp học Main Insurant như là một phân lớp Insurant. Chúng tôi muốn nhận rằng mỗi đối tượng hiện đang trong Insurant với loại = Main "phải thuộc về chính-Insurant. Điều này cho phép các công thức

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

Ví dụ 10. Quay trở lại Ví dụ 8, nơi mà chúng tôi giới thiệu các lớp học chính-người có bảo hiểm
như là một lớp con của người có bảo hiểm. Chúng tôi xin bày tỏ rằng mỗi đối tượng, hiện tại
người có bảo hiểm với các loại = Main "cũng phải thuộc về chính-người có bảo hiểm. Điều này cho phép các
công thức