Searched refs:getFloatSortSize (Results 1 – 2 of 2) sorted by relevance
788 llvm::APSInt Int(Sort->getFloatSortSize(), true); in toAPFloat()790 getFloatSemantics(Sort->getFloatSortSize()); in toAPFloat()791 SMTSortRef BVSort = getBitvectorSort(Sort->getFloatSortSize()); in toAPFloat()
51 virtual unsigned getFloatSortSize() const { in getFloatSortSize() function