| Package | Description |
|---|---|
| net.ericaro.neobin |
| Modifier and Type | Method and Description |
|---|---|
protected Transition |
BinGrex.cloneTransition(Transition t) |
Transition |
State.getTransition()
return THE transition when there is only one
|
Transition |
Transition.newInstance()
returns a clone of this transition
|
| Modifier and Type | Method and Description |
|---|---|
Collection<Transition> |
BinGrex.getOutEdges(State current) |
Collection<Transition> |
BinGrex.getTransitions() |
List<Transition> |
State.getTransitions() |
Iterable<Transition> |
BinaryFormat.getTransitions() |
Iterable<Transition> |
BinaryFormat.getUniqueTransitions() |
| Modifier and Type | Method and Description |
|---|---|
protected Transition |
BinGrex.cloneTransition(Transition t) |
State |
BinGrex.getDest(Transition edge) |
State |
BinGrex.getSource(Transition edge) |
| Constructor and Description |
|---|
BinGrex(Transition t,
State src,
State target) |
Transition(Transition that) |
| Constructor and Description |
|---|
BinaryFormat(String packageName,
State start,
Collection<State> states,
Collection<Transition> transitions) |
Copyright © 2012. All Rights Reserved.