ΒΆstd::string debugString(
    Solver::Result::Assignment Assignment)

Description

Returns a string representation of a boolean assignment to true or false.

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

Parameters

Solver::Result::Assignment Assignment