Uses of Class
cz.vutbr.fit.racedetector.RDVarSet

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.