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