Lines Matching refs:Equivalent
89 VLOG(1) << "Check destructive and delayed union are equivalent.";
98 VLOG(1) << "Check destructive and delayed concatenation are equivalent.";
109 VLOG(1) << "Check destructive and delayed closure* are equivalent.";
117 VLOG(1) << "Check destructive and delayed closure+ are equivalent.";
311 VLOG(1) << "Check destructive and delayed projection are equivalent.";
320 VLOG(1) << "Check destructive and delayed inversion are equivalent.";
518 VLOG(1) << "Check all epsilon filters leads to equivalent results.";
539 VLOG(1) << "Check arc sorted Fst is equivalent to its input.";
546 VLOG(1) << "Check destructive and delayed arcsort are equivalent.";
565 VLOG(1) << "Check topologically sorted Fst is equivalent to its input.";
590 VLOG(1) << "Check connected FST is equivalent to its input.";
598 VLOG(1) << "Check epsilon-removed FST is equivalent to its input.";
604 << "are equivalent.";
637 VLOG(1) << "Check determinized FSA is equivalent to its input.";
691 VLOG(1) << "Check pushed FST is equivalent to input FST.";
815 // Tests if two FSTS are equivalent by checking if random
1037 VLOG(1) << "Check determinized FSA is equivalent to its input.";
1043 VLOG(1) << "Check minimized FSA is equivalent to its input.";
1071 // Tests if two FSAS are equivalent.
1085 bool equiv1 = Equivalent(dfa1, dfa2);
1124 return Equivalent(dfa1, dfa2);
