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
515 APSInt toAPSInt() const { in toAPSInt() function
819 bool toAPSInt(const SMTSortRef &Sort, const SMTExprRef &AST, in toAPSInt() function in __anona2cc94240111::Z3Solver