14#ifndef LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_WATCHEDLITERALSSOLVER_H
15#define LLVM_CLANG_ANALYSIS_FLOWSENSITIVE_WATCHEDLITERALSSOLVER_H
19#include "llvm/ADT/ArrayRef.h"
38 std::int64_t MaxIterations = std::numeric_limits<std::int64_t>::max();
48 : MaxIterations(WorkLimit) {}
An interface for a SAT solver that can be used by dataflow analyses.
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
Dataflow Directional Tag Classes.
The JSON file list parser is used to communicate input to InstallAPI.
@ Result
The result type of a method or function.