<> <> DIRECTORY CompareDataStructure, CompareTransforms, IO, OrderedSymbolTableRef, Rope; CompareTransformsPrivate: CEDAR DEFINITIONS = BEGIN OPEN CompareDataStructure, CompareTransforms; badEdge: Edge; ToRope: PROC [ra: REF ANY] RETURNS [rope: ROPE]; ToVertexS: PROC [context, ra: REF ANY] RETURNS [vs: VertexS]; ToNamesS: PROC [ra: REF ANY] RETURNS [ns: NamesS]; EnumerateCellTypes: PROC [design: Design, ra: REF ANY, consume: PROC [CellType]]; EnumerateParts: PROC [ct: CellType, consume: PROC [Vertex]]; EnumerateVertices: PROC [context, ra: REF ANY, consume: PROC [Vertex]]; JoinNames: PROC [parent, child: Names, dot: BOOL _ TRUE] RETURNS [joined: Names]; QualifyEquivClass: PROC [qual: Names, equivClass: EquivClass, dot: BOOL _ TRUE] RETURNS [quald: EquivClass]; AddEdge: PROC [cv, nv: Vertex]; END.