DIRECTORY LichenDataStructure; LichenNavigation: CEDAR DEFINITIONS = {OPEN LichenDataStructure; CTByName: PROC [d: Design, name: ROPE] RETURNS [CellType]; CTsByName: PROC [d: Design, pattern: ROPE, case: BOOL _ TRUE, literal: BOOL _ FALSE] RETURNS [Set--of CellType--]; PortByName: PROC [root: Port, name: ROPE] RETURNS [Port]; PortsByName: PROC [root: Port, pattern: ROPE, case: BOOL _ TRUE, literal: BOOL _ FALSE] RETURNS [Set--of Port--]; WireByName: PROC [ct: CellType, name: ROPE] RETURNS [Wire]; WiresByName: PROC [ct: CellType, pattern: ROPE, case: BOOL _ TRUE, literal: BOOL _ FALSE] RETURNS [Set--of Wire--]; ChildByName: PROC [ct: CellType, name: ROPE] RETURNS [Vertex]; ChildrenByName: PROC [ct: CellType, pattern: ROPE, case: BOOL _ TRUE, literal: BOOL _ FALSE] RETURNS [Set--of Vertex--]; ChildByType: PROC [parent, type: CellType] RETURNS [CellInstance]; ChildrenByType: PROC [parent, type: CellType] RETURNS [Set--of CellInstance--]; FilterSet: PROC [big: Set, Test: PROC [ra: REF ANY] RETURNS [passes: BOOL]] RETURNS [filtered: Set]; instanceType: READONLY Function; wireToChildren: READONLY OneToOne--Wire f Seq of child wires--; portToChildren: READONLY OneToOne--Port f Seq of child ports--; bestVertexShortName: READONLY Function--Vertex _ SteppyName--; bestPortShortName: READONLY Function--Port _ SteppyName--; vertexNames: READONLY Function--Vertex _ Set(of SteppyName)--; portNames: READONLY Function--Port _ Set(of SteppyName)--; }. `LichenNavigation.mesa Last tweaked by Mike Spreitzer on December 9, 1987 10:16:04 pm PST Κ2– "cedar" style˜code™K™B—K˜KšΟk œ˜K˜šΟnœœ œœ˜@K˜Kšžœœœœ ˜:Kšž œœœœœ œœœΟcœ˜rKšž œœœœ˜9Kšž œœœœœ œœœŸ œ˜qKšž œœœœ˜;Kšž œœœœœ œœœŸ œ˜sKšž œœœœ ˜>Kšžœœœœœ œœœŸ œ˜xKšž œœœ˜BKšžœœœŸœ˜OK˜Kšž œœ žœœœœœ œœ˜dK˜Kšœœ ˜ Kšœœ ŸΠcmŸœ˜?Kšœœ Ÿ Ÿœ˜?Kšœœ Ÿ  Ÿ œ˜>Kšœœ Ÿ Ÿ œ˜:Kšœ œ Ÿ  Ÿœ˜>Kšœ œ Ÿ Ÿœ˜:K˜K˜——…—ΊL