note description: "Summary description for {COMMON_SETUP}." author: "" date: "$Date$" revision: "$Revision$" class interface COMMON_SETUP create default_create feature -- Constructor default_create -- Process instances of classes with no creation clause. -- (Default: do nothing.) feature -- Attributes p1: PERSON p2: PERSON p3: PERSON p4: PERSON m1: CAR m2: CAR m3: CAR m4: CAR common_setup feature -- Agent functions is_person (pair: PAIR [PERSON, CAR]; p: PERSON): BOOLEAN end -- class COMMON_SETUP
Generated by ISE EiffelStudio