Searched refs:DisEqClassSpace (Results 1 – 1 of 1) sorted by relevance
3438 unsigned int DisEqClassSpace = DisEqSpace + 1; in printDisequalities() local3439 Indent(Out, DisEqClassSpace, IsDot); in printDisequalities()3446 Indent(Out, DisEqClassSpace, IsDot); in printDisequalities()