<> <> <> DIRECTORY Core, CoreFlatten, RoseSimTypes, RoseWireTypes; RoseEngine: CEDAR DEFINITIONS = <> BEGIN OPEN RoseWireTypes, RoseSimTypes; WireBehaviorKind: TYPE = {simple, switch, mixed, unspecified}; GetWBK: PROC [wire: Wire] RETURNS [wbk: WireBehaviorKind]; GetWireGroup: PROC [wire: Wire] RETURNS [wg: WireGroup]; GetInternalParent: PROC [wire: Wire] RETURNS [parent: Wire]; GetTestRootType: PROC [testeeType: CellType] RETURNS [rootType: CellType]; FinishTestInstantiation: PROC [sim: Simulation, rootCellType: CellType]; InitSimulator: PROC [sim: Simulation, steady: BOOL]; ScheduleCell: PROC [cell: RoseCellInstance]; PerturbWire: PROC [rw: RoseWire, agitator: ModelSlot, evenIfInput: BOOL]; StepType: TYPE = {noStep, switchStep, otherStep}; StepSim: PROC [sim: Simulation] RETURNS [stepType: StepType]; InstanceSource: TYPE = CoreFlatten.InstanceSource; LookupCI: PROC [sim: Simulation, is: InstanceSource] RETURNS [rci: RoseCellInstance--NIL if not found--]; GetRoseCellType: PROC [ct: CellType, details, privates: BOOL] RETURNS [rct: RoseCellType]; END.