
    <<LichenNavigation.mesa>>
        <<Last tweaked by Mike Spreitzer on December 9, 1987 10:16:04 pm PST>>

    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 
        portToChildren: READONLY OneToOne--Port 
        bestVertexShortName: READONLY Function--Vertex 
        bestPortShortName: READONLY Function--Port 
        vertexNames: READONLY Function--Vertex 
        portNames: READONLY Function--Port 

        }.