Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DWatchedLiteralsSolver.cpp115 if (CNF.knownContradictory()) in WatchedLiteralsSolverImpl()
147 if (CNF.knownContradictory()) { in solve()
H A DCNFFormula.cpp88 bool isKnownContradictory() { return Formula.knownContradictory(); } in isKnownContradictory()
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DCNFFormula.h112 bool knownContradictory() const { return KnownContradictory; } in knownContradictory() function