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

Description

Returns a string representation for `Constraints` - a collection of boolean formulas. Atomic booleans appearing in the boolean value `Constraints` are assigned to labels either specified in `AtomNames` or created by default rules as B0, B1, ... Requirements: Names assigned to atoms should not be repeated in `AtomNames`.

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

Parameters

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