Searched defs:extractLow (Results 1 – 2 of 2) sorted by relevance
172 unsigned extractLow = utils::getExtractLow(node); in applies() local
4220 int extractLow = d_theoryBitvector->getExtractLow(e); in extractBVMult() local4250 int extractLow = d_theoryBitvector->getExtractLow(e); in extractBVPlus() local