Searched defs:useSemantics (Results 1 - 1 of 1) sorted by relevance

/freebsd-13-stable/contrib/llvm-project/llvm/lib/Support/
H A DZ3Solver.cpp784 toAPFloat(const SMTSortRef &Sort, const SMTExprRef &AST, llvm::APFloat &Float, bool useSemantics) argument
805 toAPSInt(const SMTSortRef &Sort, const SMTExprRef &AST, llvm::APSInt &Int, bool useSemantics) argument

Completed in 93 milliseconds