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