Simulation.Aivika.Trans.GPSS.Block.Preempt

Tested with: GHC 8.0.2

This module defines the GPSS block Preempt.

Documentation

preemptBlock

Arguments

:: MonadDES m

=> Facility m a

the facility

-> PreemptBlockMode m a

the Preempt block mode

-> Block m (Transact m a) (Transact m a)

This is the GPSS construct

PREEMPT A,B,C,D,E

data PreemptBlockMode m a

Specifies the Preempt block mode.

Constructors

PreemptBlockMode

Fields

• preemptBlockPriorityMode :: Bool

  the Priority mode; otherwise, the Interrupt mode

• preemptBlockTransfer :: Maybe (Maybe Double -> Block m (Transact m 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 :: MonadDES m => PreemptBlockMode m a

The default Preempt block mode.

toFacilityPreemptMode :: MonadDES m => PreemptBlockMode m a -> FacilityPreemptMode m a

Convert PreemptBlockMode to FacilityPreemptMode.

fromFacilityPreemptMode :: MonadDES m => FacilityPreemptMode m a -> PreemptBlockMode m a

Convert PreemptBlockMode from FacilityPreemptMode.