| Package | Description |
|---|---|
| org.processmining.ltl2automaton.plugins | |
| org.processmining.ltl2automaton.plugins.automaton |
| Modifier and Type | Method and Description |
|---|---|
void |
AutomatonFactory.addTransition(Transition t) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.Iterable<Transition> |
State.getOutput() |
java.lang.Iterable<Transition> |
Automaton.transitions() |
| Modifier and Type | Method and Description |
|---|---|
void |
DefaultAutomatonFactory.addTransition(Transition t) |
protected void |
NDFAOperations.copyTransition(AutomatonFactory factory,
java.util.Map<State,java.lang.Object> stateMap,
Transition t) |