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