Simulation.Aivika.GPSS.Block.Preempt

Tested with: GHC 8.0.2

This module defines the GPSS block Preempt.

Documentation

preemptBlock

Arguments

:: Facility a

the facility

-> PreemptBlockMode a

the Preempt block mode

-> Block (Transact a) (Transact a)

This is the GPSS construct

PREEMPT A,B,C,D,E

data PreemptBlockMode a

Specifies the Preempt block mode.

Constructors

PreemptBlockMode

Fields

• preemptBlockPriorityMode :: Bool

  the Priority mode; otherwise, the Interrupt mode

• preemptBlockTransfer :: Maybe (Maybe Double -> Block (Transact a) ())

  where to transfer the preempted transact, passing in the remaining time from the process holding computation such as the ADVANCE block

• preemptBlockRemoveMode :: Bool

  the Remove mode

defaultPreemptBlockMode :: PreemptBlockMode a

The default Preempt block mode.

toFacilityPreemptMode :: PreemptBlockMode a -> FacilityPreemptMode a

Convert PreemptBlockMode to FacilityPreemptMode.

fromFacilityPreemptMode :: FacilityPreemptMode a -> PreemptBlockMode a

Convert PreemptBlockMode from FacilityPreemptMode.