Searched refs:FirstClass (Results 1 – 2 of 2) sorted by relevance
1804 EquivalenceClass FirstClass = find(State, First); in merge() local1807 return FirstClass.merge(F, State, SecondClass); in merge()2730 bool FirstClass = true; in printEquivalenceClasses() local2732 if (FirstClass) { in printEquivalenceClasses()2733 FirstClass = false; in printEquivalenceClasses()2776 bool FirstClass = true; in printDisequalities() local2780 if (FirstClass) { in printDisequalities()2781 FirstClass = false; in printDisequalities()
884 fcp 510/tcp #FirstClass Protocol885 fcp 510/udp #FirstClass Protocol