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