1821                  unsigned int Space = 0, bool IsDot = false) const override;
1825                         const char *NL = "\n", unsigned int Space = 0,
1828                                const char *NL = "\n", unsigned int Space = 0,
1831                           const char *NL = "\n", unsigned int Space = 0,
3170                                        const char *NL, unsigned int Space,  in printJson()  argument
3172   printConstraints(Out, State, NL, Space, IsDot);  in printJson()
3173   printEquivalenceClasses(Out, State, NL, Space, IsDot);  in printJson()
3174   printDisequalities(Out, State, NL, Space, IsDot);  in printJson()
3194                                               unsigned int Space,  in printConstraints()  argument
3198   Indent(Out, Space, IsDot) << "\"constraints\": ";  in printConstraints()
3216   ++Space;  in printConstraints()
3226     Indent(Out, Space, IsDot)  in printConstraints()
3233   --Space;  in printConstraints()
3234   Indent(Out, Space, IsDot) << "]," << NL;  in printConstraints()
3265                                                      unsigned int Space,  in printEquivalenceClasses()  argument
3269   Indent(Out, Space, IsDot) << "\"equivalence_classes\": ";  in printEquivalenceClasses()
3279   ++Space;  in printEquivalenceClasses()
3289     Indent(Out, Space, IsDot);  in printEquivalenceClasses()
3294   --Space;  in printEquivalenceClasses()
3295   Indent(Out, Space, IsDot) << "]," << NL;  in printEquivalenceClasses()
3301                                                 unsigned int Space,  in printDisequalities()  argument
3305   Indent(Out, Space, IsDot) << "\"disequality_info\": ";  in printDisequalities()
3325   ++Space;  in printDisequalities()
3337     Indent(Out, Space, IsDot) << "{" << NL;  in printDisequalities()
3338     unsigned int DisEqSpace = Space + 1;  in printDisequalities()
3359     Indent(Out, Space, IsDot) << "}";  in printDisequalities()
3363   --Space;  in printDisequalities()
3364   Indent(Out, Space, IsDot) << "]," << NL;  in printDisequalities()