The type of a state in the FA to iterate.
The type of the value each state maps to.
Readonly getReturns the value a state maps to.
Callers of this function are allowed to call the function without a this argument.
Readonly initialThe initial state of the FA.
Readonly isReturns whether the given state is a final state.
This function is guaranteed to be deterministic during the time the iterator is used. It is also guaranteed to be
sufficiently fast, usually O(1) can be assumed.
Callers of this function are allowed to call the function without a this argument.
Optional Readonly stableWhether the getOut function is stableOut during the lifetime of the iterator.
Stable means that if getOut gets called for the same state more than once, it will always return the same
value.
The sameness of states is defined by the key equality of the Map class.
The sameness of returned values is not defined by this interface and depends of the iterator.
I.e. a stable getOut function may return new collections/iterators on subsequent invocations as long as the
collections/iterators are considered equal (e.g. equal could be defined as "same elements") by the consumer of
the iterator.
false
A graph iterator for all states of an FA with final states.