1821                  unsigned int Space = 0, bool IsDot = false) const override;
1826                         bool IsDot = false) const;
1829                                bool IsDot = false) const;
1832                           bool IsDot = false) const;
3171                                        bool IsDot) const {  in printJson()
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()
3195                                               bool IsDot) const {  in printConstraints()
3198   Indent(Out, Space, IsDot) << "\"constraints\": ";  in printConstraints()
3226     Indent(Out, Space, IsDot)  in printConstraints()
3234   Indent(Out, Space, IsDot) << "]," << NL;  in printConstraints()
3266                                                      bool IsDot) const {  in printEquivalenceClasses()
3269   Indent(Out, Space, IsDot) << "\"equivalence_classes\": ";  in printEquivalenceClasses()
3289     Indent(Out, Space, IsDot);  in printEquivalenceClasses()
3295   Indent(Out, Space, IsDot) << "]," << NL;  in printEquivalenceClasses()
3302                                                 bool IsDot) const {  in printDisequalities()
3305   Indent(Out, Space, IsDot) << "\"disequality_info\": ";  in printDisequalities()
3337     Indent(Out, Space, IsDot) << "{" << NL;  in printDisequalities()
3339     Indent(Out, DisEqSpace, IsDot) << "\"class\": ";  in printDisequalities()
3344       Indent(Out, DisEqSpace, IsDot) << "\"disequal_to\": [" << NL;  in printDisequalities()
3346       Indent(Out, DisEqClassSpace, IsDot);  in printDisequalities()
3353           Indent(Out, DisEqClassSpace, IsDot);  in printDisequalities()
3359     Indent(Out, Space, IsDot) << "}";  in printDisequalities()
3364   Indent(Out, Space, IsDot) << "]," << NL;  in printDisequalities()