ECSE 306 Lecture Notes - Lecture 4: Flight Attendant, Social Security Number
30 Aug 2018
School
Department
Course
Professor
Document Summary
Example: constraints stating that the pilot and flight attendant are part of the crew. Note that crew is a set , if you call pilot. name, you are treating pilot as an object in this case. You can treat them as sets or objects depends on in what way you want to use them. Example: write constraints for : all matches in a tournament occur within the tournament s time frame. For all m : matches, it is true that m. start>= self. start and m. end<= self. end. There exists an m in match that m. start=self. start. Example: the social security number of all persons must be unique. For p1, p2 in person it is true that (p1<>p2) implies (p1. Type refers only to the class itself and kind refers to the class and its subclasses. Every thing is a kind of person, is the person class it self and all of its subclasses.
