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.