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