<> <> <> <> DIRECTORY Globals, IO; DPrint: CEDAR DEFINITIONS = BEGIN OPEN Globals; Record: PROC[stage: Stage, list: listType]; listType: TYPE = {any, memory, watched}; <> PrintStage: PROC[stream: IO.STREAM, stage: Stage, globalVars: GlobalVars]; <> CriticalCmd: CmdProc; <> Clear: PROC[]; <> Stats: PROC[]; <> RecomputeCmd: CmdProc; <> DumpCmd: CmdProc; <> UndumpCmd: CmdProc; <> NumPaths: ARRAY listType OF INT; <> MaxPaths: INT = 100; <> Threshold: ARRAY listType OF REAL; <> PrintEdgeSpeeds: BOOLEAN; <> END.