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