DIRECTORY IO, StructuralComparisonDataStructure, SymTab;StructuralComparisonOps: CEDAR DEFINITIONS =BEGIN OPEN StructuralComparisonDataStructure;Log: PROC [format: ROPE, v1, v2, v3, v4, v5: IO.Value _ [null[]]];FlushLog: PROC;WriteColorTable: PROC [colorTable: ColorTable, descriptions: RealGraphDescriptions];WriteAll: PROC [when: ROPE, descriptions: RealGraphDescriptions, a, b: CellType, oldColorData, curColorData: ColorTable];VerboseVName: PROC [Vertex] RETURNS [ROPE];DeleteVertex: PROC [parent: CellType, v: Vertex];MergeVertices: PROC [parent: CellType, v1, v2: Vertex] RETURNS [merged, doomed: Vertex];RemoveEdge: PROC [e: Edge];CompareGraphs: PROC[descriptions: RealGraphDescriptions,a, b: CellType,trace: SymTab.Ref _ NIL,GenerateHints: PROC [Consume: PROC [vA, vB: Vertex]],pick, mirrors, mayQuitEarly: BOOL,abort: REF BOOL]RETURNS [equiv, didQuitEarly: BOOL, partition: ColorTable];DisplayStats: PROC;END.   4  StructuralComparisonOps.MesaBertrand Serlet June 4, 1986 4:15:42 pm PDTLast tweaked by Mike Spreitzer on February 16, 1988 3:00:09 pm PSTIf they're cells, the caller asserts that they are connected identically  i.e., nothing needs to be done but delete the doomed vertex and the edges touching it.Ê„  –"cedar" style˜ code™K™+K™B—K˜ KšÏk	œœ,˜8K˜ šÐbxœœœ˜,K˜ Kšœœ#˜-K˜ KšÏnœœ
œœ˜BKšŸœœ˜KšŸœœ?˜TKšŸœœœ_˜yKšŸœœ
œœ˜+K˜ KšŸœœ˜1šŸœœ$œ˜XK™¡—KšŸ
œœ˜K˜ šŸœ˜šœ˜Kšœ$˜$Kšœ˜Kšœœ˜KšŸœœŸœœ˜5Kšœœ˜"Kšœœœ˜—Kšœœ˜;—K˜ KšŸœœ˜K˜ Kšœ˜—— …—    ¶  n  