Searched refs:FirstClass (Results 1 – 2 of 2) sorted by relevance
2327 EquivalenceClass FirstClass = find(State, First); in merge() local2330 return FirstClass.merge(F, State, SecondClass); in merge()3389 bool FirstClass = true; in printEquivalenceClasses() local3391 if (FirstClass) { in printEquivalenceClasses()3392 FirstClass = false; in printEquivalenceClasses()3435 bool FirstClass = true; in printDisequalities() local3439 if (FirstClass) { in printDisequalities()3440 FirstClass = false; in printDisequalities()
880 fcp 510/tcp #FirstClass Protocol881 fcp 510/udp #FirstClass Protocol