Searched defs:toAPSInt (Results 1 – 3 of 3) sorted by relevance
53 APSInt toAPSInt() const { in toAPSInt() function56 APSInt toAPSInt(unsigned NumBits) const { in toAPSInt() function
514 APSInt toAPSInt() const { in toAPSInt() function
805 bool toAPSInt(const SMTSortRef &Sort, const SMTExprRef &AST, in toAPSInt() function in __anon5ae4843c0111::Z3Solver