********************************************************************
* NOTE: This file is generated automatically from the event * definition file Maxflow.evt. ********************************************************************<* PRAGMA LL *> INTERFACEMaxflowViewClass ; <*NOWARN*> IMPORT R2, MFGraph, View, Thread, MFAlgs, MFViews; <*NOWARN*> IMPORT GraphVBT, RefList, MFFmt; TYPE T <: Public; Public = View.T OBJECT METHODS <*LL = {} *> oeSetup ( g: MFGraph.T; source: MFGraph.Vertex; sink: MFGraph.Vertex) RAISES {Thread.Alerted}; oeHighlightPath ( path: RefList.T; maxCapacity: REAL) RAISES {Thread.Alerted}; oeIncFlow ( edge: MFGraph.Edge; flow: REAL; number: CARDINAL; maxCapacity: REAL; capa: REAL) RAISES {Thread.Alerted}; oeDecFlow ( edge: MFGraph.Edge; oldflow: REAL; newflow: REAL; number: CARDINAL; maxCapacity: REAL; capa: REAL) RAISES {Thread.Alerted}; oeShowEdge ( number, typeOfEdge: CARDINAL) RAISES {Thread.Alerted}; oeRemoveHighlight ( sinkvertex: MFGraph.Vertex) RAISES {Thread.Alerted}; oeFinalResult ( b: BOOLEAN) RAISES {Thread.Alerted}; <*LL = VBT.mu *> ueAddVBTVertex ( v: MFAlgs.MFVertex; pos: R2.T; label: TEXT) RAISES {Thread.Alerted}; ueAddVBTEdge ( e: MFAlgs.MFEdge) RAISES {Thread.Alerted}; END; END MaxflowViewClass.