Searched refs:cl_it (Results 1 – 3 of 3) sorted by relevance
723 IdToSatClause::const_iterator cl_it = used_inputs.begin(); in toStream() local725 for (; cl_it != used_inputs.end(); ++cl_it) { in toStream()726 d_cnfProof->printCnfProofForClause(cl_it->first, cl_it->second, out, paren); in toStream()
346 Clause::Iterator cl_it(*cl); in selectTheoryLiterals() local347 while (cl_it.hasNext()) { in selectTheoryLiterals()348 auto lit = cl_it.next(); in selectTheoryLiterals()
3797 IceCheckList *cl_it; in ice_check_gathering_timeout() local3802 cl_it = cl->session->streams[i]; in ice_check_gathering_timeout()3803 if ((cl_it != NULL) in ice_check_gathering_timeout()3804 && (cl_it->gathering_candidates == TRUE) in ice_check_gathering_timeout()3805 … && (ice_compare_time(curtime, cl_it->gathering_start_time) >= ICE_GATHERING_CANDIDATES_TIMEOUT)) { in ice_check_gathering_timeout()3812 if (cl_it->session->streams[i] != NULL) in ice_check_gathering_timeout()3813 ice_check_list_stop_gathering(cl_it->session->streams[i]); in ice_check_gathering_timeout()