Java SpecialOperations.reverseの例

コード例 #1

ファイル: MinimizationOperations.java プロジェクト: 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));
 }

コード例 #2

ファイル: AutomatonTestUtil.java プロジェクト: 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));
 }