PairList: CEDAR DEFINITIONS =BEGINRelationHead: TYPE = RECORD[first, last: REF Pair];Relation: TYPE = REF RelationHead;Pair: TYPE = RECORD[link: REF Pair, left, right: REF ANY _ NIL];NotFound: SIGNAL;EqualProc: TYPE = PROC[left,right: REF ANY] RETURNS[return: BOOLEAN];CreateRelation: PROCEDURE RETURNS [Relation];AddPair: PROCEDURE [relation: Relation, left, right: REF ANY _ NIL];Left: PROCEDURE[relation: Relation, equals: EqualProc, right: REF ANY _ NIL]RETURNS [REF ANY _ NIL];Right: PROCEDURE[relation: Relation, equals: EqualProc, left: REF ANY _ NIL]RETURNS [REF ANY _ NIL];ForAllPairs: PROCEDURE[relation: Relation,do: PROCEDURE[leftPart, rightPart: REF ANY _ NIL]];DestroyRelation: PROCEDURE[relation: Relation];END.   ▓  PairList.MesaLast changed by: 26-Jun-81 18:28:36Cedar version:18-Jun-81 14:24:37Ordered pairs; building and searchingLast Edited by: Beach, May 1, 1984 2:08:58 pm PDT Э╩Л  Ш ЩJЪЬ#Щ#JЪЬ Щ JЪЬ%Щ%JЩ1ЧJШ JЪЬ
╧kЬШJЪЭШJЪЬЭЬЭЬЭЬШ3JЪЬ
ЭЬЭЬШ"JЪЬЭЬЭЬЭЬЭЬЭЬЭЬШ@JЪЬ
ЭЬШJЪ╧n	ЬЭЬЭЬЭЬЭЬЭЬ	ЭЬШEJШ JЪЮЬЭ	ЬЭЬШ-JЪ
ЮЬЭ	Ь#ЭЬЭЬЭЬШDЪ
ЮЬЭ	Ь/ЭЬЭЬЭЬШLJЪЭЬЭЬЭЬЭЬШЧЪ
ЮЬЭ	Ь.ЭЬЭЬЭЬШLJЪЭЬЭЬЭЬЭЬШЧЪЮЬЭ	ЬШ*JЪ	ЬЭ	ЬЭЬЭЬЭЬШ3ЧJЪЮЬЭ	ЬШ/JЪЭЬШJШ JШ JШ JШ Ч ЕЧ    ю  +  