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 |
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) |
void |
setInitial(State state) |
java.lang.Iterable<Transition> |
transitions() |
public 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()
public void setInitial(State state)