Uses of Class
org.processmining.ltl2automaton.plugins.automaton.Transition

Packages that use Transition

Package	Description
org.processmining.ltl2automaton.plugins
org.processmining.ltl2automaton.plugins.automaton

Uses of Transition in org.processmining.ltl2automaton.plugins

Methods in org.processmining.ltl2automaton.plugins with parameters of type Transition

Modifier and Type	Method and Description
void	AutomatonFactory.addTransition(Transition t)

Uses of Transition in org.processmining.ltl2automaton.plugins.automaton

Methods in org.processmining.ltl2automaton.plugins.automaton that return types with arguments of type Transition

Modifier and Type	Method and Description
java.lang.Iterable<Transition>	State.getOutput()
java.lang.Iterable<Transition>	Automaton.transitions()

Methods in org.processmining.ltl2automaton.plugins.automaton with parameters of type Transition

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)