Searched refs:leftshiftTerm (Results 1 – 1 of 1) sorted by relevance
1107 Expr leftshiftTerm = in bitExtractConstBVMult() local1109 k.push_back(leftshiftTerm); in bitExtractConstBVMult()1175 Expr leftshiftTerm = d_theoryBitvector->newFixedConstWidthLeftShiftExpr(t[1], j); in bitExtractBVMult() local1177 Expr iteTerm = cond.iteExpr(leftshiftTerm, zeroString); in bitExtractBVMult()