-- (C) Copyright International Business Machines Corporation 23 January 
-- 1990.  All Rights Reserved. 
--  
-- See the file USERAGREEMENT distributed with this software for full 
-- terms and conditions of use. 
appt_scheduler_operator:  USING (times)

DEFINITIONS

-- Operator -> Appt_Scheduler calls:

	Shutdown_Appt_Scheduler : callmessage ( )
		constant( )
		exit {full};
	Shutdown_Appt_Scheduler_In : inport of Shutdown_Appt_Scheduler {};
	Shutdown_Appt_Scheduler_Out : outport of Shutdown_Appt_Scheduler_In;

	-- A command for the Appt_Scheduler to empty its calendar (but keep the set
	-- of members), and have
	-- all the members do so - primarily for debugging
	Reset_Appt_Scheduler : callmessage ( )
		constant( )
		exit {full};
	Reset_Appt_Scheduler_In : inport of Reset_Appt_Scheduler {};
	Reset_Appt_Scheduler_Out : outport of Reset_Appt_Scheduler_In;


end DEFINITIONS
