Searched refs:cstQuestion (Results 1 – 1 of 1) sorted by relevance
319 auto *cstQuestion = cast<ConstraintQuestion>(question); in generatePredicate() local321 for (Position *position : std::get<1>(cstQuestion->getValue())) in generatePredicate()324 loc, std::get<0>(cstQuestion->getValue()), args, in generatePredicate()325 std::get<2>(cstQuestion->getValue()).cast<ArrayAttr>(), trueDest, in generatePredicate()