********************************************************************
* NOTE: This file is generated automatically from the event
* definition file Maxflow.evt.
********************************************************************
<* PRAGMA LL *>
INTERFACE MaxflowViewClass ;
<*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.