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