public class Automaton extends java.lang.Object implements java.lang.Iterable<State>
| Modifier and Type | Class and Description |
|---|---|
class |
Automaton.Operations |
| Modifier and Type | Field and Description |
|---|---|
protected int |
expandCount |
protected State |
init |
Automaton.Operations |
op |
protected int |
scount |
| Constructor and Description |
|---|
Automaton() |
| Modifier and Type | Method and Description |
|---|---|
void |
addState(State n) |
int |
getExpandCount() |
State |
getInit() |
int |
getStateCount() |
int |
getTransitionCount() |
java.util.Iterator<State> |
iterator() |
void |
removeState(State n) |
void |
setExpandCount(int expandCount) |
java.lang.Iterable<Transition> |
transitions() |
protected State init
protected int expandCount
public final Automaton.Operations op
protected int scount
public void addState(State n)
public int getExpandCount()
public State getInit()
public int getStateCount()
public int getTransitionCount()
public java.util.Iterator<State> iterator()
iterator in interface java.lang.Iterable<State>public void removeState(State n)
public void setExpandCount(int expandCount)
public java.lang.Iterable<Transition> transitions()