Contents
Index
dejafu-1.12.0.0: A library for unit-testing concurrent programs.
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
X
Y
=
-
~
_
All
Index - I
Id
1 (Type/Class)
Test.DejaFu.Types
2 (Data Constructor)
Test.DejaFu.Types
IdSource
1 (Type/Class)
Test.DejaFu.Internal
2 (Data Constructor)
Test.DejaFu.Internal
incorporateBacktrackSteps
Test.DejaFu.SCT.Internal.DPOR
incorporateTrace
Test.DejaFu.SCT.Internal.DPOR
IncrementalBoundFunc
Test.DejaFu.SCT.Internal.DPOR
independent
Test.DejaFu.SCT.Internal.DPOR
initialDepState
Test.DejaFu.SCT.Internal.DPOR
initialDPORSchedState
Test.DejaFu.SCT.Internal.DPOR
initialDPORThread
Test.DejaFu.SCT.Internal.DPOR
initialIdSource
Test.DejaFu.Internal
initialise
Test.DejaFu.Refinement
, Test.DejaFu
initialRandSchedState
Test.DejaFu.SCT.Internal.Weighted
initialState
Test.DejaFu.SCT.Internal.DPOR
initialThread
Test.DejaFu.Types
interfere
Test.DejaFu.Refinement
, Test.DejaFu
interruptible
Test.DejaFu.Conc.Internal.Threading
IORefId
1 (Type/Class)
Test.DejaFu.Types
,
Test.DejaFu.Conc
2 (Data Constructor)
Test.DejaFu.Types
iorefId
Test.DejaFu.Conc.Internal.Common
iorefOf
Test.DejaFu.Internal
iorefRef
Test.DejaFu.Conc.Internal.Common
isAbort
Test.DejaFu.Types
,
Test.DejaFu
isBarrier
Test.DejaFu.Internal
isBlock
Test.DejaFu.Internal
isBuffered
Test.DejaFu.SCT.Internal.DPOR
isCommit
Test.DejaFu.Internal
IsCurrentThreadBound
Test.DejaFu.Types
,
Test.DejaFu.Conc
isDeadlock
Test.DejaFu.Types
,
Test.DejaFu
isFull
Test.DejaFu.SCT.Internal.DPOR
isIncorrectUsage
Test.DejaFu.Types
isMaskedInterruptible
Test.DejaFu.SCT.Internal.DPOR
isMaskedUninterruptible
Test.DejaFu.SCT.Internal.DPOR
isSchedulerError
Test.DejaFu.Types
isUncaughtException
Test.DejaFu.Types
,
Test.DejaFu