mentor/derived/MaxflowViewClass.i3


 Copyright (C) 1995, Digital Equipment Corporation.       
 All rights reserved.                                     
 See the file COPYRIGHT for a full description.           
                                                          
 Last modified on Thu Feb  9 08:56:28 PST 1995 by kalsow  
      modified on Wed Feb 17 17:04:21 PST 1993 by johnh   
      modified on Tue Jun  9 00:35:21 1992 by mhb         

********************************************************************

      *  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.

interface View is in:


interface GraphVBT is in: