MMLTs: add direct equivalence check

Author: mtf90

util/src/main/java/net/automatalib/util/automaton/mmlt/MMLTUtil.java

@@ -19,6 +19,12 @@
  */
 public class MMLTUtil {
 
+    public static <I, O> boolean testEquivalence(MMLT<?, I, ?, O> modelA,
+                                                 MMLT<?, I, ?, O> modelB,
+                                                 Collection<TimedInput<I>> inputs) {
+        return findSeparatingWord(modelA, modelB, inputs) == null;
+    }
+
     public static @Nullable <I, O> Word<TimedInput<I>> findSeparatingWord(MMLT<?, I, ?, O> modelA, MMLT<?, I, ?, O> modelB,
                                                                           Collection<TimedInput<I>> inputs) {
         var expandedA = ReducedMMLTSemantics.forLocalTimerMealy(modelA);