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