Lines Matching refs:Selected
198 // Visit each RW in the sequence selected by the current variant.
199 RecVec Selected = (*VI)->getValueAsListOfDefs("Selected");
200 for (RecIter I = Selected.begin(), E = Selected.end(); I != E; ++I)
1143 // Push the Reads/Writes selected by this variant onto the PredTransition
1159 RecVec SelectedDefs = VInfo.VarOrSeqDef->getValueAsListOfDefs("Selected");