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