Defined in 2 files as a prototype:
- contrib/llvm-project/llvm/include/llvm/Support/SMTAPI.h, line 78 (as a prototype)
- contrib/llvm-project/llvm/include/llvm/Support/SMTAPI.h, line 125 (as a prototype)
Defined in 2 files as a function:
- contrib/llvm-project/llvm/lib/Support/Z3Solver.cpp, line 128 (as a function)
- contrib/llvm-project/llvm/lib/Support/Z3Solver.cpp, line 181 (as a function)