DIRECTORY CD, GC, RTStructure, Graphs0, Graphs0Path; GCCIG: CEDAR DEFINITIONS = BEGIN Graph: TYPE = REF GraphRec; GraphRec: TYPE = RECORD [ context: GC.Context _ NIL, graph: Graphs0.Graph _ NIL ]; Node: TYPE = Graphs0.Node; NodeList: TYPE = Graphs0.NodeList; NodeSetList: TYPE = Graphs0Path.NodeSetList; Create: PROC[context: GC.Context] RETURNS[cig: Graph]; Destroy: PROC [cig: Graph]; ConnectionStrength: TYPE = {goodInternal, power, highImpedance}; InsertNet: PROC[cig: Graph, net: RTStructure.Net, connectionStrength: ConnectionStrength _ goodInternal] RETURNS [nodeSetList: NodeSetList]; RemoveNodes: PROC[cig: Graph, nodeSetList: NodeSetList]; ShortestPath: PUBLIC PROC[cig: Graph, nodeSetList: NodeSetList, net: RTStructure.Net]; Check: PROC[cig: Graph]; Length: PROC[nodeSetList: NodeSetList] RETURNS [n: INT]; PaintShortestPath: PROC[cig: Graph, nodeSetList: NodeSetList] RETURNS [object: CD.Object]; PaintGraph: PROC [cig: Graph] RETURNS [object: CD.Object]; END. ϊ-- File: GCCIG.mesa Copyright c 1986 by Xerox Corporation. All rights reserved. Last Edited by: Preas, January 15, 1987 3:48:05 pm PST Provides abstraction for channel intersection graphs Invalidates cig and removes circular references Add the net to cig. connectionStrength indicates that connections through a cell may be used as part of the signal path. 1) highImpedance indicates that physical pins on a cell are connected internally bur these internal connections must not be used for carring net current; 2) power indicates that each physical pin should be connected by the net wiring; 3) goodInternal indicates that the internal connections may be used for carrying net current and that not all pins must be connected by net wiring. For example, you might set connectionStrength = power for power supply nets and connectionStrength = goodInternal for all aothers. Remove all additions from cig. Inverse of InsertNet Find shortest path among pins of nodeSetList Verify cig count members of nodeList Κ˜šΟc™Icodešœ Οmœ1™