Searched defs:FirstClass (Results 1 – 1 of 1) sorted by relevance
2327 EquivalenceClass FirstClass = find(State, First); in merge() local3389 bool FirstClass = true; in printEquivalenceClasses() local3435 bool FirstClass = true; in printDisequalities() local