#include "clang/Analysis/FlowSensitive/CNFFormula.h"
#include "llvm/ADT/DenseSet.h"
#include <queue>
Go to the source code of this file.
|
| namespace | clang |
| | The JSON file list parser is used to communicate input to InstallAPI.
|
| |
| namespace | clang::dataflow |
| | Dataflow Directional Tag Classes.
|
| |
|
| CNFFormula | clang::dataflow::buildCNF (const llvm::ArrayRef< const Formula * > &Formulas, llvm::DenseMap< Variable, Atom > &Atomics) |
| | Converts the conjunction of Vals into a formula in conjunctive normal form where each clause has at least one and at most three literals.
|
| |
