<> <> <> <> <> DIRECTORY Core, CoreFlat, SC, SCPrivate; SCNetUtil: CEDAR DEFINITIONS = BEGIN <> DefineNet: PROC [handle: SC.Handle, flatWire: CoreFlat.FlatWire] RETURNS [net: SCPrivate.Net]; <> <<>> FindNet: PROC [handle: SC.Handle, flatWire: CoreFlat.FlatWire] RETURNS [net: SCPrivate.Net]; <> <<>> FindPublicNet: PROC [handle: SC.Handle, wire: Core.Wire] RETURNS [net: SCPrivate.Net]; <> <<>> EachNetProc: TYPE = PROC [net: SCPrivate.Net] RETURNS [quit: BOOL _ FALSE]; EnumerateNets: PROC [handle: SC.Handle, eachNet: EachNetProc] RETURNS [quit: BOOL]; <> <> NetsOnInst: PROC[insts: SCPrivate.InstanceList] RETURNS [nets: SCPrivate.NetList]; <> <<>> InstsOnNets: PROC[nets: SCPrivate.NetList] RETURNS [insts: SCPrivate.InstanceList]; <> EachInstProc: TYPE = PROC [instance: SCPrivate.Instance] RETURNS [quit: BOOL _ FALSE]; EnumerateInstsOnNets: PROC [nets: SCPrivate.NetList, eachInst: EachInstProc] RETURNS [quit: BOOL]; <> EachPinProc: TYPE = PROC [netPin: SCPrivate.NetPin] RETURNS [quit: BOOL _ FALSE]; EnumeratePinsOnNet: PROC [net: SCPrivate.Net, eachPin: EachPinProc] RETURNS [quit: BOOL]; <> AddConnection: PROC [handle: SC.Handle, net: SCPrivate.Net, instance: SCPrivate.Instance, pin: SCPrivate.ObjectPin, pinIndex: NAT, pinClass: SCPrivate.PinType]; RemoveConnections: PROC [handle: SC.Handle, instance: SCPrivate.Instance]; <> RemoveFtsOnNet: PROC[handle: SC.Handle, net: SCPrivate.Net]; <> ExitOnSide: PROC [handle: SC.Handle, net: SCPrivate.Net, side: SC.Side] RETURNS [onThisSide: BOOLEAN]; <> <<>> END.