********************************************************************
* NOTE: This file is generated automatically from the event * definition file Maxflow.evt. ********************************************************************INTERFACEMaxflowAlgClass ; <*NOWARN*> IMPORT R2, MFGraph, Algorithm, MFAlgs, AlgorithmClass; <*NOWARN*> IMPORT MFViews, GraphVBT, RefList, MFFmt; <* PRAGMA LL *> TYPE EventDataRec = RECORD stopAtSetup: BOOLEAN := TRUE; waitAtSetup: CARDINAL := 1; ctOfSetup: CARDINAL := 0; stopAtHighlightPath: BOOLEAN := TRUE; waitAtHighlightPath: CARDINAL := 1; ctOfHighlightPath: CARDINAL := 0; stopAtIncFlow: BOOLEAN := TRUE; waitAtIncFlow: CARDINAL := 1; ctOfIncFlow: CARDINAL := 0; stopAtDecFlow: BOOLEAN := TRUE; waitAtDecFlow: CARDINAL := 1; ctOfDecFlow: CARDINAL := 0; stopAtShowEdge: BOOLEAN := TRUE; waitAtShowEdge: CARDINAL := 1; ctOfShowEdge: CARDINAL := 0; stopAtRemoveHighlight: BOOLEAN := TRUE; waitAtRemoveHighlight: CARDINAL := 1; ctOfRemoveHighlight: CARDINAL := 0; stopAtFinalResult: BOOLEAN := TRUE; waitAtFinalResult: CARDINAL := 1; ctOfFinalResult: CARDINAL := 0; END; T <: Public; Public = Algorithm.T OBJECT eventDataRec: EventDataRec; METHODS feAddVertex ( pos: R2.T); <* LL = VBT.mu *> feAddEdge ( v0: MFGraph.Vertex; v1: MFGraph.Vertex); <* LL = VBT.mu *> END; REVEAL Algorithm.T <: AlgorithmClass.T; END MaxflowAlgClass.