Searched refs:ext_kid (Results 1 – 1 of 1) sorted by relevance
5130 const Expr& ext_kid = kid[0]; in getPlusTerms() local5131 int size = d_theoryBitvector->BVSize(ext_kid); in getPlusTerms()5143 plusTerms.push_back(ext_kid); in getPlusTerms()5147 … plusTerms.push_back(d_theoryBitvector->newBVExtractExpr(ext_kid, extractLeft, extractRight)); in getPlusTerms()