Searched defs:leftshiftTerm (Results 1 – 1 of 1) sorted by relevance
1107 Expr leftshiftTerm = in bitExtractConstBVMult() local1175 Expr leftshiftTerm = d_theoryBitvector->newFixedConstWidthLeftShiftExpr(t[1], j); in bitExtractBVMult() local