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