StructuralComparisonOps.Mesa
Last Edited by: Spreitzer, April 11, 1986 11:47:05 am PST
Bertrand Serlet June 4, 1986 4:15:42 pm PDT
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.