class COMMON_SETUP General cluster: basic_tests description: "Summary description for {COMMON_SETUP}." Ancestors ANY Queries is_person (pair: PAIR [PERSON, CAR]; p: PERSON): BOOLEAN m1: CAR m2: CAR m3: CAR m4: CAR p1: PERSON p2: PERSON p3: PERSON p4: PERSON Commands common_setup default_create
Generated by ISE EiffelStudio