editor
Class Editor.TransIterator

java.lang.Object
  |
  +--editor.Editor.TransIterator

Enclosing class:

Editor

public class Editor.TransIterator

extends java.lang.Object

Constructor Summary

Editor.TransIterator(java.util.LinkedList transLL)

Method Summary

boolean

withEachTransDo(Transition trans)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Editor.TransIterator

public Editor.TransIterator(java.util.LinkedList transLL)

Method Detail

withEachTransDo

public boolean withEachTransDo(Transition trans)