| Package | Description |
|---|---|
| net.ericaro.neobin |
| Modifier and Type | Method and Description |
|---|---|
State |
BinGrex.getDest(Transition edge) |
State |
Transition.getNextState() |
State |
BinGrex.getSource(Transition edge) |
State |
BinaryFormat.getStart() |
State |
BinGrex.getStartState() |
protected State |
BinGrex.newState() |
| Modifier and Type | Method and Description |
|---|---|
Collection<State> |
BinGrex.getStates() |
Iterable<State> |
BinaryFormat.getStates() |
| Modifier and Type | Method and Description |
|---|---|
Collection<Transition> |
BinGrex.getOutEdges(State current) |
boolean |
BinGrex.isOutputState(State state) |
void |
Transition.setNextState(State nextState) |
| Constructor and Description |
|---|
BinaryFormat(String packageName,
State start,
Collection<State> states,
Collection<Transition> transitions) |
BinGrex(Transition t,
State src,
State target) |
Transition(String method,
List<BinaryType> types,
State nextState) |
| Constructor and Description |
|---|
BinaryFormat(String packageName,
State start,
Collection<State> states,
Collection<Transition> transitions) |
Copyright © 2012. All Rights Reserved.