<> <> <> DIRECTORY IO, StructuralComparisonDataStructure; 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, GenerateHints: PROC [Consume: PROC [vA, vB: Vertex]], pick, mirrors, mayQuitEarly: BOOL, abort: REF BOOL] RETURNS [equiv, didQuitEarly: BOOL, partition: ColorTable]; END.