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