Java SpecialOperations.reverse Examples

Example #1

File: MinimizationOperations.java Project: redox/dk.brics.automaton

 /** Minimizes the given automaton using Brzozowski's algorithm. */
 public static void minimizeBrzozowski(Automaton a) {
   if (a.isSingleton()) return;
   BasicOperations.determinize(a, SpecialOperations.reverse(a));
   BasicOperations.determinize(a, SpecialOperations.reverse(a));
 }

Example #2

File: AutomatonTestUtil.java Project: ankit-zettata/solr-analytics

 /** Simple, original brics implementation of Brzozowski minimize() */
 public static void minimizeSimple(Automaton a) {
   if (a.isSingleton()) return;
   determinizeSimple(a, SpecialOperations.reverse(a));
   determinizeSimple(a, SpecialOperations.reverse(a));
 }