ΒΆinline std::string debugString(
    const llvm::DenseSet<BoolValue*>& Constraints,
    const Solver::Result& Result,
    llvm::DenseMap<const AtomicBoolValue*,
                   std::string> AtomNames = {{}})

Declared at: clang/include/clang/Analysis/FlowSensitive/DebugSupport.h:72

Parameters

const llvm::DenseSet<BoolValue*>& Constraints
const Solver::Result& Result
llvm::DenseMap<const AtomicBoolValue*, std::string> AtomNames = {{}}