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