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()3379 bool FirstClass = true; in printEquivalenceClasses() local3381 if (FirstClass) { in printEquivalenceClasses()3382 FirstClass = false; in printEquivalenceClasses()3425 bool FirstClass = true; in printDisequalities() local3429 if (FirstClass) { in printDisequalities()3430 FirstClass = false; in printDisequalities()
880 fcp 510/tcp #FirstClass Protocol881 fcp 510/udp #FirstClass Protocol