Searched refs:FirstClass (Results 1 – 1 of 1) sorted by relevance
2245 EquivalenceClass FirstClass = find(State, First); in merge() local2248 return FirstClass.merge(F, State, SecondClass); in merge()3281 bool FirstClass = true; in printEquivalenceClasses() local3283 if (FirstClass) { in printEquivalenceClasses()3284 FirstClass = false; in printEquivalenceClasses()3327 bool FirstClass = true; in printDisequalities() local3331 if (FirstClass) { in printDisequalities()3332 FirstClass = false; in printDisequalities()