Searched refs:constructed_cand (Results 1 – 1 of 1) sorted by relevance
326 bool constructed_cand = false; in doCheck() local359 constructed_cand = true; in doCheck()364 if (!constructed_cand) in doCheck()427 constructed_cand = d_master->constructCandidates( in doCheck()435 if (constructed_cand) in doCheck()459 bool sk_refine = (!isGround() || d_refine_count == 0) && constructed_cand; in doCheck()477 if (!constructed_cand) in doCheck()488 if (constructed_cand) in doCheck()533 if (!d_embedSideCondition.isNull() && constructed_cand) in doCheck()