Home
last modified time | relevance | path

Searched refs:curGtermIndex (Results 1 – 1 of 1) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/theory_quant/
H A Dtheory_quant.cpp3981 for(size_t curGtermIndex =0; curGtermIndex < allGterms.size(); curGtermIndex++) in multMatchChild() local
3990 …Expr gterm = allGterms[curGtermIndex]; //be careful, this gterm hides the gterm in the beginning. … in multMatchChild()
5376 for(size_t curGtermIndex = 0 ; curGtermIndex < candidateGterms.size(); curGtermIndex++){ in recMultMatchDebug() local
5377 const Expr& curGterm = candidateGterms[curGtermIndex]; in recMultMatchDebug()
5651 for(size_t curGtermIndex = 0 ; curGtermIndex < candidateGterms.size(); curGtermIndex++){ in recMultMatch() local
5652 const Expr& curGterm = candidateGterms[curGtermIndex]; in recMultMatch()