class
	REGISTRATION

General
	cluster: registrar
	description: "Summary description for {REGISTRATION}."

Ancestors
	ANY

Queries
	conflict (c1, c2: COURSE): BOOLEAN
	Max_course_load: INTEGER_32
	no_conflicts (regs: REL [STUDENT, COURSE]): BOOLEAN
	pair (s: STUDENT; c: COURSE): PAIR [STUDENT, COURSE]
	registrations: REL [STUDENT, COURSE]

Commands
	default_create
	extend (s: STUDENT; c: COURSE)
	extend_by_array (a: ARRAY [TUPLE [STUDENT, COURSE]])
	remove (s: STUDENT; c: COURSE)

Constraints
	max course load
	no conflicting registrations

Generated by ISE EiffelStudio