Searched refs:FirstClass (Results 1 – 2 of 2) sorted by relevance
2312 EquivalenceClass FirstClass = find(State, First); in merge() local2315 return FirstClass.merge(F, State, SecondClass); in merge()3374 bool FirstClass = true; in printEquivalenceClasses() local3376 if (FirstClass) { in printEquivalenceClasses()3377 FirstClass = false; in printEquivalenceClasses()3420 bool FirstClass = true; in printDisequalities() local3424 if (FirstClass) { in printDisequalities()3425 FirstClass = false; in printDisequalities()
883 fcp 510/tcp #FirstClass Protocol884 fcp 510/udp #FirstClass Protocol