********************************************************************
* NOTE: This file is generated automatically from the event * definition file Maxflow.evt. ********************************************************************<* PRAGMA LL *> MODULE; <*NOWARN*> IMPORT MaxflowAlgClass, ZeusClass, R2, MFGraph; <*NOWARN*> IMPORT ViewClass, MFAlgs, MFViews, GraphVBT, RefList; <*NOWARN*> IMPORT MFFmt; REVEAL T = Public BRANDED OBJECT OVERRIDES <* LL.sup = VBT.mu *> isCompat := IsCompat; <* LL.sup < VBT.mu *> oeSetup := Setup; oeHighlightPath := HighlightPath; oeIncFlow := IncFlow; oeDecFlow := DecFlow; oeShowEdge := ShowEdge; oeRemoveHighlight := RemoveHighlight; oeFinalResult := FinalResult; <* LL.sup = VBT.mu *> ueAddVBTVertex := AddVBTVertex; ueAddVBTEdge := AddVBTEdge; END; PROCEDURE MaxflowViewClass IsCompat (<*UNUSED*> v: T; alg: ZeusClass.T): BOOLEAN = <* LL.sup = VBT.mu *> BEGIN RETURN ISTYPE(alg, MaxflowAlgClass.T) END IsCompat; PROCEDURESetup (view: T ; <*UNUSED*> g: MFGraph.T ; <*UNUSED*> source: MFGraph.Vertex ; <*UNUSED*> sink: MFGraph.Vertex ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END Setup; PROCEDUREHighlightPath (view: T ; <*UNUSED*> path: RefList.T ; <*UNUSED*> maxCapacity: REAL ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END HighlightPath; PROCEDUREIncFlow (view: T ; <*UNUSED*> edge: MFGraph.Edge ; <*UNUSED*> flow: REAL ; <*UNUSED*> number: CARDINAL ; <*UNUSED*> maxCapacity: REAL ; <*UNUSED*> capa: REAL ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END IncFlow; PROCEDUREDecFlow (view: T ; <*UNUSED*> edge: MFGraph.Edge ; <*UNUSED*> oldflow: REAL ; <*UNUSED*> newflow: REAL ; <*UNUSED*> number: CARDINAL ; <*UNUSED*> maxCapacity: REAL ; <*UNUSED*> capa: REAL ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END DecFlow; PROCEDUREShowEdge (view: T ; <*UNUSED*> number: CARDINAL ; <*UNUSED*> typeOfEdge: CARDINAL ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END ShowEdge; PROCEDURERemoveHighlight (view: T ; <*UNUSED*> sinkvertex: MFGraph.Vertex ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END RemoveHighlight; PROCEDUREFinalResult (view: T ; <*UNUSED*> b: BOOLEAN ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END FinalResult; PROCEDUREAddVBTVertex (view: T ; <*UNUSED*> v: MFAlgs.MFVertex ; <*UNUSED*> pos: R2.T ; <*UNUSED*> label: TEXT ) = <* LL.sup = VBT.mu *> BEGIN view.evtHandled := FALSE; END AddVBTVertex; PROCEDUREAddVBTEdge (view: T ; <*UNUSED*> e: MFAlgs.MFEdge ) = <* LL.sup = VBT.mu *> BEGIN view.evtHandled := FALSE; END AddVBTEdge; BEGIN END MaxflowViewClass.