14 #ifndef LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_WATCHEDLITERALSSOLVER_H
15 #define LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_WATCHEDLITERALSSOLVER_H
19 #include "llvm/ADT/ArrayRef.h"
48 : MaxIterations(WorkLimit) {}
__DEVICE__ int max(int __a, int __b)
An interface for a SAT solver that can be used by dataflow analyses.
A SAT solver that is an implementation of Algorithm D from Knuth's The Art of Computer Programming Vo...
WatchedLiteralsSolver(std::int64_t WorkLimit)
Result solve(llvm::ArrayRef< const Formula * > Vals) override
Checks if the conjunction of Vals is satisfiable and returns the corresponding result.
WatchedLiteralsSolver()=default
bool reachedLimit() const override
The JSON file list parser is used to communicate input to InstallAPI.