Searched refs:getBitvector (Results 1 – 2 of 2) sorted by relevance
254 virtual llvm::APSInt getBitvector(const SMTExprRef &Exp, unsigned BitWidth,
675 llvm::APSInt getBitvector(const SMTExprRef &Exp, unsigned BitWidth, in getBitvector() function in __anon1f86e14b0211::Z3Solver730 Int = getBitvector(AST, Int.getBitWidth(), Int.isUnsigned()); in toAPSInt()