¶clang::dataflow::BooleanFormula
buildBooleanFormula(
    const llvm::DenseSet<BoolValue*>& Vals)

Description

Converts the conjunction of `Vals` into a formula in conjunctive normal form where each clause has at least one and at most three literals.

Declared at: clang/lib/Analysis/FlowSensitive/WatchedLiteralsSolver.cpp:180

Parameters

const llvm::DenseSet<BoolValue*>& Vals