DIRECTORY LichenDataStructure, LichenSetTheory; LichenNavigation: CEDAR DEFINITIONS = {OPEN LichenSetTheory, LichenDataStructure; CTByName: PROC [d: Design, name: ROPE] RETURNS [CellType]; CTsByName: PROC [d: Design, pattern: ROPE, case: BOOL _ TRUE] RETURNS [Set--of CellType--]; PortByName: PROC [root: Port, name: ROPE] RETURNS [Port]; PortsByName: PROC [root: Port, pattern: ROPE, case: BOOL _ TRUE] RETURNS [Set--of Port--]; WireByName: PROC [ct: CellType, name: ROPE] RETURNS [Vertex]; WiresByName: PROC [ct: CellType, pattern: ROPE, case: BOOL _ TRUE] RETURNS [Set--of Wire--]; ChildByName: PROC [ct: CellType, name: ROPE] RETURNS [Vertex]; ChildrenByName: PROC [ct: CellType, pattern: ROPE, case: BOOL _ TRUE] RETURNS [Set--of CellInstance--]; 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]; }. \LichenNavigation.mesa Last tweaked by Mike Spreitzer on April 13, 1987 8:25:43 am PDT Κ– "cedar" style˜code™K™?—K˜KšΟk œ&˜/K˜šΟnœœ œœ&˜QK˜Kšžœœœœ ˜:Kšž œœœœœœΟcœ˜[Kšž œœœœ˜9Kšž œœœœœœŸ œ˜ZKšž œœœœ ˜=Kšž œœœœœœŸ œ˜\Kšž œœœœ ˜>KšžœœœœœœŸœ˜gKšž œœœ˜BKšžœœœŸœ˜OK˜Kšž œœ žœœœœœ œœ˜dK˜K˜——…—ςή