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. าLichenComparisonOps.Mesa Bertrand Serlet June 4, 1986 4:15:42 pm PDT Last tweaked by Mike Spreitzer on May 4, 1987 1:18:07 pm PDT newColor and multicolored are indexed by oldColor; the rest by curColor. สจ– "cedar" style˜codešœ™K™+K™<—K˜Kšฯk œœ˜"K˜šัbnxœœ ˜&Kšœ˜K˜Kšœœ˜K˜Kšœ œœ˜'šœœœ˜!K˜ Kšœœ˜Kšœœ˜Kšœœ œœ ˜.K˜Kšœœ˜#K˜KšœH™H—K˜Kšฯnœœ œœ˜BKšŸœœ˜KšŸœœ?˜TKšŸœœœ_˜yKšŸ œœ œœ˜+K˜šŸ œ˜šœ˜Kšœ$˜$Kšœ˜KšŸ œœŸœœ˜5Kšœœ˜"Kšœœœ˜—Kšœœ˜;—K˜Kšœ˜——…—ธ2