Simulation.Aivika.GPSS.Block.Test

Tested with: GHC 8.0.2

This module defines the GPSS block TEST.

Documentation

awaitingTestBlock

Arguments

:: (a -> Signalable Bool)

by the specified transact return a test condition and signal that notifies about changing the condition

-> Block a a

This is the GPSS construct

TEST O A,B

awaitingTestBlockM

Arguments

:: (a -> Process (Signalable Bool))

by the specified transact return a test condition and signal that notifies about changing the condition

-> Block a a

This is the GPSS construct

TEST O A,B

transferringTestBlock

Arguments

:: (a -> Bool)

the predicate

-> Block a ()

the block to transfer in when the condition fails

-> Block a a

This is the GPSS construct

TEST O A,B,C

transferringTestBlockM

Arguments

:: (a -> Process Bool)

the predicate

-> Block a ()

the block to transfer in when the condition fails

-> Block a a

This is the GPSS construct

TEST O A,B,C