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