Lines Matching refs:Union
91 Union(&U1, T2); in TestRational()
127 Union(&U1, T2); in TestRational()
128 Union(&U1, T3); in TestRational()
131 Union(&U3, T3); in TestRational()
133 Union(&U4, U3); in TestRational()
153 Union(&U1, T3); in TestRational()
202 Union(&U1, T2); in TestRational()
211 Union(&U2, C3); in TestRational()
220 Union(&U1, T2); in TestRational()
229 Union(&U2, C3); in TestRational()
919 Union(&U, A2); in TestRational()
1098 Union(&ufsa, dfsa2); in Equiv()