|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use RDVarSet | |
---|---|
cz.vutbr.fit.racedetector | Race detector for IBM ConTest What is a data race? |
Uses of RDVarSet in cz.vutbr.fit.racedetector |
---|
Fields in cz.vutbr.fit.racedetector declared as RDVarSet | |
---|---|
protected static RDVarSet |
RDVariableCollection.healVariables
Set of variables that should not be analysed. |
protected static RDVarSet |
RDVariableCollection.noiseVariables
Set of variables that should be disturbed by a noise. |
protected static RDVarSet |
RDVariableCollection.omitVariables
Set of variables that should not be analysed. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |