public void addTransition(final State<T> begin, final State<T> end) { begin.addTransition(end); }
public void addTransition(final State<T> begin, final State<T> end) { begin.addTransition(end); }
public void addTransition(final State<T> begin, final T transition, final State<T> end) { if (transition == null) throw new NullPointerException(); begin.addTransition(transition, end); _alphabet.add(transition); }
public void addTransition(final State<T> begin, final T transition, final State<T> end) { if (transition == null) throw new NullPointerException(); begin.addTransition(transition, end); _alphabet.add(transition); }
if (u.equals(s)) u = s; s.addTransition(a, u);
if (u.equals(s)) u = s; s.addTransition(a, u);
n1.addTransition(n2); else n1.addTransition(t.getName(), n2);
n1.addTransition(n2); else n1.addTransition(t.getName(), n2);