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

Packages that use Automaton

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

Uses of Automaton in org.processmining.ltl2automaton.plugins

Methods in org.processmining.ltl2automaton.plugins that return Automaton

Modifier and Type	Method and Description
Automaton	AutomatonFactory.getAutomaton()
Automaton	LTL2Automaton.translate(java.util.Collection<Formula> formulas)
Automaton	LTL2Automaton.translate(Formula formula)
Automaton	LTL2Automaton.translate(Formula ltl, boolean singleProperty, boolean useAutomatonProperties, boolean minimizeSubAutomata, boolean deep, boolean deterministic, java.util.Map<java.lang.String,DeterministicAutomaton> cache)
Automaton	LTL2Automaton.translate(java.lang.String ltl)
Automaton	LTL2Automaton.translateNondeterministicAutomatonOperation(Formula formula, boolean minimizeSubAutomata)
Automaton	LTL2Automaton.translateSimple(Formula formula, boolean singleProperty)

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

Subclasses of Automaton in org.processmining.ltl2automaton.plugins.automaton

Modifier and Type	Class and Description
class	DeterministicAutomaton Tagging subclass to distinguish between deterministic and non-deterministic autonmata

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

Modifier and Type	Method and Description
Automaton	DefaultAutomatonFactory.getAutomaton()
Automaton	Automaton.Operations.intersect(Automaton b)
Automaton	NDFAOperations.intersect(Automaton a1, Automaton a2) Return an automaton accepting the intersection of the languages of a1 and a2.
Automaton	NDFAOperations.negate(Automaton a) Return an automaton accepting the complement of the language accepted by a.
Automaton	Automaton.Operations.reduce()
Automaton	NDFAOperations.reduce(Automaton a)
Automaton	Automaton.Operations.renumber()
Automaton	NDFAOperations.union(Automaton a1, Automaton a2) Return an automaton accepting the union of the languages of a1 and a2.

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

Modifier and Type	Method and Description
protected java.util.Map<State,java.lang.Object>	NDFAOperations.copyStates(Automaton a, AutomatonFactory factory)
protected void	NDFAOperations.copyTransitions(Automaton a, AutomatonFactory factory, java.util.Map<State,java.lang.Object> stateMap)
DeterministicAutomaton	NDFAOperations.determinize(Automaton a) Return a deterministic automaton accepting the same language as a.
static void	DOTExporter.exportToDot(Automaton a, java.lang.String name, java.io.Writer w)
protected int	NDFAOperations.getMaxId(Automaton a)
Automaton	Automaton.Operations.intersect(Automaton b)
Automaton	NDFAOperations.intersect(Automaton a1, Automaton a2) Return an automaton accepting the intersection of the languages of a1 and a2.
boolean	NDFAOperations.isAll(Automaton a) Returns if this automaton definitely accepts all strings (i.e., if it return true, the automaton accepts all strings, if it returns false, it most likely doesn't).
boolean	NDFAOperations.isEmpty(Automaton a) Returns if this automaton definitely accepts the empty language (i.e., if it return true, the automaton accepts the ampty language, if it returns false, it most likely doesn't).
Automaton	NDFAOperations.negate(Automaton a) Return an automaton accepting the complement of the language accepted by a.
Automaton	NDFAOperations.reduce(Automaton a)
Automaton	NDFAOperations.union(Automaton a1, Automaton a2) Return an automaton accepting the union of the languages of a1 and a2.

Constructors in org.processmining.ltl2automaton.plugins.automaton with parameters of type Automaton

Constructor and Description
DeterministicAutomaton(Automaton a, boolean completed)

Uses of Automaton in org.processmining.ltl2automaton.plugins.formula.conjunction

Methods in org.processmining.ltl2automaton.plugins.formula.conjunction that return Automaton

Modifier and Type	Method and Description
protected Automaton	ConjunctionTreeNode.calculateProduct(Lambda<Automaton> a1, Lambda<Automaton> a2)
protected Automaton	ThreadedConjunctionTreeNode.calculateProduct(Lambda<Automaton> a1, Lambda<Automaton> a2)
Automaton	Conjunction.getAutomaton()
Automaton	ConjunctionTreeLeaf.getAutomaton()
Automaton	ConjunctionTreeNode.getAutomaton()
Automaton	QuickAddConjunction.getAutomaton()
Automaton	UnsortedTreeConjunction.getAutomaton()
protected Automaton	ConjunctionTreeNode.process(Automaton a)

Methods in org.processmining.ltl2automaton.plugins.formula.conjunction that return types with arguments of type Automaton

Modifier and Type	Method and Description
java.util.Collection<Automaton>	PartitionedConjunction.getAutomata()
static java.util.Map<ConjunctionTreeNode,Automaton>	CacheTools.getCached(ConjunctionTreeNode node)

Methods in org.processmining.ltl2automaton.plugins.formula.conjunction with parameters of type Automaton

Modifier and Type	Method and Description
protected Automaton	ConjunctionTreeNode.process(Automaton a)

Method parameters in org.processmining.ltl2automaton.plugins.formula.conjunction with type arguments of type Automaton

Modifier and Type	Method and Description
static boolean	FormulaTools.acceptsAllInit(java.util.Map<ConjunctionTreeNode,Automaton> cache, Formula formula)
protected Automaton	ConjunctionTreeNode.calculateProduct(Lambda<Automaton> a1, Lambda<Automaton> a2)
protected Automaton	ConjunctionTreeNode.calculateProduct(Lambda<Automaton> a1, Lambda<Automaton> a2)
protected Automaton	ThreadedConjunctionTreeNode.calculateProduct(Lambda<Automaton> a1, Lambda<Automaton> a2)
protected Automaton	ThreadedConjunctionTreeNode.calculateProduct(Lambda<Automaton> a1, Lambda<Automaton> a2)
static void	CacheTools.set(java.util.Map<ConjunctionTreeNode,Automaton> oldCaches, ConjunctionTreeNode node)
static void	CacheTools.setCaches(java.util.Map<ConjunctionTreeNode,Automaton> oldCaches, ConjunctionTreeNode node)