<> <> <> DIRECTORY IO, LichenDataStructure; LichenComparisonOps: CEDAR DEFINITIONS = BEGIN OPEN LichenDataStructure; ColorData: TYPE = REF ColorDataPrivate; ColorDataPrivate: TYPE = RECORD [ color: Color, nextColor: ColorData _ NIL, firstVertex: Vertex _ NIL, count: ARRAY RealGraphID OF CARDINAL _ [0, 0], newColor: Color _ noColor, suspect, multicolored: BOOL _ FALSE ]; <> 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]; 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.