Nested Classes
Modifier and Type	Interface	Description
`static class`	`IAutomaton.NonDeterministicOperationException`
`static class`	`IAutomaton.StateNotInAutomatonException`
`static class`	`IAutomaton.Triple`

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`IAutomaton`	`clone()`
`int`	`delta(int k, int j)`
`void`	`delta(int k, int j, gnu.trove.set.hash.TIntHashSet nexts)`
`int`	`getInitialState()`
`int`	`getNbStates()`
`List<int[]>`	`getTransitions()`
`List<int[]>`	`getTransitions(int i)`
`boolean`	`isFinal(int k)`
`boolean`	`isNotFinal(int k)`
`boolean`	`run(int[] str)`

IAutomaton clone()
          throws CloneNotSupportedException

int delta(int k,
          int j)
   throws IAutomaton.NonDeterministicOperationException

void delta(int k,
           int j,
           gnu.trove.set.hash.TIntHashSet nexts)

Interface IAutomaton