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