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