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