Searched refs:concatLo (Results 1 – 1 of 1) sorted by relevance
4716 Expr concatHi, concatLo; in liftConcatBVMult() local4721 concatLo = e[idx][1]; in liftConcatBVMult()4728 concatLo = d_theoryBitvector->newConcatExpr(concatKids); in liftConcatBVMult()4735 concatLo = concatKids.back(); in liftConcatBVMult()4745 int n = d_theoryBitvector->BVSize(concatLo); in liftConcatBVMult()4746 kids.push_back(concatLo); in liftConcatBVMult()