ΒΆstd::string debugString(
Solver::Result::Assignment Assignment)
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