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

Packages that use TransitionLabel

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

Uses of TransitionLabel in org.processmining.ltl2automaton.plugins

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

Modifier and Type	Method and Description
void	AutomatonFactory.addTransition(java.lang.Object source, java.lang.Object target, TransitionLabel label)

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

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

Modifier and Type	Method and Description
void	DefaultAutomatonFactory.addTransition(java.lang.Object sourceState, java.lang.Object tragetState, TransitionLabel label)