CNFFormula.cpp File Reference

#include "clang/Analysis/FlowSensitive/CNFFormula.h"
#include "llvm/ADT/DenseSet.h"
#include <queue>

Go to the source code of this file.

Namespaces
namespace	clang
	The JSON file list parser is used to communicate input to InstallAPI.
namespace	clang::dataflow
	Dataflow Directional Tag Classes.

Functions
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.