Searched refs:toAPSInt (Results 1 – 1 of 1) sorted by relevance
701 if (!toAPSInt(BVSort, AST, Int, true)) { in toAPFloat()714 bool toAPSInt(const SMTSortRef &Sort, const SMTExprRef &AST, in toAPSInt() function in __anon1f86e14b0211::Z3Solver763 return toAPSInt(Sort, Assign, Int, true); in getInterpretation()