Package dk.brics.automaton

Examples of dk.brics.automaton.Automaton.determinize()

233
234
235
236
237
238
239
240
241
242
243
      mainAut = Automaton.union(autLists.get(type));
      System.gc();
      if(verbose) {
        System.out.println("Memory: " + Runtime.getRuntime().freeMemory() + " " + Runtime.getRuntime().totalMemory() + " " + Runtime.getRuntime().maxMemory());
      }
      mainAut.determinize();
      if(verbose) {
        System.out.println("DFA initialised");
        System.out.println("Memory: " + Runtime.getRuntime().freeMemory() + " " + Runtime.getRuntime().totalMemory() + " " + Runtime.getRuntime().maxMemory());
      }
      runAuts.put(type, new RunAutomaton(mainAut, false));
View Full Code Here
260
261
262
263
264
265
266
267
268
269
270
      mainAut = Automaton.union(autLists.get(type));
      System.gc();
      if(verbose) {
        System.out.println("Memory: " + Runtime.getRuntime().freeMemory() + " " + Runtime.getRuntime().totalMemory() + " " + Runtime.getRuntime().maxMemory());
      }
      mainAut.determinize();
      if(verbose) System.out.println("DFA initialised");
      if(verbose) {
        System.out.println("Memory: " + Runtime.getRuntime().freeMemory() + " " + Runtime.getRuntime().totalMemory() + " " + Runtime.getRuntime().maxMemory());
      }
      runAuts.put(type, new RunAutomaton(mainAut, false));
View Full Code Here
63
64
65
66
67
68
69
70
71
72
73
        }
       
        // boilerplate stuff
        result.restoreInvariant();
        result.reduce();
        result.determinize();
        result.minimize();
       
        return result;
    }
View Full Code Here
342
343
344
345
346
347
348
349
350
351
352
                epsilons.add(new StatePair(result.getInitialState(), state));
            }
        }
        result.addEpsilons(epsilons);
        if (automaton.isDeterministic()) {
            result.determinize();
            result.minimize();
        }
        return result;
    }
   
View Full Code Here
364
365
366
367
368
369
370
371
372
373
374
                epsilons.add(new StatePair(result.getInitialState(), state));
            }
        }
        result.restoreInvariant(); // accept states have been modified
        result.addEpsilons(epsilons);
        result.determinize();
        result.minimize();
        return result;
    }
   
    /**
 
View Full Code Here
439
440
441
442
443
444
445
446
447
448
449
        Automaton a = Automaton.makeEmpty();
        for (Method m : methods) {
            String name = m.getName();
            a = a.union(Automaton.makeString(name));
        }
        a.determinize();
        a.minimize();
        return a;
    }

}
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.