34 std::string debugString(Solver::Result::Assignment Assignment) {  in debugString()  function
44 std::string debugString(Solver::Result::Status Status) {  in debugString()  function
73   std::string debugString(const BoolValue &B, size_t Depth = 0) {  in debugString()  function in clang::dataflow::__anon1cf49c220111::DebugStringGenerator
82       auto L = debugString(C.getLeftSubValue(), Depth + 1);  in debugString()
83       auto R = debugString(C.getRightSubValue(), Depth + 1);  in debugString()
89       auto L = debugString(D.getLeftSubValue(), Depth + 1);  in debugString()
90       auto R = debugString(D.getRightSubValue(), Depth + 1);  in debugString()
96       S = formatv("(not\n{0})", debugString(N.getSubVal(), Depth + 1));  in debugString()
101       auto L = debugString(IV.getLeftSubValue(), Depth + 1);  in debugString()
102       auto R = debugString(IV.getRightSubValue(), Depth + 1);  in debugString()
108       auto L = debugString(BV.getLeftSubValue(), Depth + 1);  in debugString()
109       auto R = debugString(BV.getRightSubValue(), Depth + 1);  in debugString()
120   std::string debugString(const llvm::DenseSet<BoolValue *> &Constraints) {  in debugString()  function in clang::dataflow::__anon1cf49c220111::DebugStringGenerator
124       ConstraintsStrings.push_back(debugString(*Constraint));  in debugString()
138   std::string debugString(ArrayRef<BoolValue *> &Constraints,  in debugString()  function in clang::dataflow::__anon1cf49c220111::DebugStringGenerator
154       ConstraintsStrings.push_back(debugString(*Constraint));  in debugString()
157     auto StatusString = clang::dataflow::debugString(Result.getStatus());  in debugString()
159     auto SolutionString = Solution ? "\n" + debugString(Solution.value()) : "";  in debugString()
169   std::string debugString(  in debugString()  function in clang::dataflow::__anon1cf49c220111::DebugStringGenerator
182                           clang::dataflow::debugString(AtomAssignment.second));  in debugString()
211 debugString(const BoolValue &B,  in debugString()  function
213   return DebugStringGenerator(std::move(AtomNames)).debugString(B);  in debugString()
217 debugString(const llvm::DenseSet<BoolValue *> &Constraints,  in debugString()  function
219   return DebugStringGenerator(std::move(AtomNames)).debugString(Constraints);  in debugString()
223 debugString(ArrayRef<BoolValue *> Constraints, const Solver::Result &Result,  in debugString()  function
226       .debugString(Constraints, Result);  in debugString()