class
	HEALTH_SYSTEM

General
	cluster: ehealth
	description: "An electronic health (e-Health) system."
	create: make

Ancestors
	ANY

Queries
	di: REL [MEDICATION, MEDICATION]
	dpr: REL [PATIENT, INTERACTION]
	medications: SET [MEDICATION]
	patients: SET [PATIENT]
	pr: REL [PATIENT, MEDICATION]
	warn: BOOLEAN

Commands
	add_interaction (m1, m2: MEDICATION)
	add_medication (m: MEDICATION)
	add_patient (p: PATIENT)
	add_to_prescription (p1: PATIENT; m1: MEDICATION)
	make
	remove_from_prescription (p1: PATIENT; m1: MEDICATION)

Constraints
	symmetry
	irreflexivity
	dangerous prescriptions reported


Generated by ISE EiffelStudio