Package wyautl.core

Examples of wyautl.core.Automaton$Real

42
43
44
45
46
47
48
49
50
51
52
53
54
    }

    private static void reduce(String text, RewriteMode rwMode) {
    try {
      Parser parser = new Parser(text);
      Automaton automaton = new Automaton();
      int root = parser.parse(automaton);
      automaton.setRoot(0, root);

      PrettyAutomataWriter writer = new PrettyAutomataWriter(System.out,
          Logic.SCHEMA, "Or", "And");
      System.out.println("------------------------------------");
      writer.write(automaton);
View Full Code Here
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
  }

  public static void check(String line) {
    boolean unsat = line.charAt(0) == 'u';
    Parser parser = new Parser(line.substring(2));
    Automaton automaton = new Automaton();
    int root = parser.parse(automaton);
    automaton.setRoot(0, root);

    StrategyRewriter.Strategy<InferenceRule> inferenceStrategy = new SimpleRewriteStrategy<InferenceRule>(
        automaton, Arithmetic.inferences);
    StrategyRewriter.Strategy<ReductionRule> reductionStrategy = new SimpleRewriteStrategy<ReductionRule>(
        automaton, Arithmetic.reductions);
    StrategyRewriter rw = new StrategyRewriter(automaton,
        inferenceStrategy, reductionStrategy, Arithmetic.SCHEMA);
    rw.apply(10000);

    boolean result = automaton.get(automaton.getRoot(0)).equals(Arithmetic.False);
    if(result != unsat) {
      System.out.println("\n\n*** TEST FAILED: " + line + "\n");
    }

    // else if(Arithmetic.numSteps >= Arithmetic.MAX_STEPS) {
View Full Code Here
43
44
45
46
47
48
49
50
51
52
53
54
55
    }

    private static void reduce(String text, RewriteMode rwMode) {
  try {
      Parser parser = new Parser(text);
      Automaton automaton = new Automaton();
      int root = parser.parse(automaton);
      automaton.setRoot(0, root);

      PrettyAutomataWriter writer = new PrettyAutomataWriter(System.out,
                   Types.SCHEMA, "Or", "And");
      System.out.println("------------------------------------");
      writer.write(automaton);
View Full Code Here
TOP

Related Classes of wyautl.core.Automaton$Real

  • Main
  • org.chromium.sdk.CallbackSemaphore
  • org.chromium.sdk.JsDeclarativeVariable
  • org.chromium.sdk.JsEvaluateContext
  • org.chromium.sdk.JsObjectProperty
  • org.chromium.sdk.JsValue
  • org.chromium.sdk.RelayOk
  • org.eclipse.core.runtime.Status
  • org.eclipse.debug.core.DebugEvent
  • org.rascalmpl.interpreter.matching.LiteralPattern
    • Copyright © 2018 www.massapicom. 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.