Home
last modified time | relevance | path

Searched refs:mkBoolean (Results 1 – 3 of 3) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTSolver.h261 virtual SMTExprRef mkBoolean(const bool b) = 0;
H A DSMTConstraintManager.h137 Ty->isBooleanType() ? Solver->mkBoolean(Value.getBoolValue()) in getSymVal()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DZ3ConstraintManager.cpp645 SMTExprRef mkBoolean(const bool b) override { in mkBoolean() function in __anon1f86e14b0211::Z3Solver