Uses of Interface
org.processmining.ltl2automaton.plugins.AutomatonFactory

Packages that use AutomatonFactory

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

Uses of AutomatonFactory in org.processmining.ltl2automaton.plugins

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

Modifier and Type	Method and Description
void	LTL2Automaton.translate(Formula formula, AutomatonFactory factory, boolean singleProperty)

Constructors in org.processmining.ltl2automaton.plugins with parameters of type AutomatonFactory

Constructor and Description
SinglePropertyGraph(Formula frm, AutomatonFactory factory)

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

Classes in org.processmining.ltl2automaton.plugins.automaton that implement AutomatonFactory

Modifier and Type	Class and Description
class	DefaultAutomatonFactory

Methods in org.processmining.ltl2automaton.plugins.automaton that return AutomatonFactory

Modifier and Type	Method and Description
protected AutomatonFactory	NDFAOperations.newFactory()

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

Modifier and Type	Method and Description
protected void	NDFAOperations.copyState(AutomatonFactory factory, java.util.Map<State,java.lang.Object> stateMap, State s, int id)
protected java.util.Map<State,java.lang.Object>	NDFAOperations.copyStates(Automaton a, AutomatonFactory factory)
protected void	NDFAOperations.copyTransition(AutomatonFactory factory, java.util.Map<State,java.lang.Object> stateMap, Transition t)
protected void	NDFAOperations.copyTransitions(Automaton a, AutomatonFactory factory, java.util.Map<State,java.lang.Object> stateMap)

Constructor parameters in org.processmining.ltl2automaton.plugins.automaton with type arguments of type AutomatonFactory

Constructor and Description
DFAOperations(java.lang.Class<? extends AutomatonFactory> factoryClass)
NDFAOperations(java.lang.Class<? extends AutomatonFactory> factoryClass)