Lines Matching refs:Union
89 VLOG(1) << "Check destructive and delayed union are equivalent.";
91 Union(&U1, T2);
125 VLOG(1) << "Check union is associative (destructive).";
127 Union(&U1, T2);
128 Union(&U1, T3);
131 Union(&U3, T3);
133 Union(&U4, U3);
139 VLOG(1) << "Check union is associative (delayed).";
151 VLOG(1) << "Check union is associative (destructive delayed).";
153 Union(&U1, T3);
199 << " over union (destructive).";
202 Union(&U1, T2);
211 Union(&U2, C3);
218 << " over union (destructive).";
220 Union(&U1, T2);
229 Union(&U2, C3);
235 VLOG(1) << "Check concatenation left distributes over union (delayed).";
247 VLOG(1) << "Check concatenation right distributes over union (delayed).";
480 VLOG(1) << "Check composition left distributes over union.";
492 VLOG(1) << "Check composition right distributes over union.";
917 VLOG(1) << "Check the union contains its arguments (destructive).";
919 Union(&U, A2);
926 VLOG(1) << "Check the union contains its arguments (delayed).";
981 VLOG(1) << "Check union distributes over intersection.";
1084 // Test equivalence using union-find algorithm
1098 Union(&ufsa, dfsa2);