Home
last modified time | relevance | path

Searched refs:isBooleanSort (Results 1 – 2 of 2) sorted by relevance

/freebsd/contrib/llvm-project/llvm/include/llvm/Support/
H A DSMTAPI.h38 virtual bool isBooleanSort() const { return isBooleanSortImpl(); } in isBooleanSort() function
/freebsd/contrib/llvm-project/llvm/lib/Support/
H A DZ3Solver.cpp843 if (Sort->isBooleanSort()) { in toAPSInt()