Events

We list here the ECLiPSe event types together with the default event handlers and their description. Unless otherwise specified, the arguments that the system passes to the event handler are

First Argument	Second Argument	Third Argument
Event number	Culprit goal	Caller Module

If the caller module is unknown, a free variable is passed.