Searched refs:DisEqSpace (Results 1 – 1 of 1) sorted by relevance
2787 unsigned int DisEqSpace = Space + 1; in printDisequalities() local2788 Indent(Out, DisEqSpace, IsDot) << "\"class\": "; in printDisequalities()2793 Indent(Out, DisEqSpace, IsDot) << "\"disequal_to\": [" << NL; in printDisequalities()2794 unsigned int DisEqClassSpace = DisEqSpace + 1; in printDisequalities()