********************************************************************
* NOTE: This file is generated automatically from the event * definition file Hull.evt. ********************************************************************<* PRAGMA LL *> INTERFACEcall the following to generate an event:HullIE ; <*NOWARN*> IMPORT HullFmt, IntList, SiteList, Algorithm, View; <*NOWARN*> IMPORT Thread;PROCEDURE Setup ( initiator: Algorithm.T; trueSites, auxSites: SiteList.T ) RAISES {Thread.Alerted}; <* LL = {} *> PROCEDURE SetHalfPlane ( initiator: Algorithm.T; tail, head: INTEGER ) RAISES {Thread.Alerted}; <* LL = {} *> PROCEDURE ClearHead ( initiator: Algorithm.T; ) RAISES {Thread.Alerted}; <* LL = {} *> PROCEDURE TestSite ( initiator: Algorithm.T; i: INTEGER ) RAISES {Thread.Alerted}; <* LL = {} *> PROCEDURE ClearTest ( initiator: Algorithm.T; ) RAISES {Thread.Alerted}; <* LL = {} *> PROCEDURE SetTail ( initiator: Algorithm.T; i: INTEGER ) RAISES {Thread.Alerted}; <* LL = {} *> PROCEDURE ClearTail ( initiator: Algorithm.T; ) RAISES {Thread.Alerted}; <* LL = {} *> PROCEDURE MoveHalfPlane ( initiator: Algorithm.T; tail, head: INTEGER ) RAISES {Thread.Alerted}; <* LL = {} *> PROCEDURE Confirm ( initiator: Algorithm.T; tail, head: INTEGER ) RAISES {Thread.Alerted}; <* LL = {} *> PROCEDURE Deny ( initiator: Algorithm.T; tail, head: INTEGER ) RAISES {Thread.Alerted}; <* LL = {} *> PROCEDURE Swap ( initiator: Algorithm.T; i, j: INTEGER ) RAISES {Thread.Alerted}; <* LL = {} *> PROCEDURE Sentinel ( initiator: Algorithm.T; i, j: INTEGER ) RAISES {Thread.Alerted}; <* LL = {} *> PROCEDURE ReOrder ( initiator: Algorithm.T; l: IntList.T ) RAISES {Thread.Alerted}; <* LL = {} *> PROCEDURE Stretch ( initiator: Algorithm.T; hullSites, otherSites: IntList.T ) RAISES {Thread.Alerted}; <* LL = {} *> PROCEDURE Snap ( initiator: Algorithm.T; hullSites, otherSites: IntList.T ) RAISES {Thread.Alerted}; <* LL = {} *> PROCEDURE Shuffle ( initiator: Algorithm.T; hullSites, otherSites: IntList.T ) RAISES {Thread.Alerted}; <* LL = {} *> END HullIE.