Examples of wyautl.core.Automaton.State

wyautl.core.Automaton.State

  }


  private static void extend(int index, Morphism candidate,
      ArrayList<Morphism> candidates, Automaton automaton) {


    State s = automaton.get(candidate.i2n[index]);


    switch (s.kind) {
    case Automaton.K_VOID:
    case Automaton.K_BOOL:
    case Automaton.K_INT:

View Full Code Here

      Automaton automaton) {


    int size = Math.min(morph1.free, morph2.free);


    for (int i = 0; i != size; ++i) {
      State s1 = automaton.get(morph1.i2n[i]);
      State s2 = automaton.get(morph2.i2n[i]);


      if (s1.kind < s2.kind) {
        return true;
      } else if (s1.kind > s2.kind) {
        return false;

View Full Code Here


    // Second, apply the oneStepUndo map to all unreachable vertices
    boolean changed = false;
    for (int i = 0; i != pivot; ++i) {
      if (!reachable[i]) {
        State state = automaton.get(i);
        if (state != null) {
          changed |= state.remap(oneStepUndo);
        }
      }
    }


    // Third, minimise automaton (if applicable)

View Full Code Here

    // information accordingly.
    int j = pivot;


    for (int i = pivot; i < nStates; ++i) {
      if (reachable[i]) {
        State ith = automaton.get(i);
        binding[i] = j;
        reachable[i] = false;
        reachable[j] = true;
        oneStepUndo[j] = oneStepUndo[i];
        automaton.set(j++, ith);

View Full Code Here

TOP

Related Classes of wyautl.core.Automaton.State

wyautl.core.Automata

wyautl.rw.IterativeRewriter

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.