Searched defs:isBooleanSort (Results 1 - 1 of 1) sorted by relevance
| /freebsd-13-stable/contrib/llvm-project/llvm/include/llvm/Support/ | ||
| H A D | SMTAPI.h | 38 virtual bool isBooleanSort() const { return isBooleanSortImpl(); } function in class:llvm::SMTSort |
Completed in 100 milliseconds