Searched refs:instGenSelection (Results 1 – 2 of 2) sorted by relevance
85 if (opt.instGenSelection() == LOOKAHEAD_SELECTION) { in IGAlgorithm()89 _selector = LiteralSelector::getSelector(*_ordering, opt, opt.instGenSelection()); in IGAlgorithm()
2171 int instGenSelection() const { return _instGenSelection.actualValue; } in instGenSelection() function in Shell::Options