->- | Test.HUnit.DejaFu |
=== | Test.HUnit.DejaFu |
=>= | Test.HUnit.DejaFu |
boundFair | Test.HUnit.DejaFu |
boundLength | Test.HUnit.DejaFu |
boundPreemp | Test.HUnit.DejaFu |
Bounds | |
1 (Data Constructor) | Test.HUnit.DejaFu |
2 (Type/Class) | Test.HUnit.DejaFu |
defaultBounds | Test.HUnit.DejaFu |
defaultFairBound | Test.HUnit.DejaFu |
defaultLengthBound | Test.HUnit.DejaFu |
defaultMemType | Test.HUnit.DejaFu |
defaultPreemptionBound | Test.HUnit.DejaFu |
defaultSettings | Test.HUnit.DejaFu |
defaultWay | Test.HUnit.DejaFu |
Discard | Test.HUnit.DejaFu |
DiscardResultAndTrace | Test.HUnit.DejaFu |
DiscardTrace | Test.HUnit.DejaFu |
equivalentTo | Test.HUnit.DejaFu |
expectFailure | Test.HUnit.DejaFu |
expression | Test.HUnit.DejaFu |
FairBound | |
1 (Data Constructor) | Test.HUnit.DejaFu |
2 (Type/Class) | Test.HUnit.DejaFu |
fromWayAndMemType | Test.HUnit.DejaFu |
get | Test.HUnit.DejaFu |
initialise | Test.HUnit.DejaFu |
interfere | Test.HUnit.DejaFu |
ldebugFatal | Test.HUnit.DejaFu |
ldebugPrint | Test.HUnit.DejaFu |
ldebugShow | Test.HUnit.DejaFu |
ldiscard | Test.HUnit.DejaFu |
learlyExit | Test.HUnit.DejaFu |
LengthBound | |
1 (Data Constructor) | Test.HUnit.DejaFu |
2 (Type/Class) | Test.HUnit.DejaFu |
lequality | Test.HUnit.DejaFu |
list | Test.HUnit.DejaFu |
Listable | Test.HUnit.DejaFu |
lmemtype | Test.HUnit.DejaFu |
lsimplify | Test.HUnit.DejaFu |
lway | Test.HUnit.DejaFu |
MemType | Test.HUnit.DejaFu |
noBounds | Test.HUnit.DejaFu |
O | Test.HUnit.DejaFu |
observe | Test.HUnit.DejaFu |
PartialStoreOrder | Test.HUnit.DejaFu |
pdiscard | Test.HUnit.DejaFu |
peval | Test.HUnit.DejaFu |
Predicate | Test.HUnit.DejaFu |
PreemptionBound | |
1 (Data Constructor) | Test.HUnit.DejaFu |
2 (Type/Class) | Test.HUnit.DejaFu |
ProPredicate | |
1 (Data Constructor) | Test.HUnit.DejaFu |
2 (Type/Class) | Test.HUnit.DejaFu |
randomly | Test.HUnit.DejaFu |
RefinementProperty | Test.HUnit.DejaFu |
refines | Test.HUnit.DejaFu |
SequentialConsistency | Test.HUnit.DejaFu |
set | Test.HUnit.DejaFu |
Settings | Test.HUnit.DejaFu |
Sig | |
1 (Data Constructor) | Test.HUnit.DejaFu |
2 (Type/Class) | Test.HUnit.DejaFu |
strictlyRefines | Test.HUnit.DejaFu |
swarmy | Test.HUnit.DejaFu |
systematically | Test.HUnit.DejaFu |
Testable | Test.HUnit.DejaFu |
testAuto | Test.HUnit.DejaFu |
testAutoWay | Test.HUnit.DejaFu |
testAutoWithSettings | Test.HUnit.DejaFu |
testDejafu | Test.HUnit.DejaFu |
testDejafuDiscard | Test.HUnit.DejaFu |
testDejafus | Test.HUnit.DejaFu |
testDejafusDiscard | Test.HUnit.DejaFu |
testDejafusWay | Test.HUnit.DejaFu |
testDejafusWithSettings | Test.HUnit.DejaFu |
testDejafuWay | Test.HUnit.DejaFu |
testDejafuWithSettings | Test.HUnit.DejaFu |
testProperty | Test.HUnit.DejaFu |
testPropertyFor | Test.HUnit.DejaFu |
tiers | Test.HUnit.DejaFu |
TotalStoreOrder | Test.HUnit.DejaFu |
uniformly | Test.HUnit.DejaFu |
Way | Test.HUnit.DejaFu |
X | Test.HUnit.DejaFu |