[Cyan]<DATools7.0>Lichen>LichenNavigation.Mesa!2

LichenNavigation.mesa

Last tweaked by Mike Spreitzer on April 13, 1987 8:25:43 am PDT

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];