<> <> <> 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]; WriteAll: PROC [when: ROPE, a, b: CellType, oldColorData, curColorData: ColorTable]; VerboseVName: PROC [Vertex] RETURNS [ROPE]; CompareGraphs: PROC [ a, b: CellType, GenerateHints: PROC [Consume: PROC [vA, vB: Vertex]], pick, mirrors: BOOL] RETURNS [equiv: BOOL, partition: ColorTable]; END.