Searched refs:BVSort (Results 1 – 1 of 1) sorted by relevance
793 SMTSortRef BVSort = getBitvectorSort(Sort->getFloatSortSize()); in toAPFloat() local794 if (!toAPSInt(BVSort, AST, Int, true)) { in toAPFloat()